Logicisme

Cet article est une ébauche concernant la philosophie.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Le logicisme est la théorie selon laquelle les mathématiques sont une extension de la logique et donc que tous les concepts et théories mathématiques sont réductibles à la logique^[1]. Si ce programme était réalisable, il pourrait soutenir le positivisme logique en particulier, et le réductionnisme en général^[1].

Frege, Russell et Whitehead

Louis Couturat, Bertrand Russell et Alfred North Whitehead ont soutenu cette théorie créée par Gottlob Frege. Gottlob Frege abandonna le projet après que Russell eut découvert un paradoxe mis en lumière par une contradiction dans la théorie naïve des ensembles. Russell et Whitehead continuèrent le projet dans leur ouvrage Principia Mathematica^[2].

Le néo-logicisme

Bien que l'arithmétique ait été réduite par Cantor à la théorie des ensembles, la théorie des ensembles elle-même n'a jamais pu être dérivée de la logique pure^[1]. Or, le théorème d'incomplétude de Gödel, découvert en 1931, a montré que tout système assez riche pour formaliser l'arithmétique contiendrait des vérités qui ne pourraient pas être démontrées à l'intérieur de ce système^[1]. Cela mit donc fin au programme initial du logicisme^[1].

Bien que l'ambition de ce projet réductionniste ait ainsi dû être revue à la baisse, la majeure partie des mathématiques modernes continue aujourd'hui à être pensée par de nombreux mathématiciens et logiciens comme étant réductible à une logique qui se baserait sur l'axiomatique de la théorie de Zermelo-Fraenkel, laquelle ne présente pas, pour le moment, de contradictions connues. Il y a ainsi un néo-logicisme, qui se fonde en particulier sur le dit « principe de Hume (en) », et défendu en particulier par Crispin Wright et Bob Hale.

Notes et références

1 2 3 4 5 Logicism, définition tirée de S Korner, Philosophy of Mathematics (1960), chs 2, 3.
↑ Entrée « Principia Mathematica » dans la Stanford Encyclopedia of Philosophy

Voir aussi

Liens externes

Stephan Körner, The Philosophy of Mathematics: An Introductory Essay

Portail de la logique
Portail de la philosophie
Portail des mathématiques

This article is issued from Wikipédia - version of the Tuesday, October 27, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.