Le logicisme, une doctrine philosophique ?

Le logicisme est une doctrine philosophique qui soutient que les mathématiques peuvent être réduites à la logique. Cette doctrine sera défendue par de nombreux philosophes et mathématiciens, dont Gottlob Frege, Bertrand Russell et David Hilbert.

Le logicisme est une doctrine philosophique qui soutient que les mathématiques peuvent être réduites à la logique. Cette doctrine sera défendue par de nombreux philosophes et mathématiciens, dont Gottlob Frege, Bertrand Russell et David Hilbert.

Selon le logicisme, les concepts et les théorèmes mathématiques peuvent être dérivés de manière rigoureuse à partir d'un ensemble d'axiomes logiques. Cette dérivation doit être effectuée sans faire référence à aucune notion mathématique qui ne soit pas déjà contenue dans les axiomes logiques.

Le logicisme  une entreprise ambitieuse,  a permit de nombreuses avancées dans la logique et les mathématiques mais aussi critiqué par certains philosophes et mathématiciens, qui considèrent qu'il est impossible de réduire les mathématiques à la logique.

Les arguments en faveur du logicisme

Les partisans du logicisme avancent les arguments suivants en sa faveur :

  • L'objectivité des mathématiques

Le logicisme permet d'expliquer l'objectivité des mathématiques. Les mathématiques sont objectives, car elles ne dépendent pas de l'esprit humain. Elles sont valables pour tous les êtres intelligents, quels que soient leurs cultures ou leurs époques.

  • La vérité des mathématiques

Expliquer la vérité des mathématiques. Les mathématiques sont vraies, car elles correspondent à la réalité du monde logique.

  • La cohérence des mathématiques

Garantir la cohérence des mathématiques. Les mathématiques sont cohérentes, car elles peuvent être dérivées de manière rigoureuse à partir d'un ensemble d'axiomes logiques cohérents.

Les arguments contre le logicisme

Les opposants au logicisme avancent les arguments suivants contre cette doctrine :

  • L'inaccessibilité du monde logique

Le monde logique est inaccessible à notre expérience. Nous ne pouvons pas le percevoir ni le manipuler.

  • Le manque de preuves empiriques

Il n'existe pas de preuves empiriques en faveur du logicisme.

  • Les indécidabilités

Les indécidabilités, telles que l'indécidabilité du problème de l'arrêt, suggèrent que le monde logique est incomplet.

Le logicisme est une doctrine complexe discutée par les philosophes et les mathématiciens depuis des siècles. Il n'existe pas de réponse définitive à la question de savoir si le logicisme est une théorie démontrée.

--------------
Les mathématiques objectives
Les mathématiques se distinguent dans le vaste domaine du savoir par leur objectivité incontestable. Cette discipline repose sur des principes universels, des démonstrations rigoureuses et des conclusions qui transcendent les opinions personnelles, les cultures et les époques. L'objectivité mathématique signifie que, quelle que soit la personne qui exécute une opération ou une démonstration, le résultat reste le même, affirmant ainsi une vérité universelle. Cette caractéristique unique confère aux mathématiques un rôle fondamental dans le développement des sciences et des technologies, où la précision et l'universalité sont cruciales. En fournissant un langage commun et des méthodes de preuve irréfutables, les mathématiques facilitent une compréhension partagée et avancent la connaissance humaine, démontrant ainsi leur place indispensable dans la quête intellectuelle de l'humanité.
--------------

Lire :
Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude.