Liber II.B — Intelligible Priority in Definitions & Antanairesis — Critical Commentary & Notes¶
Historical-Mathematical (Heath) & Scholastic-Noetic (Hoenen) Apparatus · Bekker 141a23–142b19, 158a31–159a14
I. Mathematical-Historical Commentary (Secundum Heath & Euclidem)¶
Heath cites Topics VI.4 eleven separate times in Volume I of The Thirteen Books of Euclid's Elements (pp. 146, 155–171) because it illuminates every single opening definition of Euclid Book I (Defs. 1–7, 13–14). Aristotle reports both ways fourth-century geometers defined the hierarchy of dimensions: (a) negatively/generatively from the prior (point -> line as breadthless length -> surface), and (b) as limits (πέρατα) from the posterior (point as extremity of a line, line as extremity of a surface). Remarkably, Euclid included both in Book I! Definitions 1, 2, and 5 define point, line (μῆκος ἀπλατές), and surface intrinsically, while Definitions 3 (Γραμμῆς δὲ πέρατα σημεῖα) and 6 (Ἐπιφανείας δὲ πέρατα γραμμαί) link them as extremities so both intelligible priority and pedagogical accessibility are satisfied!
Even more momentous for modern scholarship is Topics VIII.3 (158b29–35). Following Oskar Becker (1933) and Heath (Mathematics in Aristotle, pp. 80–83; cf. Alexander of Aphrodisias, In Top. 545.12), this six-line passage unlocked the lost pre-Eudoxian theory of general geometric proportions developed by Theaetetus! Before Eudoxus created Definition 5 of Book V, Greek geometers extended proportionality to incommensurable magnitudes by defining $A : B = C : D$ to mean that the Euclidean division algorithm of reciprocal subtraction (antanairesis, i.e., continued-fraction expansion; preserved in Elements X.2–3) produces the exact same infinite sequence of integer quotients $[q_0; q_1, q_2, \dots]$ for $(A, B)$ and $(C, D)$!
II. Scholastic-Noetic Commentary (Secundum Hoenen, Thomam & Paciolum)¶
From the standpoint of geometric noetics (De Noetica Geometriae, Caput I, § 4 & Caput IV), Topics VI.4 and VIII.3 jointly reveal how genuine mathematical progress refines definitions through deeper insight into continuous extension. In VI.4 (141b5–14), Aristotle notes that only a trained scientific intellect (akribēs dianoia) grasps the uncompounded intelligible priority of point and line, whereas ordinary sense-bound minds begin from three-dimensional tangible bodies—explaining why pedagogical via inventionis proceeds from sensible solids via abstraction while deductive via doctrinae descends from simplest principles.
And in Topics VIII.3 (158b32–35), note Aristotle’s striking remark: ‘once the definition is stated, what is said becomes immediately manifest (`εὐθέως φανερὸν τὸ λεγόμενον`), for the areas and the bases have the same antanairesis.’ Subtracting base from base induces an identical geometric subtraction of rectangle/parallelogram from rectangle/parallelogram—an immediate visual-noetic invariance read directly off the subdivided figure!
III. Locus-by-Locus Philological & Geometrical Notes¶
141b5–22 — Prior by Nature vs. Prior to Us in Geometry
Sensible bodies are first in the order of genetic perception (quoad nos), but point, line, and plane are prior in essential simplicity (quoad naturam) because solid presupposes surface and surface presupposes line.
142a22–31 — Circular Definitions of the Straight Line
Aristotle warns against covertly using the definiendum in the definiens, illustrating contemporary Academy attempts to define the straight line (cf. Plato Parmenides 137e: ‘that of which the middle stands in front of both extremes’).
158b29–35 — Antanairesis and the Golden Ratio
In GEOMETOR, antanairesis connects Aristotle directly to the Divine Proportion ($\phi = \frac{1+\sqrt{5}}{2}$): dividing a line in extreme and mean ratio produces the simplest possible non-terminating antanairesis $[1; 1, 1, 1, \dots]$, immediately proving irrationality by self-similar geometric recursion.
IV. Sister-Corpus Citations Indexed in This Unit¶
Bekker Locus |
Treatise & Chapter |
Sister Repos |
Cited Locations (Volume, Page / Folio & Display) |
|---|---|---|---|
Topica VI.4 |
|
euclid (volume_I, p. 146): |
|
Topica VI.4 |
|
euclid (volume_I, I, p. 155): |
|
Topica VI.4 |
|
euclid (volume_I, I, p. 156): |
|
Topica VI.4 |
|
euclid (volume_I, I, p. 170): |
|
Topica VI.4 |
|
euclid (volume_I, p. 147): |
|
Topica VI.4 |
|
euclid (volume_I, p. 148): |
|
Topica VI.4 |
|
euclid (volume_I, p. 149): |
|
Topica VIII.3 |
|
euclid (volume_II, V, p. 120): |
|
Topica VIII.3 |
|
euclid (volume_I, p. 116): |