Principia Mathematica by Whitehead and Russell

Context

Principia Mathematica (1910–1913) is the three-volume masterwork in which Alfred North Whitehead and Bertrand Russell attempted to show that all of pure mathematics follows from a handful of logical axioms. The project grew out of the nineteenth-century "arithmetization" of mathematics and, more immediately, out of the work of Gottlob Frege, who had tried to prove that arithmetic reduces to logic but found his system destroyed by Russell's paradox in 1901. The paradox — the set of all sets that do not contain themselves — showed that naive set theory is inconsistent, and it forced a crisis in the foundations of mathematics. Russell responded with a theory of types designed to block the paradox, and then, with Whitehead, embarked on the enormous labor of rebuilding mathematics on the new foundation. The result, published by Cambridge University Press over three years, is a work of breathtaking technical virtuosity: the first volume alone takes 362 pages to reach the point where it can prove that 1 + 1 = 2. It is one of the most important and least read books in the history of thought.

Core Arguments

The thesis of Principia Mathematica is logicism: the claim that mathematics is a branch of logic. Whitehead and Russell set out to demonstrate this by defining mathematical concepts in purely logical terms and deriving mathematical theorems from logical axioms by purely logical rules of inference. Natural numbers are defined not as abstract objects but as classes of equinumerous classes: the number 2 is the class of all pairs. The axioms are the axioms of logic — the laws of identity, contradiction, and excluded middle, plus the axioms of reducibility, infinity, and choice — and the inference rules are modus ponens and substitution. The technical heart of the system is the theory of types, devised to resolve Russell's paradox. Russell's diagnosis was that the paradox arises from "vicious circles" — from defining a set in terms of a totality to which it itself belongs. The theory of types forbids this: individuals, classes of individuals, classes of classes, and so on, form a hierarchy, and a class can only be defined over the level below it. To make the theory workable for mathematics, Russell added the axiom of reducibility, which allowed the system to collapse the hierarchy for practical purposes — a move that even Russell himself regarded with misgiving. The volume also contains the famous theory of descriptions, in which "the present King of France" is analyzed as a quantified phrase rather than a name, resolving puzzles about reference to nonexistent objects and inaugurating the analytic approach to language.

Key Concepts

• Logicism: the thesis that mathematics is reducible to logic — numbers as classes, theorems as logical consequences.
• The theory of types: the hierarchy of individuals, classes, and classes of classes that blocks Russell's paradox.
• The vicious-circle principle: no totality can contain members definable only in terms of that totality — the diagnosis behind type theory.
• The theory of descriptions: Russell's analysis of definite descriptions as quantified expressions, eliminating apparent reference to non-existents.
• Reduction and construction: mathematics reconstructed as logical construction — "the supreme maxim in scientific philosophizing," as Russell later put it.
• The axiom of reducibility: the contentious axiom that made the system technically tractable at the cost of purity.

Legacy & Influence

Principia Mathematica transformed the philosophy of mathematics and gave the emerging analytic tradition its paradigmatic method. It showed in exhaustive detail that a large body of mathematics could be derived from logical principles, and it established the standards of rigor and formalization that twentieth-century logic would follow. Its influence ran in several directions at once. Wittgenstein, who studied the proofs closely, developed the Tractatus in dialogue with the Principia's logic, and his criticisms prompted Russell's introduction to the second edition. Kurt Gödel proved in 1931 that no system as strong as the Principia's can be both consistent and complete — the incompleteness theorems that ended the logicist dream in its strictest form. Alfred Tarski developed the semantic conception of truth against the background of its formal methods, and the theory of types survived, transformed, in the type theories that underlie modern programming languages and proof assistants such as Coq and Lean. The logicist program itself was not finally vindicated — mathematics proved more than logic alone could certify — but the Principia's deeper achievement stands: it demonstrated, once and for all, what a fully formalized theory looks like and how the reason of mathematical proof can be made completely explicit.

Reading Guide

Almost nobody reads Principia Mathematica straight through, and no one should begin with its opening chapters of symbolic preliminaries. The most rewarding entry points are Russell's own expositions of the same ideas: the popular Introduction to Mathematical Philosophy (1919) presents the logicist conception of number and the theory of descriptions in prose, and his Principle of Mathematics (1903) states the program before the technical apparatus. For readers who want the real thing, the Principia's Introduction (which Russell later expanded into the 1925 second edition) explains the theory of types, the vicious-circle principle, and the theory of descriptions with unusual clarity, and the famous proof that 1 + 1 = 2 in Volume I, Part II, *54.43, marked with the comment "From this proposition it will follow, when arithmetical addition has been defined, that 1 + 1 = 2," is the most cited passage in the work. The Cambridge University Press edition is standard; the SEP entry "Principia Mathematica" provides an invaluable guide to the structure and the scholarly debates.

Related Works

• Tractatus Logico-Philosophicus by Wittgenstein — the logic of the Principia transformed into a theory of language and the world
• Naming and Necessity by Kripke — a century later, the philosophical problems of reference the Principia helped to define
• Organon by Aristotle — the first formal logic, of which the Principia is the modern heir
• A System of Logic by Mill — the empiricist alternative to the logicist conception of reasoning
• The Logic of Scientific Discovery by Popper — the deductivist philosophy of science that grew up alongside the new logic