Content of type 'notes'

Liber I.A: Apodeixis, Axioms & Intellectual Vision (Anal. Post. I.1–13) — Notes

In The Thirteen Books of Euclid's Elements (Vol. I, Ch. IX, pp. 117–151) and Mathematics in Aristotle (pp. 37–57), Sir Thomas Heath demonstrates that Posterior Analytics I.2 and I.10 provide the exact theoretical blueprint that Euclid realized a generation later in Book I of the Elements. Aristotle’s triad of definitions (ὅροι), hypotheses/postulates (αἰτήματα), and common notions/axioms (τὰ κοινά / ἀξιώματα) maps directly onto Euclid’s tripartite opening apparatus.

Liber I.B: Universal Proof, Exactitude & Intuitive Nous (Anal. Post. I.24, 27, 31; II.19) — Notes

Heath (Thirteen Books, Vol. I, p. 322; Mathematics in Aristotle, pp. 61–68) highlights 85b37–86a3 as our earliest explicit Greek attestation of the general theorem extending Elements I.32: that the exterior angles of any rectilinear figure (triangle, quadrilateral, etc.), when the sides are produced in order, are together equal to four right angles (4R). Proclus later preserved this corollary in his commentary on Euclid I.32.

Liber II.A: Quantity & Geometric Syllogism (Cat. 6; Anal. Prior. I.4, 23–24; II.16) — Notes

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!

Liber II.B: Geometric Definitions & Antanairesis (Topics VI.4; VIII.3) — Notes

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!

Liber III.A: Mathematical Separation & Potential Infinite (Phys. II.2; III.4–7) — Notes

Heath (Thirteen Books, Vol. I, pp. 199, 232–234; Mathematics in Aristotle, pp. 98–113) shows that Physics III.7 (207b27–34) directly explains the wording of Euclid’s Second Postulate! Notice that Euclid does not postulate an actually infinite straight line; instead, Postulate 2 reads: Καὶ πεπερασμένην εὐθεῖαν κατὰ τὸ συνεχὲς ἐπ’ εὐθείας ἐκβαλεῖν (‘To produce a finite straight line continuously in a straight line’—i.e., to whatever finite length a construction requires). Euclid’s constructively extensible finite segment is the exact formalization of Aristotle’s ὅσην ἂν βούλωνται πεπερασμένην (207b30)!

Liber III.B: Place, Continuum, Zeno & Threefold Dimension (Phys. IV.1–5; VI.1–2, 9; De Caelo I.1) — Notes

Heath (Mathematics in Aristotle, pp. 120–139, 159–160; Thirteen Books, Vol. I, pp. 156, 158, 232) marvels at the sheer mathematical rigor of Physics VI.1–2. Aristotle’s proof (232b20–233a17) that any hypothesis of atomic magnitudes or atomic time-quanta collapses under a rational velocity ratio (e.g. $3 : 2$ at 233b19–32, forcing the supposedly indivisible middle time-atom to be bisected!) is a masterpiece of Greek proportion theory.

Liber IV: Phantasia, Phantasma & Ta ex Aphaireseos (De Anima III.3–8) — Notes

Heath (Thirteen Books, Vol. I, p. 156; Mathematics in Aristotle, pp. 195–199) singles out 430b20–21—‘the point and every division, and whatever is indivisible in this sense, is made known just like privation (`δηλοῦται ὥσπερ ἡ στέρησις`)’—as the deepest explanation of why Euclid opened the Elements with a negative definition of the point (οὗ μέρος οὐθέν, ‘that which has no part’) and defined the line as ‘breadthless length’ (μῆκος ἀπλατές).

Liber V.A: Unity, Quantity & Theoretical Sciences (Metaph. B.2; Δ.6, 13; E.1) — Notes

In The Thirteen Books of Euclid's Elements (Vol. I, pp. 155–166; Vol. II, p. 113; Vol. III, p. 260), Metaphysics $\Delta$.6 and $\Delta$.13 are among Heath's most heavily cited Aristotelian texts (1016a2, 1016a13, 1016b24–27, 1020a11–13). Together they supply the complete philosophical lexicon behind Book I (points, lines, planes), Book V (magnitudes), Book VII (units and numbers), and Book XI (solids) of the Elements.