Liber II.A — Discrete & Continuous Quantity and Geometric Syllogism — Critical Commentary & Notes¶
Historical-Mathematical (Heath) & Scholastic-Noetic (Hoenen) Apparatus · Bekker 4b20–6a35, 25b–26a, 40b–41b, 64b–65a
I. Mathematical-Historical Commentary (Secundum Heath & Euclidem)¶
Few chapters in antiquity are more precious to the historian of geometry than Prior Analytics I.23, I.24, and II.16. First, at 41a23–30, Aristotle preserves the authentic Pythagorean reductio proving the irrationality of $\sqrt{2}$ (which once stood as an appendix to Book X of Euclid's Elements, Vol. III, p. 2). Assuming $d/s = m/n$ in lowest terms, $d^2 = 2s^2 \implies m^2 = 2n^2$, making $m$ even ($m = 2k$), whence $4k^2 = 2n^2 \implies n^2 = 2k^2$, making $n$ also even despite being odd—so odd numbers equal even!
Second, at 41b13–22, Heath (Thirteen Books, Vol. I, pp. 252–253; Mathematics in Aristotle, pp. 23–25) reconstructs Aristotle’s archaic proof of Pons Asinorum (Elements I.5). Let $AB$, $AC$ be equal radii of a circle centered at $A$, with chord $BC$. Aristotle takes the two ‘angles of the semicircle’ ($\angle AC,\text{arc }CB$ and $\angle AB,\text{arc }BC$) as equal (A = B), and the two mixed ‘angles of the segment’ ($\angle CB,\text{arc }BC$ and $\angle BC,\text{arc }CB$) as equal (C = D), and subtracts the equal segment-angles from the equal semicircle-angles to leave the rectilinear base angles $\angle ABC = \angle ACB$ (E = F)! Because Euclid banished mixed horn-like/segment angles from deductive geometry (save one vestige in III.16), Euclid invented his famous purely rectilinear construction in I.5.
Third, at 65a4–9, Aristotle exposes a circularity in Academy-era theories of parallels (οἱ τὰς παραλλήλους οἰόμενοι γράφειν). Heath (Vol. I, pp. 190–194, 202–204) shows that fourth-century geometers tried to prove parallel-line properties without a parallel postulate—for example by assuming a direction/equidistance lemma that covertly presupposes Elements I.29. Directly responding to Aristotle’s critique, Euclid cut the Gordian knot by laying down his monumental Fifth Postulate.
II. Scholastic-Noetic Commentary (Secundum Hoenen, Thomam & Paciolum)¶
In De Noetica Geometriae (Caput IV, n. 27 & n. 30, pp. 145–149), Hoenen examines Prior Analytics I.4 (25b37–39) and I.23 alongside Theodor Waitz's commentary (Organon, 1844, Vol. I, pp. 427–429). Modern symbolic logicians frequently claim Aristotle’s lettered schema (A, B, C) as the birth of content-free syntactic formalism. Hoenen demonstrates the exact opposite: Aristotle borrowed schematic letters from geometric diagrams (ἔκθεσις), and in 41b13–22 shows that even when a geometric proof is cast into syllogistic form, the minor premisses (C = D for the angles of the segment) and subtraction axiom (equals from equals) require active intellectual inspection of continuous intelligible matter.
Furthermore, Categories 6 (4b20–5a14) provides the ontological bedrock for Hoenen’s defence of geometric continuity against nineteenth-century ‘arithmetization of the continuum’: discrete number (diōrismenon) and continuous extension (syneches) differ in their very mode of unity, because parts of a line unite at a shared indivisible boundary (stigmē), whereas units of a number never touch or share a common limit.
III. Locus-by-Locus Philological & Geometrical Notes¶
4b20–5a14 — Common Boundary (Koinos Horos) as Criterion of the Continuum
In Categories 6, Aristotle defines continuous quantity via the existence of a common boundary at which adjacent parts meet: the point for a line, the line for a surface, the surface for a solid, and the ‘now’ (to nyn) for past and future time. In Physics V.3 and VI.1 he refines this into ‘extremities being one’ (ὧν τὰ ἔσχατα ἕν).
25b37–39 — Geometric Origins of Syllogistic Lettering
Aristotle’s schematic variables (Α, Β, Γ) derive directly from lettering endpoints and regions in Greek geometric diagrams, where spatial inclusion models universal predication.
41b13–22 — Mixed Curvilinear Angles Before Euclid
Aristotle’s casual use of mixed angles (αἱ τῶν τμημάτων γωνίαι) proves how fluidly pre-Euclidean textbooks appealed to symmetrical superposition in circles before Euclid imposed strict rectilinear rigor.
65a4–9 — The Genesis of Euclid’s Fifth Postulate
Aristotle’s diagnosis of circular parallel proofs (λανθάνουσι γὰρ αὐτοὶ ἑαυτοὺς τοιαῦτα λαμβάνοντες ἃ οὐχ οἷόν τε ἀποδεῖξαι μὴ οὐσῶν τῶν παραλλήλων) is our single most important witness to why Euclid elevated Postulate 5 into an explicit unproved constructive/geometric postulate.
IV. Sister-Corpus Citations Indexed in This Unit¶
Bekker Locus |
Treatise & Chapter |
Sister Repos |
Cited Locations (Volume, Page / Folio & Display) |
|---|---|---|---|
Analytica Priora I.4 |
|
hoenen (de_noetica_geometriae, Caput V, p. 161): |
|
Analytica Priora I.23 |
|
euclid (volume_I, p. 136): |
|
Analytica Priora I.23 |
|
euclid (volume_I, p. 136): |
|
Analytica Priora I.24 |
|
euclid (volume_I, I, p. 252): |
|
Analytica Priora II.16 |
|
euclid (volume_I, I, p. 191): |