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

Définitions des termes :

• mathématique : Ensemble des sciences hypothético-déductives ayant pour objet les nombres, les figures géométriques, les structures algébriques et topologiques, les fonctions, le calcul intégral et le calcul des probabilités. Les mathématiques se distinguent des sciences naturelles par le fait que leurs objets sont a priori, cad indépendants de l'expérience sensible.

• modèle : Le terme recouvre des réalités et des utilisations différentes selon les disciplines dans lesquelles il intervient. Au sens courant, il est ce qu'on imite (modèle de comportement, de vêtement, etc.) ; au sens scientifique, il est plutôt ce qui imite, ou évoque. Il désigne alors la représentation simplifiée, qui recourt fréquemment au symbolisme mathématique, des relations et des fonctions intervenant entre les éléments d'un ensemble ou d'un système. De ce point de vue, on peut affirmer que l'élaboration de modèles est devenue une pratique présente dans toutes les disciplines scientifiques. Au XXe siècle, la modélisation se déploie particulièrement dans les recherches relevant du structuralisme. Parce qu'il schématise, le modèle autorise une compréhension plus précise ou efficace. Mais, dans la mesure où il laisse de côté les qualités propres des éléments constituant l'ensemble auquel il correspond, il ne peut être confondu avec la réalité.

• tout : La totalité sans exception.

• vérité : La vérité concerne l'ordre du discours, et il faut en cela la distinguer de la réalité. Elle se définit traditionnellement comme l'adéquation entre le réel et le discours. Qualité d'une proposition en accord avec son objet. La vérité formelle, en logique, en mathématiques c'est l'accord de l'esprit avec ses propres conventions. La vérité expérimentale c'est la non-contradiction de mes jugements, l'accord et l'identification de mes énoncés à propos d'un donné matériel. On distinguera soigneusement la réalité qui concerne un objet (ce cahier, cette lampe sont réels) et la vérité qui est une valeur qui concerne un jugement. Ainsi le jugement : « ce cahier est vert » est un jugement vrai ou bien un jugement faux. La vérité ou la fausseté qualifient donc non l'objet lui-même mais la valeur de mon assertion. La philosophie, parce qu'elle recherche la vérité, pose le problème de ses conditions d'accès et des critères du jugement vrai.

Extrait du corrigé : Néanmoins, elles cherchent tout d'abord à produire des énoncés possédant les caractères précédents des vérités mathématiques. En outre, les vérités mathématiques sont déduites d'autres énoncés et, ultimement, des axiomes de la théorie mathématique. Les autres sciences cherchent également à imiter cette structure déductive, caractéristique des vérités mathématiques, en se donnant une forme axiomatique, comme c'est le cas de la physique.Pourtant, bien des sciences ne peuvent en aucun cas posséder les caractères des vérités mathématiques et leur structure déductive.  Deuxième partie: LES MATHÉMATIQUES COMME MODÈLE D'ENCHAîNEMENT DÉDUCTIF Apodicticité de la démonstration mathématique. a) Descartes déclare, dans son Discours de la Méthode, qu'entre toutes les sciences, les mathématiques l'attirèrent « à cause de la certitude et de l'évidence de leurs raisons ». b) Science abstraite, qui fait l'unanimité de ceux qui la pratiquent, la science mathématique apparaît comme un modèle d'intelligibilité auprès des autres sciences. Généralité et abstraction des objets mathématiques. 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 ).