Summary — Chapter I: Definition of Pure Mathematics (§§ 1–10)

Primary Text: Read Verbatim Treatise Track (pp. 3–9) · Commentary: Critical Notes

Executive Summary

Chapter I (Definition of Pure Mathematics, §§1–10, pp. 3–9) opens The Principles of Mathematics with arguably the most famous sentence in twentieth-century philosophy of mathematics, defining pure mathematics as the class of all formal implications p implies q containing only unrestricted variables and logical constants. Geometry is thereby split cleanly into two distinct enterprises: pure geometry, which proves strictly logical implications of the form ‘if $S$ is a Euclidean (or hyperbolic) space, then $S$ possesses property $P$’, and applied geometry, an empirical branch of physics asking whether actual perceptual space instantiates $S$.

Argumentative Architecture

flowchart TD
            A["§1 Formal Implication: p(x) → q(x)"] --> B["§§3–4 Refutation of Kantian Intuition via Peano"]
            B --> C["§5 Pure vs. Applied Geometry"]
            C --> D["§§6–8 Unrestricted Variables & Relation-Types"]
            D --> E["§§9–10 Identity of Pure Mathematics and Symbolic Logic"]
        

Key Arguments & Theses

§§1–4: The Logicist Thesis and Refutation of Kant

Pure mathematics employs only logical constants (implication, membership, such that, relation, truth) and twenty logical premisses. Traditional syllogistic could not capture mathematical deduction—giving Kant apparent grounds for invoking a priori intuition—but Peano’s relational logic removes that need.

§5 & §9: Hypothetico-Deductive Status of Euclidean Geometry

The axioms of Euclid do not follow from logic alone; what follows from logic is the conditional implication from Euclidean axioms to Euclidean theorems. Euclidean and non-Euclidean geometries are therefore equally true in pure mathematics.

§§6–8: Unrestricted Variables and Relation-Types

Apparent constants such as parameters $(a, b, c)$ in $ax + by + c = 0$ or the underlying point-set itself are variables; pure plane geometry studies any class of entities bearing relations of the Euclidean plane type, such as ordered pairs of real numbers.