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.