Logicism

Logicism aims to show that arithmetic is part of logic rather than an independent branch of knowledge. Its strongest form contains two claims: mathematical objects such as numbers can be defined using logical notions, and mathematical propositions can be proved from logical laws together with definitions. ¹ The project sought to explain the apparent necessity and objectivity of mathematics without relying on intuition, psychological facts, or empirical observation. Frege’s distinction between a number and a collection of objects was especially important: numbers were treated as logical objects associated with concepts and their extensions. This approach also encouraged a more exact analysis of mathematical language, proof, and quantification, helping establish modern predicate logic.

Frege supplied the most systematic early logicist foundation, but his system was undermined by Russell’s paradox. In Die Grundlagen der Arithmetik (1884), Frege argued that numbers are objects and developed an account of number in terms of one-to-one correspondence between concepts. His later Grundgesetze der Arithmetik attempted to derive arithmetic from logic, using a principle that treated every concept as determining an extension or class. ² Russell’s paradox showed that unrestricted class formation permits contradiction: the class of all classes that are not members of themselves would belong to itself exactly when it did not. Frege acknowledged that this damaged the intended foundation, although much of his logical notation and analysis remained historically influential.

Russell and Whitehead preserved a revised logicist program by restricting the formation of self-referential collections. Their solution, developed through the theory of types and presented in Principia Mathematica (1910–1913), arranged expressions into levels so that a collection could not be treated as a member of itself. ³ The work derived substantial portions of arithmetic from formal logic, but it required more than elementary logical notation. In particular, the axiom of infinity and the axiom of reducibility were controversial because they appeared insufficiently logical or lacked the self-evident status logicists wanted. Consequently, Principia Mathematica demonstrated the power of formal reduction without conclusively establishing that all of mathematics is logic.

Neo-logicism revives the reductionist idea by replacing Frege’s inconsistent class principle with more restricted abstraction principles. The best-known example is Hume’s principle: the number of Fs equals the number of Gs exactly when F and G can be placed in one-to-one correspondence. ⁴ In the presence of suitable logical resources, this principle can support a derivation of parts of arithmetic while avoiding the original paradox. Critics debate whether abstraction principles are genuinely logical, whether they smuggle mathematical content into the foundations, and how far the program extends beyond arithmetic. A lesser-known dimension is logicism’s influence on the philosophy of language: its demand for explicit definitions and formal proof helped shape analytic philosophy and modern theories of quantification.

Reduction

The attempt to explain one domain, here mathematics, entirely in terms of another domain, here logic.

Abstraction principle

A principle introducing objects by identifying entities that stand in a specified equivalence relation.

Hume’s principle

The principle that two concepts have the same number precisely when their instances can be paired one-to-one.

Theory of types

A hierarchy of logical categories designed to block forms of self-reference that generate paradoxes.