Commentary & GEOMETOR Notes — PART II — COMMENTARY ON THE POSTERIOR ANALYTICS

Aristotelian Sources, Euclidean Counterparts, Hoenen’s Noetics, and Symbolic Constructive Geometry

Book I, Lecture 1 — On the Necessity of Logic and the Most Certain Mode of Demonstration in the Mathematical Sciences

Primary Text: English (Lib. I, lect. 1) · Latin (Lib. I, lect. 1) · Summary

Aristotelian & Scholastic Foundations

Commenting on the opening lines of \ Aristotle‘s Posterior Analytics I.1 (71a1–11)—in the Greco-Latin translation of James of Venice revised by William of Moerbeke—Aquinas precedes the text with an architectural prooemium synthesizing Metaphysics I.1 (980b28, humanity living by art and reasonings), De Anima III.6 (430a26, the twofold operation of the intellect), and the Neoplatonic-Arabic canon of the extended Organon (including Rhetoric and Poetics, transmitted via Alfarabi, \ Avicenna, and Albert the Great). Where Greek commentators such as John Philoponus and \ Themistius contrasted didactic demonstration with Platonic anamnesis, Aquinas deepens the critique by linking epistemology to hylomorphic causality: \ Plato‘s denial that syllogisms cause science mirrors his denial that natural forms in matter cause generation. In expounding 71a3 (mathematicae enim scientiarum), Aquinas follows Robert Grosseteste’s commentary in highlighting why Aristotle places mathematicae first in his inductive proof: mathematical demonstrations exhibit causal necessity without material contingency.

Euclidean & Classical Geometric Counterparts

Aquinas’s designation of mathematics as possessing the certissimus modus demonstrationis directly reflects the deductive architecture of \ Euclid‘s Elements. Throughout the Elements, every theorem and construction advances ordine geometrico from explicitly stated first principles—Definitions, five Postulates, and Common Notions—through rigorous chains of syllogistic resolution (analytica). Whereas rhetorical enthymemes and dialectical probabilities falter amid singular contingencies, Euclidean proofs such as Elements I.32 (the interior angles of a triangle equal two right angles) or Elements I.47 (the Pythagorean theorem) exemplify the judicative part of logic in which formal syllogistic validity (Prior Analytics) unites with per se necessary matter (Posterior Analytics), leaving zero room for fear of the opposite (formido alterius).

Hoenen’s De Noetica Geometriae & Judgment Theory

In Chapter I of De Noetica Geometriae (citing In I Anal. Post., lect. 1, no. 10), Peter \ Hoenen S.J. underscores that both Aristotle and Aquinas continuously hold geometry before their eyes as the archetype of demonstrative science (typus scientiae). Against nineteenth- and twentieth-century Hilbertian formalism and logical positivism—which sever formal syntax (Prior Analytics) from intelligible content (Posterior Analytics) and reduce geometry to an uninterpreted game of termini transcendentes—Hoenen invokes Aquinas’s prooemium (and Chapter V’s analysis of logica utens) to show that judicative resolution requires both formal consequence and materia necessaria: real quidditative nexus apprehended in continuous quantity.

GEOMETOR Constructive & Symbolic Significance

Aquinas’s distinction in this prooemium between the inventive (investigative) and judicative (resolutory) moments of reason maps with striking precision onto the dual architecture of the GEOMETOR ecosystem. In geometor.explorer and geometor.divine, automated scanning across constructive configurations performs an inventive search that uncovers candidate golden sections, harmonic ranges, and proportional symmetries; yet discovery alone does not yield scientific certitude until geometor.model and geometor.elements execute resolutory verification in exact symbolic algebra via SymPy, resolving polynomial and radical identities back to primary algebraic and geometric definitions without floating-point approximation.

Book I, Lecture 2 — On the Twofold Foreknowledge (That It Is and What It Is) of Subject and Attribute: Unit and Triangle

Primary Text: English (Lib. I, lect. 2) · Latin (Lib. I, lect. 2) · Summary

Aristotelian & Scholastic Foundations

Expositing Posterior Analytics I.1 (71a11–29), Aquinas resolves a classic exegetical puzzle already debated by \ Themistius, Philoponus, and Grosseteste: why \ Aristotle cites unit (monas) as requiring foreknowledge of both what it is and that it is, while citing triangle (trigonon) as requiring foreknowledge only of what the name signifies (quid est quod dicitur). Drawing upon Metaphysics IV.4 and VII.4–17, Aquinas explains that in accidental sciences of quantity—unlike metaphysics or physics, whose substantial subjects can never be attributes—an accidental form can stand as a proper attribute (passio) of a prior quantitative subject while serving in turn as the subject of subsequent attributes, terminating without infinite regress in primary quantitative subjects (unitas, linea, superficies). He likewise clarifies Aristotle’s distinction at 71a17–24 between temporal foreknowledge of the major premise and simultaneous recognition (hama epagomenos) of a singular under its species.

Euclidean & Classical Geometric Counterparts

This lecture contains Aquinas’s explicit philosophical explanation of the architecture of Book I of \ Euclid‘s Elements. Quoting Elements I.1 verbatim (super rectam lineam datam triangulum aequilaterum constituere) and referencing Elements I.46 (construction of the square), Aquinas characterizes Euclidean constructive problems as quasi-operative demonstrations (demonstrationes quasi operativae). Euclid presupposes the existence and nominal definitions of points, straight lines, surfaces, and circles (Postulates 1–3), uses them in I.1 to demonstrate the mathematical existence of the equilateral triangle from its nominal definition (Def. 20), and thereafter treats the constructed triangle as a subject to prove proper attributes such as the equality of its angles (Elements I.5 Cor.) and the two-right-angle sum (Elements I.32), instantiated immediately in a triangle inscribed in a semicircle (Elements III.31).

Hoenen’s De Noetica Geometriae & Judgment Theory

Lecture 2, no. 5 is one of \ Hoenen‘s pivotal proof-texts across De Noetica Geometriae (cited extensively in Chapter IV on Euclid I.1 and Chapter VII on geometric existence). Engaging Bertrand \ Russell‘s critique that Euclid illicitly assumes without continuity axioms that the two circles in Elements I.1 intersect at point C, Hoenen agrees with Russell that I.1 is an existence proof—just as Aquinas’s doctrine of demonstratio quasi operativa establishes—while refuting Russell’s blind formalism: mathematical existence (esse mathematicum, non-repugnance in continuous extension) cannot be conjured from empty symbolic postulates, because the intersection of the two circles is intellectually intuited as necessary in the phantasmatic \ continuum from the presupposed nature of linea and superficies.

GEOMETOR Constructive & Symbolic Significance

Aquinas’s account of quasi-operative demonstrations, in which constructed figures transition from demonstrated attributes of prior lines and circles into subjects of downstream properties, directly mirrors the Directed Acyclic Graph (DAG) construction engine of geometor.model and geometor.elements. Starting from two foundational seed points (the presupposed primary subjects of position and unit distance), every subsequent straight line, circle, intersection point, equilateral triangle, or square is constructively generated as a derived algebraic node whose existence (real symbolic intersection roots in SymPy) is proved from ancestor elements before geometor.divine analyzes the resulting figure as a subject bearing emergent golden-ratio attributes.

Book I, Lecture 3 — On Universal Knowledge and Recognizing the Singular Triangle Inscribed in a Semicircle

Primary Text: English (Lib. I, lect. 3) · Latin (Lib. I, lect. 3) · Summary

Aristotelian & Scholastic Foundations

Commenting on Posterior Analytics I.1 (71a24–b8), Aquinas situates \ Aristotle‘s solution to the eristic paradox of \ Plato‘s Meno (80d–86c) within the overarching Aristotelian metaphysics of potency and act (Physics I.8, II.3; Metaphysics IX). Just as Anaxagoras posited latent actual forms in matter to avoid generation from nothing, Plato posited actual innate science in the soul because the uninstructed boy in the Meno (questioned on doubling the square) answered truly from self-evident principles. Against both Plato and the sophistical restrictivists criticized by Aristotle at 71a30–b5 (who restricted universal premises to every number which you know), Aquinas applies the causal doctrine of Physics II.3—where premises stand to conclusions as efficient causes to effects—showing that learning (addiscere) is the actualization of conclusions virtually contained in universal principles.

Euclidean & Classical Geometric Counterparts

Two celebrated Euclidean theorems frame this lecture’s epistemology. First, Elements I.32—that every triangle has its three interior angles equal to two right angles—exemplifies a theorem virtually contained in \ Euclid‘s definitions, parallel postulate, and Common Notions prior to explicit proof, yet holding objectively of every rectilinear triangle unqualifiedly rather than merely of triangles previously inspected by the geometer. Second, combining Lectures 2 and 3, the recognition of a triangle inscribed in a semicircle recalls Elements III.31 (Thales’ theorem that the angle in a semicircle is right): once the geometer apprehends the three bounding chords in the semicircle as forming a triangle, the universal angle-sum theorem applies instantaneously without requiring an intermediate syllogism.

Hoenen’s De Noetica Geometriae & Judgment Theory

\ Hoenen draws heavily upon this lecture’s distinction between virtual containment in principles and actual scientific cognition to refute both Kantian synthetic a priori constructivism and tautological logicism (Frege, Wittgenstein, and logical positivism, critiqued in De Noetica Geometriae Chapters II and V). Against the positivist claim that all mathematical deduction is an analytic tautology saying nothing genuinely new, Aquinas’s analysis of virtual pre-existence shows how synthetic geometric constructions and deductions bring the mind from potential, undifferentiated universality into genuinely new actual scientific knowledge, while preserving the unrestricted ontological universality (de omni simpliciter) of every geometric theorem.

GEOMETOR Constructive & Symbolic Significance

In computational geometry and machine reasoning within GEOMETOR, the distinction between virtual containment and actual knowledge illuminates why deductive construction and symbolic evaluation are non-trivial generators of discovery. Once initial points and constructive rules are posited in geometor.model, every constructible intersection and every golden proportion is virtually determined within the algebraic field; yet those proportional truths remain epistemically latent until constructive steps in geometor.elements and exact symbolic simplification in geometor.divine reduce them from virtual algebraic potentiality into explicit, verified theorems that hold unqualifiedly across the entire equivalence class of the configuration.

Book I, Lecture 4 — What Unqualified Scientific Knowledge Is and How Demonstration Proceeds from Primary, True, Immediate Causes

Primary Text: English (Lib. I, lect. 4) · Latin (Lib. I, lect. 4) · Summary

Aristotelian & Scholastic Foundations

Expositing Posterior Analytics I.2 (71b9–29), Aquinas displays classic Scholastic mastery by uniting Physics II.9 and De Anima I.1 (the final-cause definition as middle term proving the material-cause definition) with Metaphysics II.1 (993b30, the convertibility of esse and truth). Following \ Themistius and Grosseteste on 71b17 (syllogismus scientialis rendering syllogismos epistemonikos), Aquinas carefully distinguishes knowing simpliciter from sophistical knowing per accidens (the Coriscus fallacy of Sophistical Refutations 24). Most importantly, in paragraph 16, Aquinas resolves the apparent contradiction between Posterior Analytics I.2 (71b33–72a5, universals are remote from sense and prior by nature) and Physics I.1 (184a16–26, universals are better known to us), establishing a decisive epistemological boundary between natural philosophy and mathematics.

Euclidean & Classical Geometric Counterparts

Aquinas explicitly invokes Book X of Euclid (ut patet ex X Euclidis, referencing the classic proof associated with Elements X.2, X.9, and the ancient appendix X.117) to illustrate \ Aristotle‘s example at 71b26 of an impossible falsehood that can never be scientifically known: that the diagonal (diametrum) of a square is commensurable (symmetrum) with its side. Defining incommensurable magnitudes with precision as quantities admitting no common measure and lacking the ratio of a number to a number (√2 : 1), Aquinas shows how geometric truth is anchored in objective quantitative being. Furthermore, \ Euclid‘s axiomatic order exemplifies how in mathematics, because \ sensible matter is abstracted away, formal definitions and axioms are simultaneously most intelligible to us and primary in nature.

Hoenen’s De Noetica Geometriae & Judgment Theory

\ Hoenen repeatedly returns to Aquinas’s teaching here (alongside In I Anal. Post., lect. 10 and Summa Theologiae I, q. 85, a. 1, ad 2 in De Noetica Geometriae Chapters II and VI) to explain the unique transparency of geometric causality. Unlike physical substances whose inner essences remain hidden behind sensible accidents and must be deciphered a posteriori from effects, mathematical forms (numeri, dimensiones, figurae) are abstracted from sensible qualities while retaining \ intelligible matter; hence the formal nexus whereby properties flow per se from quantitative essence—including the exact crisis of incommensurability analyzed by Hoenen in Chapter VI—is directly penetrable to human intellectual intuition.

GEOMETOR Constructive & Symbolic Significance

Aquinas’s invocation of the incommensurability of the square’s diagonal with its side (Elements X) strikes at the very heart of GEOMETOR’s founding philosophy. Standard dynamic geometry software represents √2 and the golden ratio φ = (1 + √5)/2 as truncated binary rationals—effectively treating incommensurable magnitudes as commensurable ratios of integers and thereby embedding the very falsehood Aquinas declares unknowable. By grounding geometor.model in SymPy’s exact symbolic algebra, GEOMETOR preserves the algebraic identity of quadratic and higher polynomial irrationals, ensuring that computational verification aligns with being and truth.

Book I, Lecture 5 — On the Division of Immediate Principles into Axioms, Hypotheses, and Postulates

Primary Text: English (Lib. I, lect. 5) · Latin (Lib. I, lect. 5) · Summary

Aristotelian & Scholastic Foundations

Commenting on Posterior Analytics I.2 (72a5–24), Aquinas synthesizes \ Aristotle‘s division of immediate principles (archai amesoi) into axioms (axiomata, rendered dignitates or maximae propositiones via \ Boethius‘s De hebdomadibus and De topicis differentiis) and theses (theseis, rendered positiones), subdivided into hypotheses (suppositiones) and definitions (horismoi). Aquinas enriches Aristotle’s text with his celebrated epistemological distinction (parallel to Summa Theologiae I, q. 2, a. 1 and In IV Metaph., lect. 6) between propositions per se notae secundum se et quoad omnes—rooted in ens as the intellect’s first conception—and propositions per se notae secundum se tantum, whose technical terms require scientific instruction, alongside subalternated assumptions borrowed from higher sciences.

Euclidean & Classical Geometric Counterparts

Remarkably, Aquinas maps Aristotle’s logical taxonomy directly onto all three tiers of \ Euclid‘s Book I principles! First, he illustrates dignitates with Euclid’s Common Notion 5 (totum est maius sua parte, the whole is greater than its part). Second, he illustrates propositions immediate in themselves through technical definition with Euclid’s Postulate 4 (omnes recti anguli sunt aequales, all right angles are equal), grounding it explicitly in Euclid’s Definition 10 (a straight line standing on a straight line making adjacent angles equal). Third, he illustrates suppositiones proved in another science with Euclid’s Postulate 1 (a puncto ad punctum rectam lineam ducere), remarking that the geometer presupposes drawing a straight line between any two points while the natural philosopher proves the continuity of the intervening line (Physics V–VI). Finally, he cites Euclid Book VII Def. 1 on the arithmetical unit.

Hoenen’s De Noetica Geometriae & Judgment Theory

In Chapter I of De Noetica Geometriae (citing In I Anal. Post., lect. 5, no. 7) and Chapter IV, \ Hoenen highlights Aquinas’s nuanced treatment of Euclid’s Postulates 1 and 4 to dismantle modern axiomatic conventionalism (Poincaré and \ Hilbert). Modern formalists treat axioms, postulates, and definitions as interchangeable implicit definitions stripped of intuitive truth. Aquinas shows instead why All right angles are equal and A straight line can be drawn from any point to any point are objectively necessary truths grounded in the continuous nature of space and angle-equality, differing from Common Notions not by arbitrariness, but by requiring fuller analysis of continuous spatial definitions.

GEOMETOR Constructive & Symbolic Significance

Euclid’s Postulate 1 (to draw a straight line from any point to any point), Postulate 4 (equality of right angles via perpendicularity), and Common Notion 5 (whole greater than part) form the foundational primitives of geometor.model and geometor.elements. In geometor.model, definitions of points, lines, and circles carry no existential assertion on their own until constructive straightedge and compass operations instantiate them within the symbolic plane, while universal algebraic identities (dignitates) govern SymPy’s equation-solving and simplification engine across all geometric deductions.

Book I, Lecture 6 — Against Those Who Deny Demonstration or Posit Circular Demonstration

Primary Text: English (Lib. I, lect. 6) · Latin (Lib. I, lect. 6) · Summary

Aristotelian & Scholastic Foundations

Expositing Posterior Analytics I.2 (72a25–b4)—the immediate premise for \ Aristotle‘s refutation of both epistemological skepticism/infinite regress and circular syllogism in I.3 (72b5–73a20, Lectures 7–8)—Aquinas displays philological care by comparing James of Venice’s tortuous rendering of 72a32–36 with a direct citation of the Greek text (In Graeco planius habetur, drawn through Moerbeke’s revision and \ Themistius/Grosseteste). He invokes the foundational metaphysical-logical axiom propter quod unumquodque tale, et illud magis to prove that cognitive certitude flows causally from principles to conclusions, and anticipates Book II’s doctrine of intellectus in explaining Aristotle’s allusion to someone better disposed than one who knows scientifically.

Euclidean & Classical Geometric Counterparts

Aquinas illustrates the distinction between immediate first principles and proximate demonstrated premises with utmost precision from Book I of \ Euclid‘s Elements: before it is demonstrated, Elements I.16 (the exterior angle of a triangle is greater than—and in I.32’s proof equal to the sum of—the two opposite interior angles) is just as unknown to the beginner as Elements I.32 (a triangle has three angles equal to two right angles). Only because Elements I.16 and I.29 are strictly resolved back without circularity into primary Definitions, Postulates, and Common Notions—whose opposites the intellect recognizes with absolute certitude to be false—does the proof of Elements I.32 impart unshakeable apodictic scientia.

Hoenen’s De Noetica Geometriae & Judgment Theory

In Chapter I of De Noetica Geometriae (citing In I Anal. Post., lect. 6), \ Hoenen emphasizes Aquinas’s contrast between discursive scientia (Greek episteme) and the superior disposition of intellectus (nous) toward first principles. Against hypothetico-deductive philosophies of mathematics (such as Lakatosian fallibilism avant la lettre or \ Russell‘s claim that axioms are justified backward by their plausible consequences), Hoenen shows with Aquinas that circular or regressive justification destroys scientia: if first geometric principles possessed merely hypothetical or provisional credence, fear of the opposite (formido alterius) would infect every theorem derived from them.

GEOMETOR Constructive & Symbolic Significance

Aquinas’s acyclic ordering of epistemic priority—where proximate lemmas like Elements I.16 mediate between primary axioms and downstream theorems like Elements I.32 without ever circling back—is structurally realized in the Directed Acyclic Graph (DAG) architecture of geometor.elements and geometor.trees. Every proposition in geometor.elements explicitly tracks its ancestral dependency graph back to root postulates and definitions, guaranteeing strict acyclicity, preventing circular reasoning, and propagating exact symbolic certitude downward from unshakeable algebraic primitives to complex geometric theorems.

Book I, Lecture 17 — That No Particular Science Demonstrates Its Own Proper Principles, Which Belong to First Philosophy

Primary Text: English (Lib. I, lect. 17) · Latin (Lib. I, lect. 17) · Summary

Aristotelian & Scholastic Foundations

Commenting on Posterior Analytics I.9 (75b37–76a30), Aquinas integrates \ Aristotle‘s prohibition of kind-crossing (metabasis eis allo genos, established in I.7) with the hierarchy of subalternated sciences (harmonics under arithmetic, optics and mechanics under geometry) and the architectural supremacy of first philosophy (Metaphysics IV.1–3, VI.1). Relying on the ancient commentary tradition (\ Themistius, Philoponus, and pseudo-Philoponus preserved in medieval scholia on Sophistical Refutations 11 and Posterior Analytics I.9), Aquinas reconstructs Bryson of Heraclea’s attempted quadrature of the circle to show why a syllogism built solely from common notions (greater, less, and equal) lacks a proximate middle term per se proportioned to circular curvature.

Euclidean & Classical Geometric Counterparts

Bryson’s fallacy illuminates the profound methodological rigor of Book XII of \ Euclid‘s Elements (derived from Eudoxus of Cnidus) and Archimedes’ Measurement of a Circle. Unlike Bryson, who leaped illicitly from inscribed and circumscribed squares to an equal square via a purely dialectical appeal to greater and less, Eudoxus and Euclid in Elements XII.2 (grounded in Elements X.1, the Eudoxian-Archimedean exhaustion lemma) remain strictly within the proper principles of continuous magnitude, proving area proportionality through rigorous geometric bisection of arcs and polygons. Meanwhile, Euclid’s Optics and Sectio Canonis exemplify the exact subalternation of visual perspective to geometry and musical intervals to arithmetic described in paragraphs 3 and 6.

Hoenen’s De Noetica Geometriae & Judgment Theory

\ Hoenen cites In I Anal. Post., lect. 17, no. 4 in Chapter I of De Noetica Geometriae (and develops its consequences across Chapters V–VII) to establish the proper boundary between geometry and metaphysics. On the one hand, against logicism (Frege and \ Russell‘s Principia Mathematica), Lecture 17 proves that particular mathematical sciences cannot be deduced from purely general logical or ontological axioms alone without proper quantitative principles abstracted from extension—otherwise all mathematics degenerates into Brysonian metabasis. On the other hand, because geometry cannot demonstrate its own first principles within geometry, critical reflection on their ultimate epistemic validity belongs rightfully to noetic metaphysics.

GEOMETOR Constructive & Symbolic Significance

Both halves of Lecture 17 resonate directly with GEOMETOR. First, Bryson’s continuity heuristic—sandwiching a circle between smaller and larger squares without a constructive geometric middle—foreshadows numeric root-bracketing approximations, whereas geometor.model insists on proper compass-and-straightedge algebraic intersections (precisely distinguishing constructible quadratic extensions from transcendental circle-squaring). Second, Aquinas’s account of subalternation—where geometry supplies the propter quid formal causes for optics, mechanics, and harmonics—animates GEOMETOR’s cross-disciplinary reach into botanical phyllotaxis (geometor.phyllotaxis) and harmonic proportion.

Book I, Lecture 18 — On the Three Elements Required in Every Demonstrative Science: Subject-Genus, Proper Attributes, and Common Axioms

Primary Text: English (Lib. I, lect. 18) · Latin (Lib. I, lect. 18) · Summary

Aristotelian & Scholastic Foundations

Expositing Posterior Analytics I.10 (76a31–b22), Aquinas systematizes \ Aristotle‘s canonical triad of every demonstrative science (omnis scientia demonstrativa est circa tria: genus subiectum, communes dignitates, passiones). Particularly significant is Aquinas’s explanation of how common axioms enter particular sciences according to analogy (kat’ analogian, 76a38): transcendental or trans-generic relations of equality are proportionally contracted to discrete number in arithmetic and continuous magnitude in geometry. Notice too how Aquinas expands Aristotle’s brief geometric examples (euthy, keklasmenon) by introducing technical Euclidean-Arabic terminology from Campanus of Novara and Adelard of Bath—defining rational (commensurable) versus irrational or surd (surda) lines.

Euclidean & Classical Geometric Counterparts

Lecture 18 reads like a structural blueprint of \ Euclid‘s Elements. First, the subject-genus comprises continuous magnitude in Books I–VI and XI–XIII (points and lines, signa) and discrete units/numbers in Books VII–IX. Second, the common axioms contracted secundum analogiam appear verbatim in Euclid’s Common Notion 3 (If equals be subtracted from equals, the remainders are equal), which Euclid applies to geometric segments and areas in Book I (e.g., I.2, I.3, I.35) and to numbers in Book VII. Third, the proper attributes whose nominal definitions are posited and whose existence is demonstrated span Books I, VII–IX (even, odd, square, and cube numbers, VII Defs. 6–7, 18–19), and Book X Def. 3 (lines rational [rhetai] and irrational [alogoi, medieval surdae] relative to an assigned reference line).

Hoenen’s De Noetica Geometriae & Judgment Theory

In Chapter V and Chapter VII of De Noetica Geometriae (linking In I Anal. Post., lect. 15 and 18 with Metaphysics V and X), \ Hoenen examines how common axioms such as subtracting equals from equals function analogically across heterogeneous genera of quantity. Against formalist axiomatics that flatten equality into a bare syntactic equivalence relation, Hoenen emphasizes with Aquinas that equality in continuous extension (congruence and measure) and equality in discrete multitude are proportionally distinct realizations grounded in their respective subject-genera, and that Book X’s theory of rational and surd lines arises precisely when continuous magnitude transcends discrete numerical ratios.

GEOMETOR Constructive & Symbolic Significance

Aquinas’s highlight of Euclid Book X’s rational versus irrational (surd) lines relative to a given reference line (linea data) directly describes the foundational coordinate and symbolic architecture of geometor.model and geometor.divine. By fixing two initial points at (0, 0) and (1, 0) as the linea data, geometor.model computes every constructible segment length as an exact SymPy expression—distinguishing rational lengths from quadratic surds such as √2, √3, and φ—while applying common algebraic axioms analogically to verify exact segment, area, and cross-ratio equalities across the construction.

Book I, Lecture 19 — On Common Conceptions of the Mind, Hypotheses, Postulates, and Why the Geometer Does Not Demonstrate of Lines Drawn in Dust

Primary Text: English (Lib. I, lect. 19) · Latin (Lib. I, lect. 19) · Summary

Aristotelian & Scholastic Foundations

Commenting on Posterior Analytics I.10 (76b23–77a9), Aquinas weaves together three landmark Aristotelian arguments: (1) the distinction between outward spoken discourse (exo logos, ratio exterior) and inward discourse in the soul (eso logos, ratio interior, cf. Metaphysics IV.3, 1005b23–26 against Heraclitus), proving that communes animi conceptiones (\ Boethius‘s rendering of Greek koinai ennoiai) cannot be inwardly doubted; (2) the learner-relative distinction between suppositio (hypothesis) and petitio (aitema); and (3) \ Aristotle‘s refutation of both Protagorean anti-geometric empiricism (lineae in pulvere descriptae, 76b39–77a3; cf. Metaphysics III.2, 997b35) and Platonic separated mathematicals (ta mathematika alongside eide, 77a5–9), establishing the moderate realist universal unum in multis et de multis.

Euclidean & Classical Geometric Counterparts

Proclus’s Commentary on the First Book of Euclid’s Elements explicitly cites this very chapter of Aristotle’s Posterior Analytics to explain \ Euclid‘s tripartite division of first principles into Definitions (horoi, which assert neither universal nor particular existence), Postulates (aitemata, requested without demonstration), and Common Notions (koinai ennoiai, communes animi conceptiones, self-evident to inward reason). Moreover, Aquinas’s defense of the geometer tracing imperfect lines in the dust (in pulvere—referring to the ancient Greek abax or sand-board used with compass and straightedge) vindicates Euclid’s universal diagram-based method (ekthesis): the drawn figure ABC is merely a sensible sign guiding the intellect to the exact universal relation proved in the apodeixis.

Hoenen’s De Noetica Geometriae & Judgment Theory

Lecture 19 (especially nos. 2, 4, and 6) stands at the heart of \ Hoenen‘s De Noetica Geometriae (cited in Chapter IV, line 432, and paralleled in Chapter III on Protagoras’s tangent objection). Against empiricists like John Stuart Mill (who claimed geometry treats idealized approximations of physical lines) and against formalists like \ Hilbert and Pasch (who sought to banish visual intuition altogether because drawn diagrams can mislead), Hoenen deploys Aquinas’s doctrine of the \ phantasm: the intellect necessarily inspects the sensible or imaginative diagram (in pulvere or in phantasy) as an exemplar, yet abstracts from its sensory imperfections so that judgment terminates objectively in exact intelligible extension (unum in multis).

GEOMETOR Constructive & Symbolic Significance

No passage in the medieval corpus speaks more directly to GEOMETOR than Aquinas’s analysis of lines drawn in the dust (in pulvere). Every pixel rendered on a computer monitor and every IEEE-754 floating-point coordinate in conventional CAD or dynamic geometry tools is a modern line drawn in digital dust—neither truly straight nor exact in length. In GEOMETOR, SVG renderings in geometor.explorer serve faithfully in Aquinas’s exact role as sensible exemplars aiding visual intuition, while actual geometric demonstration in geometor.model is executed neither concerning nor from pixel approximations, but strictly upon exact universal algebraic objects in SymPy.

Book I, Lecture 42 — How One Science Is More Certain and Prior to Another: The Unit Without Position and the Point Having Position

Primary Text: English (Lib. I, lect. 42) · Latin (Lib. I, lect. 42) · Summary

Aristotelian & Scholastic Foundations

This section forms the culmination of the Posterior Analytics I.27–31 treatise on the hierarchy and boundaries of scientific exactitude (Lectures 41–42). In Lecture 41 (on I.27, 87a31–37), Aquinas expounded \ Aristotle‘s criterion that a science from fewer elements is prior to and more certain than one existing by addition (ex additione), exemplified by arithmetic’s unit without position (unitas est substantia sine positione) versus geometry’s point having position (punctus est substantia posita). Immediately continuing that demarcation in Lecture 42 (on I.30–31, 87b19–88a17), Aquinas contrasts the a priori necessity of the mathematical disciplines (disciplinae) with conditional a posteriori physical necessity (Physics II.8–9), excludes fortuitous events (a fortuna), defines universality by way of abstraction from here and now, and expounds Aristotle’s celebrated lunar-eclipse and perforated-glass thought experiments.

Euclidean & Classical Geometric Counterparts

Both the unitas/punctus criterion and Lecture 42’s anti-sensualist arguments illuminate \ Euclid‘s Elements. Euclid’s Definition I.1 (A point is that which has no part, supplemented in continuous geometry by spatial site) and Definition VII.1 (A unit is that by virtue of which each existing thing is called one, devoid of spatial site) embody the exact distinction between positioned geometric continuity and unpositioned discrete multitude. Likewise, Aquinas’s insistence in paragraph 7 that even if we could perceive by sense that a triangle has three angles equal to two right angles, we would still need to seek a demonstration explains why Elements I.32 cannot be established by measuring physical triangles: only the auxiliary parallel construction reveals the universal per se cause valid for every triangle regardless of here and now.

Hoenen’s De Noetica Geometriae & Judgment Theory

In Chapter III of De Noetica Geometriae (The Exactitude of Geometric Concepts, citing In I Anal. Post., lect. 42, no. 7 directly on Aristotle 87b35), \ Hoenen singles out this exact passage as a decisive refutation of geometric empiricism. Sensory measurements of drawn triangles can never establish exact equality to two right angles—nor can watching a single eclipse on the moon reveal universal necessity—because sense is bound to hoc aliquid, alicubi et nunc. Yet, as Hoenen notes alongside Aquinas’s paragraph 10 on experimentum, sensible inspection is ordered to geometry by presenting concrete spatial configurations in which the abstracting intellect grasps universal, time- and place-independent geometric necessity.

GEOMETOR Constructive & Symbolic Significance

Aquinas’s thought experiment in paragraph 7—that even direct visual perception of a triangle’s angle-sum or of an eclipse on the moon would not constitute scientia without universal causal demonstration—captures the methodological division of labor between visual inspection and symbolic proof in GEOMETOR. Visually observing in geometor.explorer or numerically sampling in floating-point arithmetic that three lines appear concurrent or two segments appear to stand in the golden ratio φ is epistemically akin to standing on the moon watching a singular shadow: true scientia is achieved only when geometor.model and geometor.divine prove the identity universally and a priori in exact symbolic algebra, independent of any singular coordinate placement.

Book II, Lecture 20 — On the Origin of the Habit of First Principles (Intellectus) from Sense, Memory, and Experience

Primary Text: English (Lib. II, lect. 20) · Latin (Lib. II, lect. 20) · Summary

Aristotelian & Scholastic Foundations

Expositing the famous closing chapter of the Posterior Analytics (II.19, 99b15–100b17, numbered Lecture 20 in the Leonine division), Aquinas harmonizes \ Aristotle‘s genetic account of epagoge (induction)—rising from aisthesis (sense) through mneme (memory) and empeiria (experimentum, parallel to Metaphysics I.1, 980a27–981a12) to the universal resting in the soul illustrated by the rallying of a routed army (fuga exercitus)—with the noetic psychology of De Anima III.4–5 and the intellectual virtues of Nicomachean Ethics VI.3–7. Against Averroistic separated-intellect readings and ancient sensualism alike, Aquinas inserts two decisive clarifications in paragraphs 12 and 14: sense implicitly perceives the universal-in-the-particular (Callias as this man) via the cogitative power (ratio particularis), and the agent intellect (intellectus agens) actively abstracts universal natures and illuminates understanding (intellectus, Greek nous) as the infallible habit of first principles.

Euclidean & Classical Geometric Counterparts

Significantly, in paragraph 11 Aquinas explicitly names numbers and geometrical figures (circa numeros vel figuras) as the primary exemplars of necessary, unchanging objects whose first principles arise through this inductive-abstractive ascent! Unlike medical or agricultural rules of art, which generalize across mutable processes of generation, Euclidean Common Notions (things equal to the same thing are equal to one another; the whole is greater than its part) and primary definitions of straight line, circle, figure, and unit require sensory and imaginative experience of bounded extensions only so that the \ agent intellect may immediately behold the necessary, invariant relations of continuous quantity through the habit of intellectus.

Hoenen’s De Noetica Geometriae & Judgment Theory

Book II, Lecture 20 is the supreme epistemological cornerstone of \ Hoenen‘s entire philosophical project—both in his landmark 1933 Gregorianum study De origine primorum principiorum scientiae and throughout De Noetica Geometriae (explicitly cited in Chapter II, line 321, and paired with De Veritate q. 10, a. 6, sc. 2 in Chapters II, IV, and VII). Against Kant (who held that experience can never yield strict necessity and universality, forcing geometry into subjective a priori forms) and against Hilbertian axiomatics (which abandons intuitive truth altogether), Hoenen proves with Aquinas that the agent intellect abstracts from imaginative experimentum not merely incomplex concepts (termini), but necessary judgments—intuiting in the \ phantasm the intrinsic formal nexus of Euclidean axioms and postulates.

GEOMETOR Constructive & Symbolic Significance

Aquinas’s genetic arc from singular sensations and collative experience (experimentum) to the universal resting in the soul and the habit of understanding (intellectus) illuminates both human geometric discovery in geometor.explorer and machine program synthesis in geometor.seer. Just as the human mind compares multiple concrete configurations (like soldiers rallying one by one in a routed army) until the intellect grasps the invariant structural law governing all instances, geometor.seer inspects finite visual training grids not to memorize pixel contingencies, but to abstract and synthesize a verifiable universal transformation rule—while in geometor.divine and geometor.model, empirical pattern recognition across constructive steps culminates in exact, invariant symbolic understanding.