Principia Mathematica
Whitehead and Russell's three-volume attempt to derive all of mathematics from logic alone
Tradition: Analytic philosophy / philosophy of mathematics / mathematical logic
The logicist programme in its most ambitious form — three volumes deriving arithmetic, set theory, and analysis from a small set of logical primitives
Principia Mathematica is the most ambitious twentieth-century attempt to demonstrate the logicist thesis — that all of mathematics is reducible to logic. Across three volumes Whitehead and Russell develop a formal system (the ramified theory of types) intended to avoid the paradoxes — Russell's own paradox, the liar paradox, the Burali-Forti paradox — that had destabilised Frege's earlier logicist project. From this base they derive arithmetic, set theory, and the beginnings of analysis. The famous proof that 1+1=2 occurs at *56.13 in volume one, roughly 360 pages in. Gödel's 1931 incompleteness theorems showed that the logicist programme cannot fully succeed — any sufficiently powerful consistent formal system contains truths it cannot prove. But Principia Mathematica remains the foundational text of twentieth-century mathematical logic, and its symbolism (much modified) underlies all contemporary logical notation. After completing it, Whitehead turned to process metaphysics and Russell to political and popular writing.
Editions cited
- Principia Mathematica (Cambridge, 1910-13; 2nd edition 1925-27)
- Principia Mathematica to *56 (one-volume abridgment, Cambridge, 1962)
School Embodiments
Principia Mathematica is the founding document of twentieth-century analytic philosophy — its logical methods, its treatment of paradox, and its formal style shape the entire tradition.
"From this proposition it will follow, when arithmetical addition has been defined, that 1+1=2." (PM *54.43, note)
The Vienna Circle's logical empiricism takes Principia Mathematica's logical apparatus as its formal toolkit. Carnap's Aufbau is a systematic application.
"All mathematics is symbolic logic." (PM, preface; the logicist thesis stated explicitly)
The book is rationalist in its conviction that pure logical reasoning can ground the whole edifice of mathematical knowledge — Leibniz's dream of a universal logical calculus made precise.
"The whole of mathematics is deducible from logical premises." (PM, paraphrasing the central thesis)
Russell's mathematical realism — the claim that mathematical truths and objects exist independent of mind — is implicit throughout, though the logicist reduction was meant to ease its metaphysical cost.
"Logic is concerned with the real world just as truly as zoology." (Russell, Introduction to Mathematical Philosophy, 1919, summarising PM's attitude)
A modern descendant of the Pythagorean conviction that number and logical structure are the deepest reality — Principia is Pythagoreanism formalised with twentieth-century logical apparatus.
"Number is the foundation of mathematical knowledge." (PM, paraphrasing)
A complicated relationship: Russell came from Hegelian idealism and rebelled against it. Logicism is, in part, an anti-idealist programme that nonetheless inherits idealism's confidence in pure reason.
"My main reason for rejecting Hegelianism was mathematics." (Russell, autobiographical, on the genesis of PM)
Whitehead's subsequent process philosophy (Process and Reality, 1929) develops from a recognition of the limits of pure logical analysis — what cannot be captured logically must be captured processually.
"Symbolism, by its very nature, leaves out what cannot be symbolised." (Whitehead, Symbolism, 1927, looking back at PM)
Naturalism inherits from PM its use of formal logical tools as natural-philosophical apparatus for analysing scientific theories (Quine's continuation of the logicist legacy).
"Mathematical reasoning is one continuous process from the simplest counting to the highest abstractions." (PM, paraphrasing the continuity thesis)
Analytic-philosophical tradition.
Internal Tensions
Gödel's 1931 incompleteness theorems demonstrated that the logicist programme cannot fully succeed: any consistent formal system powerful enough to express arithmetic contains truths it cannot prove. The ramified theory of types proved cumbersome and was replaced by Zermelo-Fraenkel set theory in subsequent foundational work. The two authors diverged sharply after the work: Whitehead to process metaphysics, Russell to political writing. The work's relation to subsequent philosophy of mathematics (intuitionism, structuralism, neo-logicism, mathematical naturalism) remains an active area of research.
I. Time
The logical apparatus is timeless; physical time enters only via its mathematical representation.
Attributes
II. Space
Pure logical space; physical space is reconstructed as a derivation from arithmetic and set theory.
Attributes
III. Matter
Mathematical-logical reality is the focus; physical matter is presupposed but not analysed.
Attributes
IV. Observer
The mathematician-logician as ideal rational observer, with total knowledge of the logical apparatus and its consequences (the logicist ideal).
Attributes
V. Energy
Not addressed; the work's subject is logical structure, not physical dynamics.
Attributes
VI. Information
Discrete, symbolic, conserved — the information of the proof system is the focus.
Attributes
Personas that cite this work
Personas with the nearest attribute fingerprint
Historical figures whose own classification on the same six-dimensional grid lands closest to this work's. Computed by attribute-agreement on coordinates both address.
Computed school proximity
The work's attribute fingerprint scored against all schools using the same quiz scorer. Useful as a sanity check on the hand-curated embodiments above.
How Principia Mathematica resolves each dilemma
51 resolved positions across 4 dimensions, including 9 distinctive where the majority of schools go the other way · 6 unaligned.
Each dimension is sorted so minority positions come first. Mainstream positions are folded into an expandable list.
Time · 9 dilemmas · 5 distinctive
Persistence, the future, and the direction of becoming.
4 mainstream positions
Matter · 7 dilemmas, all mainstream
Observer · 37 dilemmas · 3 distinctive
Mind, agency, and the knower's relation to the known.