Logicism and Neologicism (Stanford Encyclopedia of Philosophy)
Logicism is a philosophical, foundational, and foundationalist doctrine that can be advanced with respect to any branch of mathematics. Traditionally, logicism has concerned itself especially with arithmetic and real analysis. It comes in a stronger and a weaker version. The strong version of logicism maintains that all mathematical truths in the chosen branch(es) form a species of logical truth. The weak version of logicism, by contrast, maintains only that all the theorems do. (By ‘theorems’ we mean results that are provable within the branch of mathematics in question.) The foundationalism is with respect to those parts of mathematics that the logicist reconstructs. Success in this regard is compatible, however, with a non-foundationalist (e.g., coherentist) view of the parts of mathematics that cannot be so reconstructed. Both versions of logicism—strong and weak—maintain that For the foundationalist who accepts Kant’s distinction between analytic and synthetic truth, the truths of
--> Logicism and Neologicism (Stanford Encyclopedia of Philosophy) Stanford Encyclopedia of Philosophy Menu Browse Table of Contents What's New Random Entry Chronological Archives About Editorial Information About the SEP Editorial Board How to Cite the SEP Special Characters Advanced Tools Contact Support SEP Support the SEP PDFs for SEP Friends Make a Donation SEPIA for Libraries Entry Navigation Entry Contents Bibliography Academic Tools Friends PDF Preview Author and Citation Info Back to Top Logicism and Neologicism First published Wed Aug 21, 2013; substantive revision Sat Dec 2, 2023 Lo
Explore this link on the map →related reading
- Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Formalism in the Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- The Foundations of Arithmetic - Wikipediaen.wikipedia.org
- Gottlob Frege (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- First-order logic - Wikipediaen.wikipedia.org
- Benacerraf's identification problem - Wikipediaen.wikipedia.org
- Frege’s Theorem and Foundations for Arithmetic (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Intuitionistic logic - Wikipediaen.wikipedia.org
- (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Logical difficulties in modern mathematics | njwildberger: tangential thoughtsnjwildberger.com
- Dedekind’s Contributions to the Foundations of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Gödel's incompleteness theorems - Wikipediaen.wikipedia.org