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 :

  • : 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

  • Écrit par 
  • Jacques-Paul DUBUCS
  •  • 1 381 mots

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☛ http://www.universalis.fr/encyclopedie/constructivisme-mathematique/#i_39780

CONVENTIONNALISME, mathématique

  • Écrit par 
  • Gerhard HEINZMANN
  •  • 1 053 mots

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☛ http://www.universalis.fr/encyclopedie/conventionnalisme-mathematique/#i_39780

FINITISME ET ULTRAFINITISME, mathématique

  • Écrit par 
  • Jacques-Paul DUBUCS
  •  • 1 490 mots

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☛ http://www.universalis.fr/encyclopedie/finitisme-et-ultrafinitisme-mathematique/#i_39780

FONDATIONNALISME ET ANTIFONDATIONNALISME, mathématique

  • Écrit par 
  • Jean-Paul DELAHAYE
  •  • 869 mots

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☛ http://www.universalis.fr/encyclopedie/fondationnalisme-et-antifondationnalisme-mathematique/#i_39780

LA PREUVE EN MATHÉMATIQUE (colloque)

  • Écrit par 
  • Jean-Michel SALANSKIS
  •  • 1 122 mots

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☛ http://www.universalis.fr/encyclopedie/la-preuve-en-mathematique-colloque/#i_39780

NOMINALISME, mathématique

  • Écrit par 
  • Jean-Paul DELAHAYE
  •  • 926 mots

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☛ http://www.universalis.fr/encyclopedie/nominalisme-mathematique/#i_39780

PHÉNOMÉNOLOGIE, mathématique

  • Écrit par 
  • Jean-Michel SALANSKIS
  •  • 1 341 mots

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☛ http://www.universalis.fr/encyclopedie/phenomenologie-mathematique/#i_39780

PRÉDICATIVISME, mathématique

  • Écrit par 
  • Philippe de ROUILHAN
  •  • 1 004 mots

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☛ http://www.universalis.fr/encyclopedie/predicativisme-mathematique/#i_39780

QUASI-EMPIRISME, mathématique

  • Écrit par 
  • Jean-Paul DELAHAYE
  •  • 1 239 mots

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☛ http://www.universalis.fr/encyclopedie/quasi-empirisme-mathematique/#i_39780

RÉALISME, mathématique

  • Écrit par 
  • Hourya BENIS-SINACEUR
  •  • 2 164 mots

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☛ http://www.universalis.fr/encyclopedie/realisme-mathematique/#i_39780

STRUCTURALISME, mathématique

  • Écrit par 
  • Jean-Paul DELAHAYE
  •  • 1 692 mots

Concernant les mathématiques, deux « doctrines » assez différentes portent le nom de structuralisme . D'une part, le mot désigne une façon d'envisager l'organisation du champ des mathématiques autour des structures comme le sont les groupes, les ensembles ordonnés, les espaces topologiques, etc. Cette vision a été défendue en France par Nicolas Bourbaki, un collectif de mathématiciens œuvrant en […] Lire la suite☛ http://www.universalis.fr/encyclopedie/structuralisme-mathematique/#i_39780

VÉRITÉ, mathématique

  • Écrit par 
  • Jean-Paul DELAHAYE
  •  • 1 301 mots

Assez paradoxalement, la notion de vérité mathématique est délicate du point de vue du philosophe et peu problématique dans le travail quotidien du mathématicien. Comprendre cette opposition est crucial pour se faire une idée juste des mathématiques contemporaines. Une multitude d'attitudes sont possibles vis-à-vis du sens à donner aux énoncés mathématiques, ces attitudes dépendant en particulier […] Lire la suite☛ http://www.universalis.fr/encyclopedie/verite-mathematique/#i_39780

Voir aussi

Pour citer l’article

Jean-Michel SALANSKIS, « MATHÉMATIQUE ÉPISTÉMOLOGIE DE LA », Encyclopædia Universalis [en ligne], consulté le 14 décembre 2019. URL : http://www.universalis.fr/encyclopedie/epistemologie-de-la-mathematique/