MATHÉMATIQUE ÉPISTÉMOLOGIE DE LA
Carte mentale
Élargissez votre recherche dans Universalis
Logique et ontologie
Pour toute une école qui prend son inspiration dans l'invention de la logique contemporaine par Gottlob Frege (1848-1925) et Bertrand Russell (1872-1970), et l'entreprise qui fut la leur d'une nouvelle philosophie exacte suivant les rails de cette logique, le problème de l'épistémologie de la mathématique est jusqu'à nouvel ordre circonscrit par le célèbre dilemme de Benacerraf. Celui-ci se formule à peu près comme suit. Nous ne pouvons que vouloir que les affirmations de la mathématique soient vraies, et qui plus est vraies d'une vérité homologue à celle du sens commun, c'est-à-dire qu'elles attribuent à des objets réellement existants, extérieurs à son discours, des propriétés qui sont effectivement les leurs. Mais les objets requis pour une telle présentation de la vérité sont forcément des entités comme 7 ou 5, nulle part trouvables dans l'espace, le temps, ou plus généralement dans l'expérience : des entités qu'il semble inévitable de qualifier d'idéales. Voilà qui paraît forcer l'adoption d'une position dite platoniste, assumant la thèse ontologique de tels objets idéaux nantis de leurs propriétés à découvrir par les mathématiciens ; seulement, par définition, nous n'avons aucune relation causale avec de tels objets, ce qui ne nous permet pas de comprendre, en tout cas de manière naturaliste, comment nous pourrions en toute certitude dire le vrai à leur sujet.
Le travail de l'école épistémologique qui s'attaque à ce dilemme consiste donc à définir un statut ingénieux pour les objets mathématiques, les rattachant à une strate ontologique plausible, tout en fixant les règles d'une sémantique pour les théories mathématiques de ces objets, expliquant sous quelles conditions et pourquoi certains énoncés sont vrais. Ultimement, un tel montage doit aussi « retrouver » la mathématique communément publiée, enseignée, utilisée : on ne se satisferait pas de justifier au plan épistémologique une mathématique déviante [...]
1
2
3
4
5
…
pour nos abonnés,
l’article se compose de 5 pages
Écrit par :
- Jean-Michel SALANSKIS : professeur de philosophie des sciences, logique et épistémologie à l'université de Paris-X-Nanterre
Classification
Autres références
« MATHÉMATIQUE ÉPISTÉMOLOGIE DE LA » est également traité dans :
CONSTRUCTIVISME, mathématique
Le constructivisme est une philosophie des mathématiques définie par deux composantes. Au plan ontologique, le constructiviste considère les objets mathématiques, non comme existant « par eux-mêmes », mais comme le résultat des constructions mentales du mathématicien. Au plan méthodologique, il insiste sur l'importance des preuves dites « constructives », c'est-à-dire des démonstrations qui, si e […] Lire la suite
CONVENTIONNALISME, mathématique
Selon Kant, les jugements mathématiques ne sont ni analytiques et nécessaires, ni synthétiques et contingents. Ils sont synthétiques et a priori. Le conventionnalisme mathématique est une conception philosophique qui abandonne le caractère synthétique a priori des jugements géométriques. En effet, l'existence de plusieurs géométries possibles met en péril la solution kantienne. Si la négation de […] Lire la suite
FINITISME ET ULTRAFINITISME, mathématique
Le finitisme est un point de vue sur les fondements des mathématiques essentiellement défendu par le mathématicien David Hilbert (1862-1943) dans les années 1920, et particulièrement développé dans „Sur l'infini“, son célèbre article de 1925. Le principe fondamental du finitisme consiste à mettre en avant un domaine d'énoncés et de méthodes – justement appelés „finitistes“ ou „finitaires“ – dont […] Lire la suite
FONDATIONNALISME ET ANTIFONDATIONNALISME, mathématique
Jamais dans aucune science la recherche de fondements – ou de fondations – n'a été aussi approfondie qu'en mathématiques. Les méthodes proposées sont nombreuses et le débat qui est né de ces diverses propositions (voir les articles liés) semble sans fin et ne pas progresser vers une solution unique pouvant recueillir un soutien unanime (alors que les mathématiques, elles, avancent à grands pas et […] Lire la suite
LA PREUVE EN MATHÉMATIQUE (colloque)
Du 24 au 28 mai 2005 s'est tenu à l'université Charles-de-Gaulle - Lille-III un colloque international intitulé « La preuve en mathématique : logique, philosophie, histoire ». Le projet de cette manifestation remonte à une préoccupation ancienne et profonde des spécialistes de philologie et d'herméneutique de l'école de Jean Bollack (1923-2012) : ceux-ci, convaincus que les bonnes interprétations […] Lire la suite
NOMINALISME, mathématique
Le nominalisme dans son sens traditionnel est le refus de considérer qu'il existe des entités abstraites (les universaux). Très brièvement : les entités abstraites aident l'esprit à se repérer dans le monde et permettent la communication entre les hommes, mais fondamentalement elles sont illusoires. Depuis Guillaume d'Ockham (1290 env.-env. 1349), les nombreux objets considérés en mathématiques e […] Lire la suite
PHÉNOMÉNOLOGIE, mathématique
La phénoménologie, courant majeur de la philosophie au xx e siècle, a donné lieu à un regard sur les mathématiques, non seulement parce que, philosophie absolument générale, elle ne jugeait rien comme étranger à sa compétence, mais aussi parce que le fondateur du courant, Edmund Husserl (1859-1938), fut d'abord mathématicien et a gardé une relation toute particulière avec les mathématiques tout […] Lire la suite
PRÉDICATIVISME, mathématique
Doctrine selon laquelle certaines définitions naïvement reçues de la logique ou des mathématiques classiques recèlent une certaine sorte de circularité qu'on retrouve à l'origine de tous les grands paradoxes et qui, même quand elle n'y conduit pas, devrait être interdite. Le principe de cette interdiction est le « principe du cercle vicieux » (PCV), qui dit, grosso modo, qu'un objet ne peut être […] Lire la suite
QUASI-EMPIRISME, mathématique
La statue du portail royal de la cathédrale de Chartres, qui représente Euclide avec des instruments en main, montre clairement que, dans l'esprit des artistes et artisans du Moyen Âge, le mathématicien géomètre possède des outils et élabore son savoir en les utilisant, c'est-à-dire en se confrontant au monde réel. Pourtant, l'idée que les mathématiques sont une science à part où la démonstration […] Lire la suite
RÉALISME, mathématique
Le réalisme affirme l'existence, indépendante et préalable à la connaissance que nous en avons, des entités mathématiques : nombres, figures, ensembles, fonctions, variétés, etc. Pour le réaliste, le mathématicien manipule des objets bien déterminés qui défient son intelligence. Connaître n'est pas inventer , mais découvrir des éléments, des opérations, des fonctions, des méthodes de démonstratio […] Lire la suite
Voir aussi
Pour citer l’article
Jean-Michel SALANSKIS, « MATHÉMATIQUE ÉPISTÉMOLOGIE DE LA », Encyclopædia Universalis [en ligne], consulté le 14 avril 2021. URL : https://www.universalis.fr/encyclopedie/epistemologie-de-la-mathematique/