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 :
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.
Expliquer la vérité des mathématiques. Les mathématiques sont vraies, car elles correspondent à la réalité du monde logique.
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 :
Le monde logique est inaccessible à notre expérience. Nous ne pouvons pas le percevoir ni le manipuler.
Il n'existe pas de preuves empiriques en faveur du logicisme.
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 :