Le platonisme mathématique ou réalisme mathématique est une théorie épistémologique qui fonde l'objectivité scientifique sur l'existence d'entités mathématiques, nombres, grandeurs, figures géométriques ou structures, comme des êtres autonomes qui ne sont pas des artefacts de l'esprit humain. Ce ne sont pas des abstractions tirées du monde sensible, connues par les sens, ni de pures conventions, ni de simples instruments, mais des êtres jouissant d'une existence propre, comme les Idées de Platon, voire d'une dynamique propre, comme des entités biologiques ou les « effluves » de Plotin.
Selon le réalisme mathématique, les concepts mathématiques existent indépendamment de l'esprit humain. Les vérités mathématiques seraient immuables et universelles, et les mathématiciens joueraient le rôle de chercheurs qui explorent et révèlent ces vérités à travers des théorèmes et leurs démonstrations.
L'enseignement oral de Platon Platon dans son enseignement oral (vers 350 av. J.-C.) :
L'argument d'indispensabilité pour le réalisme mathématique Cet argument associé avec Willard Van Orman Quine et Hilary Putnam (aussi appelé l'argument d'indispensabilité de Quine-Putnam) soutient l'existence d'objets mathématiques abstraits, comme les nombres ou les ensemblesColyvan, Mark, Indispensability Arguments in the Philosophy of Mathematics, The Stanford Encyclopedia of Philosophy (édition automne 2014), Edward N. Zalta (ed.)..
L'argument est le suivant: (P1) Nous devons nous engager sur l'existence de toutes les entités qui sont indispensables à nos meilleures théories scientifiques. (P2) Les entités mathématiques sont indispensables à nos meilleures théories scientifiques. (C) Donc, nous devons nous engager sur l'existence des entités mathématiques.
Un des points de débat est de trouver des exemples en science soutenant la deuxième prémisse (P2). En biologie le comportement périodique des cigales a été proposé comme exemple soutenant cette prémisseBaker, Alan. "Are there genuine mathematical explanations of physical phenomena?." Mind 114.454 (2005): 223-238..
Positions paradigmatiques de mathématiciens modernes Charles Hermite :
Alexandre Grothendieck en 1985 :
Analyses d'épistémologues contemporains
Une analyse critique de Jacques Bouveresse souligne qu'il existe une tendance actuelle à considérer le « platonisme mathématique » comme synonyme de « réalisme mathématique ». Selon Bouveresse, le platonisme implique un réalisme fort, affirmant « l'indépendance des êtres mathématiques non seulement par rapport aux formes a priori de la sensibilité et a fortiori par rapport aux données de la connaissance sensible en général, mais également par rapport à l'intellect, y compris, pour ceux qui veulent être tout à fait cohérents, par rapport à un intellect divin. »Bouveresse J., Sur le sens du mot « platonisme », Conférence du 19 novembre 1998 à l’Université de Genève
Annexes Bibliographie Paul Bernays (avec David Hilbert), Grundlagen der Mathematik, I-II, Berlin, 1934/1939. Albert Lautman, Essai sur les notions de structure et d'existence en mathématiques, 1938. Actualités, , 1938. J. Hadamard, trad. de l'anglais Jacqueline Hadamard, Essai sur la psychologie de l'invention dans le domaine mathématique, Librairie scientifique Albert Blanchard, Paris, 1959. Marie-Dominique Richard, L'enseignement oral de Platon, Cerf, 1986. J. Petitot, « Mathématique et Ontologie », in F. Minazzi & L. Zanzi, La scienza tra Filosofia e Storia in Italia nel Novecento, , Istituto poligrafico et zecca dello stato, Rome, 1987. J. Petitot, « Pour un platonisme transcendantal », in J. Petitot & J. M. Salanskis, L'objectivité mathématique, , Masson, Paris, 1995. J. M. Salanskis, « Platonisme et philosophie des mathématiques », in J. Petitot & J. M. Salanskis, L'objectivité mathématique, , Masson, Paris, 1995. J. Merker, « L'ontologie explicite des théorèmes d'existence en mathématiques », in Séminaire de philosophie et mathématiques, , , E.N.S., Paris, 18 décembre 1996. Franck Fischer, "Encore la question des intermédiaires mathématiques en «République» VI!", in Revue Philosophique de Louvain (2004, 102-1 pp. 1-34). Hamdi Mlika, Quine et l'antiplatonisme , coll. Épistémologie philo sciences, L'Harmattan, Paris, mars 2007 , 262 p. Marco Panza et Andrea Serini, Introduction à la philosophie des mathématiques, Le problème de Platon, Champs essais, Flammarion, septembre 2013 . Exposé des débats autour du platonisme mathématique, essentiellement de Frege à Quine et centré sur un dilemme de Benacerraf ainsi que sur « l'argument d'indispensabilité ».
Sources
Articles connexes Imre Toth
Catégorie:Philosophie des mathématiques