Sujet : Les vérités mathématiques constituent-elles le modèle de toute vérité ?

Aperçu du corrigé : Les vérités mathématiques constituent-elles le modèle de toute vérité ?

a) Généralité : les mathématiques, dit Descartes, sont « une science générale qui explique tout ce qu'il est possible de rechercher touchant l'ordre et la mesure, sans assignation à quelque matière particulière que ce soit » (Règles pour la direction de l'esprit, 1629). Elles ne considèrent, dans le domaine où on les applique, « que les divers rapports ou proportions qui s'y trouvent » (Ibid )

b) Abstraction : A propos des objets dont elles traitent, les mathématiques ne se mettent guère en peine de savoir « si elles sont dans la nature, ou si elles n'y sont pas » (Descartes, Méditations métaphysiques, 1641 ). Selon le mot de Goblot, les mathématiques n'ont pas besoin pour être vraies que leurs objets soient réels. La certitude de leurs démonstrations ne requiert aucunement la vérification expérimentale. Autre formule célèbre qui souligne l'abstraction de l'objet mathématique : la géométrie, dit-on souvent, est l'art de raisonner juste sur des figures fausses (puisque les segments que je trace sur ma feuille ont une épaisseur, puisque la droite que je figure n'est pas infinie, etc.). Le raisonnement déductif. La démonstration mathématique est nécessaire (ou apodictique). Sa force probatoire s'impose comme une obligation à l'esprit. On appelle raisonnement déductif, écrit le mathématicien Jean Dieudonné, « un enchaînement de propositions disposées de telle sorte que le lecteur (ou auditeur) se voit contraint de considérer comme vraie chacune d'elles, dès qu'il a admis la vérité de celles qui la précèdent dans le raisonnement ».