La Philosophie des mathématiques de Kant

Kant caractérise la méthode mathématique en l’opposant à la méthode de la philosophie. La mathématique seule a des axiomes, c’est-à-dire des principes synthétiques a priori, « parce qu’elle seule peut, en construisant un concept, lier a priori et immédiatement ses prédicats dans l’intuition de son objet ». La philosophie ne peut pas avoir d’axiomes, car elle ne peut pas sortir du concept pour le lier à un autre concept. La mathématique seule a des définitions, car seule elle crée ses concepts par une synthèse arbitraire ; par suite, ses définitions sont indiscutables et ne peuvent être erronées... La mathématique seule a des démonstrations proprement dites, car « on ne peut appeler démonstration qu’une preuve apodictique, en tant qu’elle est intuitive ». La philosophie ne peut pas effectuer des démonstrations sur ses concepts, car il lui manque « la certitude intuitive ». La conclusion de cet examen est la séparation complète, l’opposition absolue de la mathématique, non seulement par rapport à la métaphysique, mais par rapport à la philosophie tout entière, et notamment à la logique. Car la logique repose sur des principes analytiques, qui paraissent se réduire au principe de contradiction ; et elle ne permet d’établir que des jugements analytiques... Ce livre examine successivement les différentes thèses que nous venons d’énumérer.