Liber I.A — Demonstrative Science, Axioms & Intellectual Vision — Critical Commentary & Notes

Historical-Mathematical (Heath) & Scholastic-Noetic (Hoenen) Apparatus · Bekker 71a1–79a16

I. Mathematical-Historical Commentary (Secundum Heath & Euclidem)

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.

Particularly decisive for the history of fourth-century Greek mathematics is 74a17–25: Aristotle remarks that ‘formerly’ alternating proportion ($A : B = C : D \implies A : C = B : D$) was proved separately for numbers, lines, solids, and times, whereas ‘now’ it is proved universally of a single unnamed super-genus encompassing all of them. Heath identifies this watershed with Eudoxus of Cnidus's general theory of proportion preserved in Elements V, Def. 5 & Prop. 16.

Equally revealing is Aristotle’s critique of Bryson's circle quadrature (75b37–76a3). Whereas Antiphon inscribed polygons until he imagined straight segments coinciding with the arc, Bryson circumscribed and inscribed squares/polygons and argued that because a circle is greater than all inscribed polygons and less than all circumscribed polygons, there must exist a square equal to the circle—an argument true at a purely quantitative level of continuity, yet geometrically non-constructive because it supplies no proper geometric middle term linking rectilinear and curvilinear bounds.

II. Scholastic-Noetic Commentary (Secundum Hoenen, Thomam & Paciolum)

In De Noetica Geometriae (Caput I, §§ 1–2, pp. 9–18; Caput VII, n. 1), Fr. Peter Hoenen S.J. elevates Posterior Analytics I.12 (77b30–31)—ταῦτα δ’ ἐστὶν οἷον ὁρᾶν τῇ νοήσει (‘and these mathematical things are as it were seen by intellectual vision’)—into the hermeneutic keystone of geometric epistemology. Against nineteenth- and twentieth-century axiomatic formalism (Hilbert, Grundlagen der Geometrie), Hoenen insists that Aristotle never treated axioms and postulates as arbitrary uninterpreted stipulations: the deductively rigorous architecture of apodeixis rests upon an authentic noetic intuition (intuitus mentis) that reads necessary Nexus directly in mathematical reality.

Engaging St. Thomas Aquinas's Expositio Libri Posteriorum Analyticorum (Lib. I, lect. 2 & lect. 19), Hoenen analyzes the subtle crux at 71a14–24 concerning how ‘triangle’ functions in geometric recognition: when a geometer recognizes an inscribed figure in a semicircle as a triangle (71a19–21), induction and intellectual insight occur simultaneously (ἅμα ἐπαγόμενος) because the singular diagram in imagination transparently exhibits the universal formal nature.

In De Divina Proportione (Compendio Cap. II–III, fols. 2r–3r), Fra Luca Pacioli invokes Posterior Analytics I.7 (75a38–b20) and I.13 (78b34–79a16) to establish the Renaissance dignity of linear perspective alongside music, arithmetic, and geometry as subalternate mathematical sciences.

III. Locus-by-Locus Philological & Geometrical Notes

71a19–24 — Recognition of the Triangle in the Semicircle

Aristotle refers to recognizing a concrete figure drawn inside a semicircle as a triangle and immediately deducing 2R. As Ross (Analytics, 1949, ad loc.) and Heath explain, the minor premiss (‘this figure is a triangle’) is grasped simultaneously with inspection of the construction, while the universal major (‘every triangle has interior angles equal to two right angles’, Elements I.32) is possessed beforehand.

74a17–25 — Eudoxus and the Unnamed Genus of Magnitude/Proportion

Greek lacked a single noun spanning discrete number, spatial magnitude, and temporal duration (ἀνώνυμον ἦν τι τούτοις πᾶσιν ἕν). Aristotle’s testimony proves that Book V of Euclid’s Elements was already established in the Lyceum while preserving the ontological distinction between discrete multitude and continuous magnitude enforced in I.7.

76a31–77a4 — Axiom, Hypothesis, Definition, and Postulate

Aristotle notes (76b39–77a3) that the geometer is unaffected by the crude redness or crookedness of the line drawn in dust (οὐ γὰρ ᾗ τήνδε γέγραφεν… ἀλλὰ τὰ δηλούμενα διὰ τούτων), because demonstration concerns the universal intelligible object signified through the diagram rather than the chalk or sand mark.

77b30–31 — Οἷον ὁρᾶν τῇ νοήσει (‘As It Were Seen by Intellectual Vision’)

Speaking of geometric analysis where expressions are converted into definite figures, Aristotle observes that ambiguity vanishes because mathematical objects are ‘as it were beheld by intellectual vision’—confirming the synergy of diagrammatic construction and noēsis.

IV. Sister-Corpus Citations Indexed in This Unit

Bekker Locus	Treatise & Chapter	Sister Repos	Cited Locations (Volume, Page / Folio & Display)
71a	Analytica Posteriora I.1	hoenen	hoenen (de_noetica_geometriae, Caput IV, p. 97): Posteriorum; hoenen (de_noetica_geometriae, Caput V, p. 159): Analytica Posteriora
71a11	Analytica Posteriora I.1	euclid	euclid (volume_I, p. 144): Anal. post. I. 1, 71 a 11
71a14	Analytica Posteriora I.1	hoenen	hoenen (de_noetica_geometriae, Caput VII, p. 224): Anal. Post. I cap. 1, 71 a 14 sq.
71b	Analytica Posteriora I.2	hoenen	hoenen (de_noetica_geometriae, Caput I, p. 11): Anal. Post. I cap. 2; hoenen (de_noetica_geometriae, Caput IV, p. 144): Anal. Post. I 2
71b9	Analytica Posteriora I.2	euclid	euclid (volume_I, p. 150): Anal. post. I. 2, 71 b 9
72a14–24	Analytica Posteriora I.2	euclid	euclid (volume_I, p. 120): Anal. post. I. 2, 72 a 14—24
73b19	Analytica Posteriora I.4	euclid	euclid (volume_I, I, p. 159): Anal. post. I. 4, 73 b 19
74a17	Analytica Posteriora I.5	euclid	euclid (volume_II, V, p. 113): Anal. post. I. 5, 74 a 17
74a18	Analytica Posteriora I.5	euclid	euclid (volume_II, V, p. 134): Anal. post. I. 5, 74 a 18
74a25	Analytica Posteriora I.5	euclid	euclid (volume_I, I, p. 319): Anal. Post. I. 5, 74 a 25
74b5	Analytica Posteriora I.6	euclid	euclid (volume_I, p. 117): Anal. post. I. 6, 74 b 5
75a	Analytica Posteriora I.7	pacioli	pacioli (divina_proportione, CHAPTER II): Posterior Analytics
75a38	Analytica Posteriora I.7	pacioli	pacioli (volume_I, Part I: Compendio de Divina Proportione, p. f. 2r): Aristotle; pacioli (volume_I, Part I: Compendio de Divina Proportione, p. f. 2v): Aristotle
75b4	Analytica Posteriora I.7	euclid	euclid (volume_II, V, p. 113): Anal. post. I. 7, 75 b 4
76a	Analytica Posteriora I.10	euclid, hoenen	euclid (volume_I, p. 45): Anal. post. I. 10; hoenen (de_noetica_geometriae, Caput IV, p. 144): 10
76a31	Analytica Posteriora I.10	euclid	euclid (volume_I, p. 143): Anal. post. I. 10, 76 a 31
76b9	Analytica Posteriora I.10	euclid	euclid (volume_II, III, p. 47): Anal. Post. I. 10, 76 b 9
76b23	Analytica Posteriora I.10	hoenen	hoenen (de_noetica_geometriae, Caput IV, p. 145): 76 b 23
76b27	Analytica Posteriora I.10	hoenen	hoenen (de_noetica_geometriae, Caput IV, p. 145): 76 b 27
76b28	Analytica Posteriora I.10	hoenen	hoenen (de_noetica_geometriae, Caput IV, p. 145): ibid. 28
76b41	Analytica Posteriora I.10	euclid	euclid (volume_I, I, p. 195): Anal. post. I. 10, 76 b 41
77a30	Analytica Posteriora I.11	euclid	euclid (volume_I, p. 120): Anal. post. I. 11, 77 a 30
77b22	Analytica Posteriora I.12	euclid	euclid (volume_I, I, p. 190): Anal. post. I. 12, 77 b 22
77b30	Analytica Posteriora I.12	hoenen	hoenen (de_noetica_geometriae, Caput V, p. 184): Anal. Post. I 12 77 b 30-33; hoenen (de_noetica_geometriae, Caput I, p. 14): Anal. Post. I 12, 77 b 30
78b34	Analytica Posteriora I.13	pacioli	pacioli (volume_I, Part I: Compendio de Divina Proportione, p. f. 3r): Aristotele; pacioli (volume_I, Part I: Compendio de Divina Proportione, p. f. 3r): Aristotle