Comment les mathématiques, qui sont purement formelles, peuvent-elles néanmoins nous parler du monde ? Comment le raisonnement logique et déductif, où toute conclusion se trouve contenue analytiquement dans les prémisses, peut-elle apporter quelque chose de neuf ? La réponse de l'auteur, après Kant, est que l'intuition n'est ni passive, ni sensible, mais rendue possible logiquement.