Philosophical Turn (1897 → 1903): Form of Externality vs. Logic of Relations

Comparative Architecture of An Essay on the Foundations of Geometry (1897) and The Principles of Mathematics (1903)

Reading An Essay on the Foundations of Geometry (1897) alongside Part VI of The Principles of Mathematics (1903) reveals a dramatic six-year transformation across every foundational concept of geometry. In the 1903 Preface and footnotes (PoM § 393, § 428), Bertrand Russell explicitly repudiates the philosophical doctrines of his 1897 book wherever they conflict with his new logicist analysis.

Doctrinal Comparison Matrix

Structural Shift Across Russell’s Two Geometric Treatises

Foundational Question

1897 Foundations of Geometry (Codex II)

1903 Principles of Mathematics (Codex I)

Nature of Pure Geometry

Transcendental deduction of the a priori conditions of any possible form of externality (EFG §§ 3–8, §§ 131–140).

Purely hypothetical formal implication (p implies q) defining classes of relational entities via logical constants alone (PoM §§ 1–10, § 352, § 412).

Taxonomy of Geometries

Twofold division: qualitative Projective Geometry (Ch. IIIA) vs. quantitative Metrical Geometry (Ch. IIIB).

Threefold relational hierarchy: Projective (closed line, Pieri, Ch. XLV), Descriptive (open serial betweenness, Pasch–Peano, Ch. XLVI), and Metrical (Ch. XLVII).

Von Staudt’s Harmonic Range

Admired (EFG §§ 111–114), yet accused of a philosophical circle in defining points via lines and lines via points (EFG §§ 115–119).

Celebrated as logically rigorous once points are taken as unanalyzable terms of Pierian incidence/harmonic relations; coordinates assigned via Möbius nets (PoM §§ 365–370).

Motion & Congruence

Ideal Free Mobility deduced a priori as homogeneity of the form of externality (EFG §§ 146–154).

Literal motion of spatial points rejected as self-contradictory (“leopard changing his spots”); geometric motion defined statically as a group of metric-preserving one-one point transformations (PoM § 390).

Cayley–Klein Projective Metric

Dismissed as a mere technical re-expression presupposing genuine metrical distance (EFG §§ 37–42).

Vindicated logically: projective distance is a bona fide asymmetrical relation parameterized by an Absolute quadric (PoM Ch. XLVIII, §§ 405–411).

Status of Spatial Points

Infected with an inescapable Hegelian antinomy of the unextended spatial element (EFG §§ 116–117, §§ 189–204).

Logically consistent, unextended substantive terms; Cantor’s continuum $2^{\alpha_0}$ refutes Zeno and Lotze (PoM Chs. L–LI, §§ 416–431).

Kant’s Spatial Intuition

Reinterpreted sympathetically on its epistemological side while pruned of Euclidean narrowness (EFG §§ 52–58).

Refuted root and branch: asymmetric relational logic generates serial order, dimensions, and chirality without subjective intuition (PoM Ch. LII, §§ 432–436).

Why Both Treatises Remain Essential Together

In the GEOMETOR corpus, the 1897 and 1903 treatises illuminate each other continuously:

  1. Historical Depth of Metageometry: Chapters I and II of the 1897 Essay (§§ 10–101) contain Russell’s fullest historical and philosophical exposition of Gauss, Lobachevsky, Riemann, Helmholtz, Beltrami, Cayley, Klein, Lie, Lotze, and Delboeuf—material presupposed rather than repeated in 1903.

  2. Visual & Projective Constructions: The 1897 Essay preserves Russell’s nine geometric diagrams (Figs. 1–9), including spherical antipodal duality, hyperbolic limiting parallels, von Staudt’s complete quadrilateral construction (Fig. 8, § 113), and the non-existence of a purely planar proof of Desargues’s theorem (Fig. 9, Footnote 144).

  3. Genesis of the Critique of Superposition: Russell’s famous 1903 polemic against Euclid I.4 (PoM §§ 390–391) directly sharpens the anti-empiricist argument against Helmholtz first worked out in EFG §§ 70–73 and §§ 149–150, while purging it of the idealist “form of externality.”