Prologue Part I: Mathematical Being & Common Science — GEOMETOR Commentary & Concordance Notes

GEOMETOR Philosophical & Mathematical Commentary

  1. Proclus vs. Aristotle on Abstraction (`Friedlein 12–18`) and Hoenen’s Synthesis: In geometor/hoenen (De Noetica Geometriae, Caput III, p. 67), Petrus Hoenen directly cites Friedlein 12, 14–22 as the locus classicus of antiquity’s critique of naive empiricism in geometry. Proclus asks how exactitude (ἀκρίβεια) and necessary demonstration could ever be extracted from sensible bodies that are continually shifting and never realize an indivisible point or breadthless line. Hoenen uses Proclus’s objection to distinguish empirical induction from genuine Scholastic-noetic insight into intelligible extension in the phantasm—showing a deep structural convergence between Proclus’s critique of hysterogenes empiricism and Hoenen’s critique of positivist-empiricist theories of geometry.

  2. Exact Symbolic Algebra in GEOMETOR (`geometor/model`): Proclus’s insistence that mathematical entities preserve exact ratios governed by Limit and the Unlimited (Friedlein 5–7) rather than approximate sensory measurements anticipates GEOMETOR’s symbolic foundation: in geometor/model, geometric constructions preserve exact algebraic identities ($\sqrt{2}, \sqrt{3}, \phi = \frac{1+\sqrt{5}}{2}$) rather than floating-point approximations.

  3. Textual Transmission Note: Thomas Taylor’s 1788 translation of Book I followed Simon Grynaeus’s 1533 Basel Greek text alongside Franciscus Barocius's 1560 Latin edition, while our synchronized Greek track presents Gottfried Friedlein's 1873 Teubner critical text (pp. 3–47).

Friedlein Loci Cited in GEOMETOR (4 Loci in pp. 3–47)

  • Friedlein 12, 14 (text) — Proclus’s critique of Aristotelian abstraction (hysterogenes): sensible particulars lack the precision and apodictic necessity of mathematical objects. - hoenen (proclus:in-euclid:12.14): De Noetica Geometriae Caput III, p. 67

  • Friedlein 12, 14–22 (text) — Refutation of deriving mathematical forms from sense-objects: where among sensibles is the indivisible point, breadthless line, or exact equality of radii? - hoenen (proclus:in-euclid:12.14-22): De Noetica Geometriae Caput III, p. 67

  • Friedlein 22, 15 (text) — Proclus’s dialectical formula introducing and answering objections against the utility of theoretical geometry. - euclid (proclus:in-euclid:22.15): Heath Vol. I, p. 34 [folio 0048]

  • Friedlein 38, 1–42, 8 (text) — Geminus’s rival classification of the mathematical sciences into intelligible (arithmetic, geometry) and sensible/mixed sciences (mechanics, astronomy, optics, geodesy, canonics, logistic). - euclid (proclus:in-euclid:38.1-42.8): Heath Vol. I, p. 39 [folio 0053] - euclid (proclus:in-euclid:38.1-42.8): Heath Vol. I, p. 39 [folio 0053]