Logicism and Neologicism (Stanford Encyclopedia of Philosophy) Stanford Encyclopedia of Philosophy # Logicism and Neologicism First published Wed Aug 21, 2013; substantive revision Sat Dec 2, 2023 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 1. All the objects forming the subject matter of those branches of mathematics are logical objects; an