About a century ago, then, our world was transformed by a logical revolution, which may broadly be called philosophical. This transformation was the key to the technological advances of the past century. What about today’s logic? Could current advances in logic or its philosophy lead to the sort of computer-driven technological change we’ve seen in the past hundred years?