Hypotheses, Postulates, Axioms & Propositional Form — GEOMETOR Commentary & Concordance Notes

GEOMETOR Philosophical & Mathematical Commentary

  1. Geminus on Postulate 1 (`Friedlein 185`) in Hoenen’s *De Noetica Geometriae*: In Caput IV, §4, p. 121 (proclus:in-euclid:p185), Hoenen quotes Friedlein 185 in the original Greek: «ἑπόμενόν ἐστι τῷ ῥύσιν εἶναι τοῦ σημείου τὴν γραμμὴν καὶ τὴν εὐθεῖαν ὁμαλὴν καὶ ἀπαρέγκλιτον ῥύσιν» (“it follows from the line’s being the flux of a point, and the straight line a uniform and undeviating flux”). For Hoenen, this passage proves that ancient constructive postulates were grounded in intelligible genetic intuition of spatial continuity rather than arbitrary formalist conventions.

  2. Postulate 5 (`Friedlein 191–193`) & Epistemological Crisis: In Caput I, §5, p. 15 of geometor/hoenen, Hoenen invokes Proclus (teste Proclo) as the primary ancient witness that Postulate 5 provoked foundational doubts from antiquity onward and that replacement postulates invariably presupposed an equivalent unproved assumption. Proclus’s invocation of asymptotic curves (the hyperbola and Nicomedes’ conchoid, Friedlein 191–192, cf. 177, 11) remains a marvel of geometric insight: monotonic decrease of distance does not imply intersection!

  3. The Six Canonical Parts (`Friedlein 203–207`) & `geometor/elements`: Proclus’s six-part schema (protasis, ekthesis, diorismos, kataskeue, apodeixis, symperasma) directly informs the formal architecture of geometor/elements and geometor/euclid, where given inputs (ekthesis), solvability guards (diorismos), constructive DAG steps (kataskeue), and deductive justifications (apodeixis) are explicitly distinguished—while keeping this historical Codex strictly free of modern Python implementation code.

Friedlein Loci Cited in GEOMETOR (19 Loci in pp. 178–207)

  • Friedlein 178, 12–179, 8 (text) — Aristotelian and Stoic/Geminian distinctions among Hypothesis, Postulate (aitema), and Axiom (axioma). - euclid (proclus:in-euclid:178.12-179.8): Heath Vol. I, p. 122 [folio 0136]

  • Friedlein 181, 4–11 (text) — Why drawing a straight line and circle are postulates (simple and easily granted), whereas constructing a single-turn spiral or equilateral triangle requires complex proof. - euclid (proclus:in-euclid:181.4-11): Heath Vol. I, p. 123 [folio 0137]

  • Friedlein 181, 16–23 (text) — Speusippus and Amphinomus on the difference between postulates (constructive generations) and axioms (indemonstrable truths), citing Archimedes’ Equilibria. - euclid (proclus:in-euclid:181.16-23): Heath Vol. I, p. 123 [folio 0137]

  • Friedlein 182, 21–183, 13 (text) — Third distinction between postulate and axiom following Aristotle’s Posterior Analytics (demonstrable/assumed without learner’s prior conviction vs. self-evident). - euclid (proclus:in-euclid:182.21-183.13): Heath Vol. I, p. 124 [folio 0138]

  • Friedlein 185 (text) — Commentary on Postulate 1 quoting Geminus in Greek: because the line is the flux of a point and the straight line a uniform undeviating flux, joining two points is postulated. - hoenen (proclus:in-euclid:p185): De Noetica Geometriae Caput IV, §4, p. 121

  • Friedlein 189–190 (text) — Discussion of Postulate 4 and Pappus’s remark that the converse (‘an angle equal to a right angle is not necessarily right’ if curvilinear, e.g. lunular angle) fails. - euclid (proclus:in-euclid:189.190): Heath Vol. I, p. 25 [folio 0039]

  • Friedlein 189, 11 (text) — Geminus’s attempted proof of Postulate 4 (that all right angles are equal) from the uniformity of right-angled inclination. - euclid (proclus:in-euclid:189.11): Heath Vol. I, p. 201 [folio 0215]

  • Friedlein 191, 21 (text) — Historical testimony that from the outset geometers attacked Postulate 5 as lacking self-evidence and sought either to prove it or redefine parallels. - euclid (proclus:in-euclid:191.21): Heath Vol. I, p. 202 [folio 0216] - hoenen (prose): De Noetica Geometriae Caput I, §5, p. 15

  • Friedlein 191, 23 (text) — Reference to Claudius Ptolemy’s dedicated book attempting to demonstrate Postulate 5 from earlier Euclidean principles. - euclid (proclus:in-euclid:191.23): Heath Vol. I, p. 43 [folio 0057]

  • Friedlein 194, 8 (text) — Apollonius’s attempted demonstration of Common Notion 1 (‘things equal to the same are equal to one another’) via a middle space/coincidence, and Proclus’s refutation. - euclid (proclus:in-euclid:194.8): Heath Vol. I, p. 221 [folio 0235] - euclid (proclus:in-euclid:194.8): Heath Vol. I, p. 121 [folio 0135]

  • Friedlein 194, 10 (text) — Critique of proving axioms through things less evident than the axioms themselves. - euclid (proclus:in-euclid:194.10): Heath Vol. I, p. 62 [folio 0076]

  • Friedlein 196, 21 (text) — Rejection of the interpolated axiom ‘two straight lines do not enclose a space’ as belonging to the special matter of geometry rather than common notions. - euclid (proclus:in-euclid:196.21): Heath Vol. I, p. 232 [folio 0246]

  • Friedlein 197, 6–198, 5 (text) — Heron’s restriction of authentic Euclidean Common Notions to three, and Pappus’s proposed additional axioms. - euclid (proclus:in-euclid:197.6-198.5): Heath Vol. I, p. 224 [folio 0238]

  • Friedlein 198, 5–15 (text) — Editorial criterion separating Euclid’s genuine five (or three) Common Notions from later scholiastic interpolations. - euclid (proclus:in-euclid:198.5-15): Heath Vol. I, p. 45 [folio 0059]

  • Friedlein 200, 10 (text) — Speusippus and Amphinomus (school of Plato) vs. Menaechmus on whether all geometric propositions should be called ‘theorems’ or ‘problems’. - euclid (proclus:in-euclid:200.10): Heath Vol. I, p. 19 [folio 0033]

  • Friedlein 200, 10–13 (text) — Philosophical reason why Platonists preferred ‘theorem’: eternal intelligible realities do not undergo temporal generation. - euclid (proclus:in-euclid:200.10-13): Heath Vol. I, p. 33 [folio 0047]

  • Friedlein 202, 5 (text) — Zenodotus (pupil of Oenopides) and Posidonius on how a problem inquires whether something exists while a theorem inquires what attribute belongs to it. - euclid (proclus:in-euclid:202.5): Heath Vol. I, p. 243 [folio 0257]

  • Friedlein 205, 13–15 (text) — The Six Canonical Parts of a Proposition (Protasis, Ekthesis, Diorismos, Kataskeue, Apodeixis, Symperasma): which three parts are indispensable in every proposition. - euclid (proclus:in-euclid:205.13-15): Heath Vol. I, p. 132 [folio 0146]

  • Friedlein 207, 4–25 (text) — When Ekthesis and Kataskeue may be omitted (as in universal arithmetic propositions), and how Symperasma converts the particular proof back to the universal Protasis. - euclid (proclus:in-euclid:207.4-25): Heath Vol. I, p. 131 [folio 0145]