Sujet : La vérité mathématique est-elle le modèle de toute vérité ?

Extrait du corrigé : Comme le souligne Laplanche, « la psychanalyse personnelle  est la voie royale pour accéder à quelque part de la vérité psychanalytique. » B) Pourtant, nous ne sommes pas condamnés au royaume des opinions où les borgnes sont rois. Les mathématiques en sont la preuve: les énoncés mathématiques sont vraies, ils sont accompagnés de certitude, parce qu'ils peuvent être démontrés, et ils sont fermes en raison de leur caractère certain. « Les jugements mathématiques sont tous synthétiques. Cette proposition semble avoir échappé jusqu'ici à l'observation de tous ceux qui ont analysé la raison humaine, et elle paraît même en opposition avec toutes leurs suppositions ; elle est pourtant incontestablement certaine, et elle a une grande importance par ses résultats. En effet, comme on trouvait que les raisonnements des mathématiques procédaient tous suivant le principe de contradiction (ainsi que l'exige la nature de toute certitude apodictique), on se persuadait que leurs principes devaient être connus aussi à l'aide du principe de contradiction, en quoi l'on se trompait ; car si le principe de contradiction peut nous faire admettre une proposition synthétique, ce ne peut être qu'autant qu'on présuppose une autre proposition synthétique, d'où elle puisse être tirée, mais en elle-même elle n'en saurait dériver. Il faut remarquer d'abord que les propositions proprement mathématiques sont toujours des jugements a priori et non empiriques, puisqu'elles impliquent une nécessité qui ne peut être tirée de l'expérience. Si l'on conteste cela, je restreindrai alors mon assertion aux mathématiques pures, dont la seule idée comporte qu'elles ne contiennent point de connaissances empiriques, mais seulement de connaissances pures a priori. » KANT.   D'après la tradition rationaliste antérieure à Kant, les propositions mathématiques ne viennent pas, et ne dépendent pas, de l'expérience car on y considère qu'aucun fait ne peut les corriger.