The Russell–Hoenen–Heath Dialogue on Euclid, Motion, and Spatial Intuition¶
How Four Pages of The Principles of Mathematics (1903, pp. 404–407) Became a Touchstone of Geometric Epistemology
At the opening of Part VI, Chapter XLVII (*Metrical Geometry*) of The Principles of Mathematics (1903) (§§ 389–391, pp. 404–407), Bertrand Russell launches a concise, devastating logical audit of the opening propositions of Book I of Euclid’s Elements. Over the ensuing half-century, these four pages became the primary locus classicus for two major works in the GEOMETOR canon: Sir Thomas L. Heath’s 1908 commentary on Euclid’s Elements (geometor/euclid) and Fr. Petrus Hoenen, S.J.’s 1954 epistemological treatise De Noetica Geometriae (geometor/hoenen).
I. Circle Intersection in Euclid I.1 (PoM § 389, p. 404)¶
Russell’s Charge: In Proposition I.1, Euclid constructs two circles on a common base $AB$ and assumes they meet in a point $C$ to form an equilateral triangle. Russell objects that “there is no evidence whatever that the circles which we are told to construct intersect, and if they do not, the whole proposition fails,” noting that in elliptic space the construction actually fails whenever $AB$ exceeds half the total length of the closed straight line.
Heath’s Analysis (Euclid Vol. I, pp. 242–243): Heath pairs Russell’s critique with Richard Dedekind’s continuity cut and David Hilbert’s explicit circle-circle intersection postulate, showing what must be added to Euclid’s explicit axioms if figures may not be invoked.
Hoenen’s Noetic Reply (De Noetica Geometriae, Caput IV, § 7, pp. 139–142, n. 28): Quoting PoM § 389 directly, Hoenen distinguishes demonstrative syllogism (scientia) from the intuitive grasp of first principles (intellectus principiorum) abstracted from the phantasm (materia intelligibilis). For Hoenen, continuous planar separation—whereby one endpoint of the second circle lies inside and the other outside the first circle’s circumference—manifests an immediate intelligible necessity, not a careless empirical oversight; axiomatizing continuity simply translates that intuitive apprehension into symbolic postulates.
II. Superposition, the Leopard, and the Thermometer (PoM § 390, pp. 405–406)¶
Russell’s Dilemma: Examining Proposition I.4 (Side-Angle-Side triangle congruence), Russell pronounces Euclid’s method of superposition logically invalid (“strikes every intelligent child as a juggle”):
Spatial Impossibility: “A point of space is a position, and can no more change its position than the leopard can change his spots.” Literal motion belongs to matter, never to spatial positions.
Empirical Rigidity Circle: If the triangles are material bodies—say triangle $ABC$ by the window whose side $AB$ is a mercury column in a thermometer, moved to cover $DEF$ by the fire—thermal expansion falsifies equality prior to motion; yet invoking “rigid bodies” commits a “most fatally vicious circle,” because rigidity means preserving purely spatial metrical equality over time.
Relational Reconstruction: Geometric motion is in truth a static class of metric-preserving one-one point relations presupposing congruent figures across space rather than generating them.
Heath’s Synthesis (Euclid Vol. I, C.N. 4 pp. 225–227 & Prop. I.4 p. 249): Heath cites both Russell’s 1902 Encyclopaedia Britannica article (Geometry, Non-Euclidean) and PoM §§ 390–391, endorsing Russell’s conclusion that Euclid’s reluctant recourse to superposition conceals an unstated congruence postulate.
Hoenen’s Dual Response (De Noetica Geometriae, Caput IV, §§ 2–3, pp. 107–116, nn. 3–5, 8–10):
Where Hoenen Agrees with Russell (§ 3): Hoenen enthusiastically adopts Russell’s refutation of Helmholtz’s and Poincaré’s physical-rigidity empiricism—reproducing the mercury thermometer paradox verbatim to prove that empirical physics presupposes pure geometrical congruence.
Where Hoenen Counters Russell (§ 2): Against Russell’s substantival “points of empty space,” Hoenen replies from Aristotelian-Thomistic natural philosophy that geometry studies ens extensum (extended continuous quantity abstracted from sensible matter), not an immobilized receptacle of absolute positions; ideal kinematic transport is a legitimate proprium of intelligible extension.
Static Synthesis (§ 3): Strikingly, Hoenen then shows that even if one grants Russell’s ban on motion, Russell’s own static three-step congruence decomposition in PoM § 391 (pp. 406–407) reflects the Thomistic thesis that pure extension is solely a principle of numerical individuation, never of qualitative or formal differentiation—so two triangles determined by identical two-side-and-included-angle determinations at distinct places $A$ and $D$ must be formally identical in all remaining parts!
III. Continuum, Direction, and Formal Implication (Caput III–V)¶
Beyond Chapter XLVII, the Master Cross-Corpus Concordance traces three further axes of the Russell–Hoenen dialogue:
Direction & Angle (PoM §§ 400–402 ↔ Hoenen Caput IV, § 4, n. 16): Russell’s relational critique of Killing and Peano on direction vs. Hoenen’s defense of qualitative direction (situs / θέσις) in intuitive space.
The Continuum & Points (PoM Chs. L–LI, §§ 416–431 ↔ Hoenen Caput III, § 2.6.B, pp. 87–91): Russell’s actual-infinite Cantorian point-set continuum vs. the Aristotelian continuum whose points exist in potentia as indivisible boundaries (termini).
Hypothetical Deductivism vs. Noetic Abstraction (PoM Ch. I, §§ 1–10 & Ch. LII, §§ 432–436 ↔ Hoenen Caput V, §§ 3–4, pp. 160, 172–175): Russell’s reduction of pure geometry to formal implication vs. Hoenen’s distinction between the truth of first principles (grasped via abstractio formalis) and the validity of hypothetico-deductive consequence.