logicism

indénombrable

A philosophical theory asserting that all mathematical truths can be derived from the principles of formal logic.

• 🇫🇷Théorie philosophique selon laquelle toutes les vérités mathématiques peuvent être dérivées des principes de la logique formelle.

1. Philosophical theory of mathematics C2 formal

   The philosophical position that mathematics is reducible to, or an extension of, formal logic.

   • Logicism was a central project of early analytic philosophy.
   • The attempt to prove logicism was a major goal of Bertrand Russell and Alfred North Whitehead's Principia Mathematica.
   • Critics of logicism argue that some mathematical truths cannot be derived from purely logical axioms.

   🇫🇷Logicisme

   Antonymes: constructivismformalismintuitionism