Commentary & GEOMETOR Notes — PART V — COMMENTARY ON THE METAPHYSICS AND SYSTEMATIC WORKS

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

Metaphysics Book V, Lecture 9 — On the Division of Per Se Being into Ten Categories and Being Signified by Propositional Judgment

Primary Text: English (Metaph. V, lect. 9) · Latin (Metaph. V, lect. 9) · Summary

Aristotelian & Scholastic Foundations

Aquinas’s exposition of Metaphysics Δ.7 (1017a7–b9) transforms \ Aristotle‘s compact lexical entry into a foundational treatise on analogical predication and the architecture of the categories (paralleled in In III Physicorum, lect. 5, in Part IV of this Codex). Against Parmenidean monism and Platonic univocity, Aquinas invokes Metaphysics B.3 (998b22) to prove that ens cannot be a genus, deriving the ten categories systematically from the triple relation of predicate to subject: essential identity (substance), intrinsic inherence consequent upon matter (quantity), upon form (quality), or toward another (relation), and extrinsic denomination by measure or causal principle/term. Equally decisive is his explicit refutation of \ Avicenna (Liber de Philosophia Prima III.2–4), who treated concrete accidental predicates like album as signifying substance primarily and quality secondarily; Aquinas insists that album primarily signifies quality in an accidental mode (esse est inesse), preserving the integrity of the nine accidental categories—chief among them mathematical quantity—as genuine modes of ens per se rather than collapsing them into ens per accidens.

Euclidean & Classical Geometric Counterparts

Two canonical Euclidean paradigms anchor Lecture 9’s distinctions of propositional truth and potentiality. In Marietti n. 895, illustrating how non esse signifies the falsity of a proposition, Aquinas explicates Aristotle’s famous example (1017a34–35): to say that the diagonal of a square is not incommensurable with its side is to assert what is false—alluding to the Pythagorean-Euclidean proof (preserved in Elements X, Appendix 27, and implied by Elements I.47 and X.9) that the ratio of diagonal to side (√2 : 1) admits no common unit measure. Immediately afterward, in Marietti n. 897, illustrating ens in potentia across the categories, Aquinas cites the midpoint of a line (medium lineae) as existing potentially within the undivided line (Elements I.10 bisects a given finite straight line in act), noting explicitly that Aristotle places the line provisionally among substances in view of the Pythagorean-Platonic thesis not yet refuted in Book V.

Hoenen’s De Noetica Geometriae & Judgment Theory

In the Appendix to De Noetica Geometriae (1954) and throughout La théorie du jugement d’après St. Thomas d’Aquin (1946/1953), Peter \ Hoenen S.J. makes In V Metaphysicorum, lect. 9 (especially Marietti nn. 890, 895–896) the cornerstone of his distinction between the two operations of the intellect and the analogical diversity of esse. Hoenen highlights Aquinas’s guiding principle—quoties ens dicitur, toties esse significatur—showing that diverse modi essendi (substantial subsistence, quantitative extension, qualitative intensity, fluent motion) originate from the quidditative natures and relations affirmed in judgment. Furthermore, by contrasting real categorical esse (cause) with propositional est as the copula of truth (effect, Marietti nn. 895–896), Aquinas provides the exact textual warrant for Hoenen’s and Bernard \ Lonergan‘s (Verbum, Ch. 2) insistence that judgment is not a mere juxtaposition of concepts, but a reflective intellectual posit affirming (or denying, as in diagonal commensurability) the correspondence between mental synthesis and objective necessity.

GEOMETOR Constructive & Symbolic Significance

Aquinas’s dual analysis of diagonal incommensurability and the potential midpoint of a segment speaks directly to the symbolic foundations of geometor.model. In floating-point dynamic geometry software, commensurability and incommensurability are blurred into indistinguishable decimal approximations, obliterating the exact modal boundary that Aquinas highlights in Marietti n. 895. Because geometor.model represents every point, line, and circle in exact SymPy algebraic fields, the irrationality of √2 in a unit square or the golden ratio φ = (1 + √5)/2 in a golden section is preserved as an exact polynomial identity, allowing propositional queries over collinearity, concurrency, and commensurability to evaluate with strict Boolean truth. Likewise, before a bisecting circle-pair construction is executed in geometor.model, the midpoint of a segment exists only virtually—in potency—until explicit constructive steps reduce that point into actual algebraic coordinates within the model’s directed acyclic graph.

Metaphysics Book VII, Lecture 10 — On Parts of the Form vs. Parts of Matter: Bronze Circle and Mathematical Circle in Intelligible Matter

Primary Text: English (Metaph. VII, lect. 10) · Latin (Metaph. VII, lect. 10) · Summary

Aristotelian & Scholastic Foundations

Expositing Metaphysics Z.10 (1034b20–1036a25), Aquinas brings crisp scholastic order to one of the most intricate chapters in the Aristotelian corpus. He introduces a fourfold distinction—form (forma), universal species (quod quid erat esse embracing common matter), concrete singular composite (simul totum in individual matter), and material parts—to resolve when parts precede or follow the whole. Most remarkably, in Marietti nn. 1494–1496, Aquinas harmonizes \ Aristotle‘s reference to singular mathematical circles (circuli mathematici) with De Anima III.5’s enigmatic remark that the intellectus passivus is corruptible: mathematical singulars are grasped apart from external sensation by pure phantasia (here called intellectus or intelligentia by extension), proving against Platonic formalism that imagination supplies an inner spatial field (materia intelligibilis) capable of individuating multiple congruent lines and concentric or non-concentric circles of the exact same species.

Euclidean & Classical Geometric Counterparts

Every geometric example in Lecture 10 illuminates the logical ordering of definitions in \ Euclid‘s Elements Book I. Aquinas’s observation (Marietti n. 1483) that the acute angle is quantitatively part of the right angle yet posterior in definition reproduces Elements Book I, Definitions 10–12 verbatim: Euclid first defines the right angle via the equality of adjacent angles formed by a perpendicular straight line, and only subsequently defines the obtuse angle as greater than a right angle and the acute angle as less than a right angle (angulus minor recto). Similarly, Elements Book I, Definitions 15–18 define the circle first through the equidistance of its bounding line from one interior point, and only then define the diameter and the semicircle (hemicyclium) through the circle. Finally, Aquinas’s appeal (Marietti n. 1494) to ‘several equal lines and several similar figures’ (plures lineae aequales, et plures figurae similes) captures the pervasive practice of Euclidean congruence and similarity proofs (Books I and VI), which compare two numerically distinct triangles or circles instantiating one identical universal definition.

Hoenen’s De Noetica Geometriae & Judgment Theory

\ Hoenen explicitly cites In VII Metaphysicorum, lect. 10, Marietti n. 1496 alongside Super Boetium De Trinitate q. 5, a. 3, ad 3 in De Noetica Geometriae, Caput IV (§ 8, n. 2), to establish the ontological ground of geometric individuation and congruence. Matter is a principle of numerical multiplicity solely through presupposed dimensive quantity, upon whose removal substance remains indivisible. Because pure continuous extension (continuum vel superficies vel corpus) retains dimensive parts even when all sensible qualities (bronze, wood, temperature, color) are abstracted away, the geometer’s imagination possesses an authentic materia intelligibilis in which numerically distinct figures of identical species can be constructed, superposed, and inspected. As Hoenen emphasizes, when a particular imagined circle ‘recedes from actual inspection’ (abeuntes ab actu, Marietti n. 1495), only the universal ratio remains in habitual intellect, explaining why actual geometric reasoning must continually reactivate determinate spatial \ phantasms.

GEOMETOR Constructive & Symbolic Significance

Lecture 10’s distinction between the universal definition of the circle and plural circuli mathematici individuated in materia intelligibilis mirrors the exact object model of geometor.model and geometor.explorer. In geometor.model, the universal algebraic form of a circle—the locus of points at a fixed squared radius r² from a center (x₀, y₀)—is instantiated as distinct symbolic Circle objects placed at distinct positions in the coordinate plane. Just as Aquinas proves in Marietti n. 1494 that geometry requires plural equal segments and plural circles of the same species to conduct demonstrations, constructive geometry in geometor.model begins from two initial points defining a unit segment and immediately instantiates two distinct congruent circles centered at each endpoint (Euclid I.1), while geometor.explorer renders those exact intelligible singulars on an SVG canvas for visual inspection.

Metaphysics Book VII, Lecture 11 — How Mathematical Species Are Defined Without Sensible Matter Yet Not Without Common Intelligible Matter

Primary Text: English (Metaph. VII, lect. 11) · Latin (Metaph. VII, lect. 11) · Summary

Aristotelian & Scholastic Foundations

In Metaphysics Z.11 (1036a26–1037b7), Aquinas tracks \ Aristotle‘s polemic against two wings of the Old Academy: Platonists who collapsed mathematical objects directly into Ideal Numbers (identifying the straight line itself with the Dyad, probably Xenocrates) and those—including \ Plato himself and Speusippus—who posited mathematica media between Ideal Numbers and sensible bodies while still claiming the Dyad is the formal species of the line (Marietti nn. 1509–1511). Aquinas also identifies ‘Socrates the Younger’ (1036b25; cf. Plato’s Theaetetus 147d and Statesman 257c) with Plato’s literary persona of Socrates, diagnosing why his ‘parable’ misleads: because a circle can exist without bronze, Plato inferred that human nature can exist and be defined without flesh and bone, and academic hyper-abstractionists inferred further that triangles and circles can be defined without continuous lines! Aquinas restores hylomorphic proportion: lines stand to the triangle in \ common intelligible matter just as flesh and bone stand to man in common \ sensible matter.

Euclidean & Classical Geometric Counterparts

Lecture 11 defends the irreducibility of geometric continuity against arithmetic reductionism—a foundational principle of \ Euclid‘s Elements, which treats continuous magnitude (Books I–VI, X–XIII) and discrete multitude (Books VII–IX) in distinct axiomatic books rather than reducing lines to pairs of points or triangles to the triad. In Marietti nn. 1508–1509, Aquinas notes that removing the continuous line from the definition of the triangle (bounded by three straight lines, Elements I, Def. 19) or the circle (bounded by one curved line, Elements I, Def. 15) leaves nothing save bare three-ness or oneness, obliterating spatial geometry altogether. Furthermore, in Marietti nn. 1520–1522 and 1529, Aquinas resolves why semicircles (hemicycla) never enter the definition of the universal circle even though letters enter the definition of a syllable: semicircles arise only by partitioning an individual circle’s continuous extension, whereas common \ intelligible matter (a plane figure bounded by one line equidistant from a center) is essential to the universal species itself.

Hoenen’s De Noetica Geometriae & Judgment Theory

For \ Hoenen (De Noetica Geometriae, Caput II and Caput IV), Metaphysics VII, lect. 11 delivers the decisive refutation of modern pure Hilbertian formalism avant la lettre. Just as the ancient Platonists sought to purge the \ continuum (linea vel superficies) from the essence of geometric figures so that only abstract numerical or relational multiplicities remained—with the fatal consequence remarked by Aquinas in Marietti n. 1512 that a triangle (three lines), a syllogism (three terms), and three-dimensional space would become formally isomorphic—modern formalist axiomatics replaces intuitive spatial content with uninterpreted ‘transcendent terms’ (a, b, c) satisfying purely syntactic postulates. Hoenen shows with Aquinas that while symbolic logic (logica docens) legitimately studies formal structures in abstraction, geometry itself cannot dispense with materia intelligibilis communis—the intuitively grasped continuum—without ceasing to be geometry.

GEOMETOR Constructive & Symbolic Significance

Aquinas’s critique of reducing geometric figures to bare numerical counts illuminates a core architectural distinction in GEOMETOR between purely combinatorial graph structures and genuine constructive geometry in geometor.model. An abstract incidence triple of three elements could equally represent three terms in a syllogism or three nodes in a tree (geometor.trees), losing every metric and proportional invariant of Euclidean space. Because geometor.model embeds lines and circles within exact continuous algebraic geometry—retaining common intelligible matter through continuous quadratic and linear equations over symbolic coordinates—geometric figures preserve their intrinsic spatial curvature, incidence, and harmonic cross-ratios (geometor.pappus) rather than degenerating into uninterpreted combinatorial tokens.

Metaphysics Book IX, Lecture 3 — How the Name and Notion of Actuality Are Derived First from Sensible Motion

Primary Text: English (Metaph. IX, lect. 3) · Latin (Metaph. IX, lect. 3) · Summary

Aristotelian & Scholastic Foundations

Commenting on Metaphysics Θ.3–4 (1046b29–1047b30), Aquinas confronts the Megarian school (Eucleides of Megara and his followers, whom \ Aristotle names in 1046b29), who collapsed dynamis into energeia out of deterministic convictions. Aquinas sharpens Aristotle’s four reductiones ad absurdum: Megarian actualism would mean an architect or geometer acquires and loses his habitual science every time he picks up or lays down his straightedge, sensible qualities collapse into Protagorean phenomenalism (Metaphysics Γ.5), animals turn blind and deaf dozens of times a day, and all becoming freezes into Eleatic immobility. Equally penetrating is Aquinas’s commentary on modal logic in Θ.4 (Marietti nn. 1810–1814), carefully distinguishing contingency (possibile opposed to necesse) from broad possibility (possibile opposed to impossibile) to validate Aristotle’s modal theorem—if A is possible and A necessarily implies B, then B is possible—and to correct misreadings of contraposition when an impossible antecedent implies a necessary consequent.

Euclidean & Classical Geometric Counterparts

Aquinas twice invokes the touchstone theorem of Greek mathematical impossibility (Marietti nn. 1807–1808): the commensurability of the square’s diagonal with its side. Whereas sitting or standing is contingently false at a given moment without entailing contradiction, supposing the diagonal commensurable with the side entails a formal impossibility—namely, as Aristotle notes in Prior Analytics I.23 (41a26–27) and as preserved in Elements X, Appendix 27, that one and the same integer would be simultaneously odd and even! Thus reductio ad impossibile—one of \ Euclid‘s primary engines of proof from Elements I.6 and I.7 onward through the method of exhaustion in Book XII—depends directly on the modal law demonstrated in Marietti nn. 1813–1814: when a posited geometric hypothesis (A) entails an impossible consequent (B, such as part equaling whole or odd equaling even), the hypothesis A is itself proved strictly impossible, not merely uninstantiated.

Hoenen’s De Noetica Geometriae & Judgment Theory

\ Hoenen singles out Marietti nn. 1805–1806 twice in the Appendix to De Noetica Geometriae (citing p. 253 and pp. 270–271, indexed under concordance keys aquinas:met:IX.3.1805 and aquinas:met:9.3.1806) as a master key to the epistemology of actus and esse. Quoting Aquinas verbatim—‘since names are signs of intelligible conceptions, we first impose names upon those things which we first understand, although they be posterior according to the order of nature’—Hoenen shows how human cognition first grasps existential actuality in sensible motus (a fluent esse perceived directly in concrete experience, whence moveri is never attributed to non-beings, n. 1806) and then extends both the notion and the name actus upward to substantial form, intellectual operation, and finally ipsum esse itself, which is prior in nature though posterior in our reflective philosophical analysis.

GEOMETOR Constructive & Symbolic Significance

Both the genetic primacy of motion and the preservation of habitual geometric potency in Lecture 3 resonate across the GEOMETOR ecosystem. In geometor.explorer, animated construction sequences bring geometric dependencies to life through visual motion—respecting Aquinas’s psychological observation in Marietti n. 1805 that human intelligence most readily apprehends actuality through visible movement before abstracting timeless algebraic invariants. At the same time, in geometor.elements and geometor.seer, previously synthesized constructions and verified transformation rules persist as reusable habitual capabilities (active and cognitive potentiae), ready to be deployed across new problem instances without having to be re-learned from scratch at each invocation.

Metaphysics Book IX, Lecture 10 — On Discovering Geometric Truth by Dividing Figures in Act (Euclid I.32 and III.31)

Primary Text: English (Metaph. IX, lect. 10) · Latin (Metaph. IX, lect. 10) · Summary

Aristotelian & Scholastic Foundations

In Metaphysics Θ.9 (1051a21–33), \ Aristotle compressed two famous geometric proofs into ten terse, elliptical Greek lines that baffled commentators from Alexander of Aphrodisias to pseudo-Alexander and \ Averroes. Aquinas’s exposition in Marietti nn. 1888–1894 is a triumph of philosophical and mathematical clarity: situating Θ.9 as the transition from the ontological comparison of act and potency (in priority and goodness) to the veritative treatise of Θ.10, Aquinas explains why geometric discovery (inventio) depends upon actualizing potentiality. Because a continuous magnitude contains infinite potential divisions prior to actual construction, an undivided figure conceals the middle terms required for demonstration; when the geometer actively divides lines and surfaces (facientes aliquid actu cognoscunt), potential relations become actualized objects proportional to the intellect, which is itself act (intellectus actus est, n. 1894).

Euclidean & Classical Geometric Counterparts

Aquinas supplies full, crystal-clear reconstructions of both Euclidean theorems cited by Aristotle! First (Marietti nn. 1889–1890), for the theorem that a triangle’s interior angles equal two right angles (Elements I.32), Aquinas produces base AC of triangle ABC continuously to form an exterior angle at C; invoking Elements I.13 (a straight line standing on a straight line makes two right angles or angles equal to two right angles) alongside the equality of the exterior angle to the two opposite interior angles (proved in \ Euclid via a parallel through C using I.29 and Postulate 2), the angle-sum theorem becomes immediately visible. Second (Marietti nn. 1891–1893), for Thales’s theorem that every angle inscribed in a semicircle is a right angle (Elements III.31), Aquinas bisects diameter AC at center D and draws radius DB; because DA, DC, and DB are equal radii, triangles DBA and DBC are isosceles (Elements I.5), and by applying the exterior angle property (Elements I.32) to angles BDC and ADB at the center—whose sum equals two right angles (Elements I.13)—their sum is shown to be double the inscribed angle ABC, proving immediately that ABC is one right angle (a famously elegant pre-Euclidean variant of Elements III.31 preserved by Pappus and Eutocius!).

Hoenen’s De Noetica Geometriae & Judgment Theory

No single text in the Thomistic corpus better exemplifies the central thesis of \ Hoenen‘s De Noetica Geometriae and Bernard \ Lonergan‘s Verbum: Word and Idea in Aquinas (Ch. 1, opening with the celebrated Euclidean diagram insight!) than In IX Metaphysicorum, lect. 10, nn. 1888–1894 (cited by Hoenen under concordance key aquinas:met:9.10.1894). Look at Aquinas’s repeated phrase in nn. 1890 and 1893: statim manifestum fit videnti dispositionem figurae (‘it becomes immediately manifest to one seeing the disposition of the figure’)! Neither blind sensory staring at an undivided triangle nor purely formal syllogizing without a diagram yields discovery; rather, heuristic imagination actively constructs auxiliary lines (dividendo lineas et superficies), and in that actualized spatial \ phantasm the \ agent intellect grasps the necessary formal nexus directly in act prior to formulating the demonstrative syllogism.

GEOMETOR Constructive & Symbolic Significance

In IX Metaphysicorum, lect. 10 is the philosophical charter of the entire GEOMETOR project. In geometor.model, an initial seed configuration—such as two fundamental points—holds an immense lattice of harmonic ratios, golden sections, and regular polygons purely in potentia; as Aquinas writes in Marietti n. 1888, ‘because in the first drawing of figures divisions of this sort exist in potency, what is sought does not immediately become manifest.’ Every constructive step executed in geometor.model—extending a line through two points or describing a circle—literally performs Aquinas’s divisio reducit in actum quod erat in potentia, computing exact symbolic polynomial intersections that bring latent points into actual existence. Once brought into act, geometor.divine immediately detects golden sections (φ) and harmonic ranges across collinear point-sets, while geometor.explorer renders the actualized dispositio figurae so the geometer sees the invariant structure directly in act.

Summa Theologiae I, q. 7, a. 1 & a. 3; q. 12, a. 4 — Being Itself as Most Formal of All; the Geometer’s Infinite Line; Apprehending Absolute Being

Primary Text: English (ST I, q. 7, a. 1 & 3; q. 12, a. 4) · Latin (ST I, q. 7, a. 1 & 3; q. 12, a. 4) · Summary

Aristotelian & Scholastic Foundations

In Summa Theologiae I, q. 7, a. 1 and 3, Aquinas transforms \ Aristotle‘s critique of the actual infinite (Physics III.4–8 and De Caelo I.5–7) by synthesizing it with Neoplatonic-Christian participation metaphysics (John Damascene and Pseudo-Dionysius). For the Presocratics and even for Aristotle, to apeiron carried the connotation of unfinished material indeterminacy—potency lacking terminating peras or form. Aquinas accepts Aristotle’s hylomorphic premise for continuous magnitude—proving from natural place, diverging radii in circular rotation (De Caelo I.5, 271b26–272a7), and quantitative figure that no physical or mathematical body can be actually infinite—while inverting its metaphysical implication for pure form and esse: because form is contracted rather than perfected by matter, and ipsum esse is most formal of all (maxime formale omnium), subsistent esse unreceived in any limiting potency is supremely infinite and perfect.

Euclidean & Classical Geometric Counterparts

Three foundational Euclidean doctrines converge in Question 7, Articles 1 and 3. First, Aquinas’s principle that figura is the quantitative form consisting in the termination of magnitude (q. 7, a. 1, ad 2 and a. 3, co.) directly quotes \ Euclid Elements Book I, Definition 14: Figura est quae termino vel terminis continetur (‘A figure is that which is contained by any boundary or boundaries’). Second, Objection 1 and Reply 1 of Article 3 resolve a classic puzzle concerning Euclid’s Postulate 2 (‘To produce a finite straight line continuously in a straight line’) and propositions such as Elements I.12 (‘upon a given infinite straight line, from a given point which is not on it, to draw a perpendicular straight line’) and I.22: following Aristotle (Physics III.7, 207b29–31), Aquinas explains that the geometer never assumes an actually infinite line, but calls a finite line ‘infinite’ (indefinite) insofar as it may be extended or cut off as far as any given construction requires. Third, Aquinas’s geometric proof against infinite rotation (a. 3, co.) invokes the unbounded divergence of two rays drawn at an angle from a center.

Hoenen’s De Noetica Geometriae & Judgment Theory

\ Hoenen explicitly cites ST I, q. 7, a. 1 (illud quod est maxime formale omnium, est ipsum esse, concordance key aquinas:st:I.7.1) and ST I, q. 12, a. 4, ad 3 (intellectus noster potest in abstractione considerare id quod in concretione cognoscit, concordance key aquinas:st:I.12.4.ad3) in the Appendix to De Noetica Geometriae (nn. 307, 410). For Hoenen, Question 12, Article 4, ad 3 supplies the decisive proof that human intelligence possesses a genuine, abstractive conception (ratio essendi) of esse itself—not merely concrete quiddities—through a ‘certain resolution’ (per modum resolutionis cuiusdam) analogous to its resolution of form from matter. Because the intellect resolves concrete beings into essence and existential act, it can formulate universal existential principles and recognize esse as the most formal perfection grounding every categorical mode of being, including quantitative extension.

GEOMETOR Constructive & Symbolic Significance

Aquinas’s resolution of the linea infinita geometrae in ST I, q. 7, a. 3, ad 1 describes with uncanny exactitude how unbounded lines operate in geometor.model and geometor.explorer. In geometor.model, a Line constructed through two points is represented algebraically by homogeneous linear coefficients (a, b, c) satisfying ax + by + c = 0—not as a completed actual infinity of points, but as an indefinite rule of alignment capable of yielding exact finite intersections wherever another line or circle meets it, while geometor.explorer clips and renders that line across whatever finite bounding viewport the current construction demands. At the same time, Aquinas’s theorem that every actual geometric figure is bounded by terminating limits (figura) underpins the finite, exact constructibility of polygons and polyhedra studied in geometor.elements and geometor.pacioli.

Summa Theologiae I, q. 84, a. 6–7 & q. 85, a. 1 — On the Origin of Science from Sensible Things, Turning to Phantasms, and Threefold Abstraction

Primary Text: English (ST I, q. 84, a. 6–7; q. 85, a. 1) · Latin (ST I, q. 84, a. 6–7; q. 85, a. 1) · Summary

Aristotelian & Scholastic Foundations

Written at the height of Aquinas’s maturity (c. 1267–1268, contemporary with his Sentencia libri De anima in Part III of this Codex), Questions 84 and 85 orchestrate a grand historical dialectic among \ Democritus (De Somno, De Generatione I.8), \ Plato, \ Augustine (83 Different Questions, De Genesi ad litteram XII), \ Avicenna, and \ Aristotle (De Anima III.4–8, Metaphysics Z.10–11, Posterior Analytics II.19). By grounding human cognition in the substantial unity of the rational soul as forma corporis, Aquinas explains why our intellect occupies the exact ontological midpoint between bodily sense (bound to individual corporeal matter) and angelic intelligence (proportioned to separate forms): its proper object is the \ quiddity existing in corporeal matter, which must be abstracted from individuating conditions by the intellectus agens yet contemplated in concrete particulars via conversio ad phantasmata.

Euclidean & Classical Geometric Counterparts

Question 85, Article 1, ad 2 codifies the epistemological charter of Euclidean geometry within the hierarchy of sciences: numeri et dimensiones et figurae, quae sunt terminationes quantitatum—precisely the subject-genera of \ Euclid‘s arithmetic (Books VII–IX), plane geometry (Books I–VI), and stereometry (Books XI–XIII)—can be considered apart from all sensible qualities (hot/cold, hard/soft) because dimensive quantity inheres in corporeal substance prior to sensible qualities, yet cannot be understood without substance subject to quantity (materia intelligibilis communis). Simultaneously, Question 84, Article 7’s phenomenological appeal—that whenever we strive to understand or teach someone else, we form exemplary \ phantasms (exempla) in which to inspect the universal truth—describes the universal pedagogical structure of Euclid’s Elements, where every general protasis (‘In any triangle…’) is immediately instantiated in a singular lettered ekthesis (‘Let ABC be a triangle…’).

Hoenen’s De Noetica Geometriae & Judgment Theory

\ Hoenen builds Chapters II and III of De Noetica Geometriae directly upon ST I, q. 84, a. 6 (and ad 3, concordance key aquinas:st:I.q84.a6), q. 84, a. 7, and q. 85, a. 1, ad 2 (concordance key aquinas:st:I.85.1.ad2), just as \ Lonergan centers Verbum Chapter 1 (‘Insight into Phantasm’) upon ST I, q. 84, a. 7! Hoenen emphasizes two revolutionary insights in these texts. First, because sensible cognition is only the materia causae while the intellectus agens supplies higher active power (q. 84, a. 6, co. & ad 3), intellectual judgment draws from defective sensible diagrams exact geometric limits—such as indivisible points and breadthless tangent lines (answering Protagoras’s objection that sensible circles touch a ruler across a segment rather than at a single point)—that transcend raw sensory data while remaining objectively true of extended continua. Second, q. 85, a. 1, ad 1–2 proves that geometric abstraction is an intuitive inspection of formal structure (simplex et absoluta consideratio) within materia intelligibilis, never a mendacious Platonic hypostatization.

GEOMETOR Constructive & Symbolic Significance

Aquinas’s twin doctrines of abstractio a materia sensibili (q. 85, a. 1, ad 2) and conversio ad phantasmata (q. 84, a. 7) map directly onto the dual architecture pairing geometor.model with geometor.explorer (and, in abstract visual reasoning, geometor.seer with geometor.seer_navigator). geometor.model executes pure mathematical abstraction by stripping away every floating-point pixel artifact or physical imperfection, representing points, lines, and circles in exact algebraic species over materia intelligibilis; yet to comprehend, teach, and heuristically explore those symbolic structures, human reason requires geometor.explorer’s visual SVG diagrams—concrete exemplary phantasms (per modum exemplorum) in which the intellect directly beholds universal proportional harmonies instantiated in a particular construction.

Disputed Questions on the Power of God, q. 7, a. 2 — That Esse Is the Actuality of All Acts and the Perfection of All Perfections

Primary Text: English (De Pot. q. 7, a. 2) · Latin (De Pot. q. 7, a. 2) · Summary

Aristotelian & Scholastic Foundations

De Potentia q. 7, a. 2 (disputed at Rome c. 1265–1266) represents Aquinas’s most daring metaphysical synthesis, weaving together \ Aristotle (Metaphysics IV, V.7, Posterior Analytics I–II, On Interpretation I.1), \ Boethius (De Hebdomadibus), Hilary of Poitiers, Moses Maimonides (Guide of the Perplexed I.57), Pseudo-Dionysius (De Divinis Nominibus V), and the Neoplatonic Liber de Causis (Propositions 4, 8, and 9). Confronting Objection 9’s Aristotelian-sounding claim that esse is the most indeterminate and imperfect substrate—analogous to prime matter awaiting categorical determination—Aquinas effects a profound metaphysical revolution: far from being minimal potency, esse is the ultimate act (actualitas omnium actuum) without which every substantial or accidental form remains merely potential in matter, in an agent’s power, or in an intellect’s concept, while finite essences contract esse as potency limits act.

Euclidean & Classical Geometric Counterparts

In Reply 11 (ct_id 60122), Aquinas anchors his crucial epistemological distinction between propositions self-evident in themselves (per se notae secundum se) and propositions self-evident to us (quoad nos) in \ Euclid‘s Fifth Common Notion (Elements Book I, Common Notion 5, cited via Posterior Analytics I.2): Omne totum est maius sua parte (‘Every whole is greater than its part’). Because the predicate greater than its part is analytically contained in the intelligible ratio of a quantitative whole, anyone who grasps the geometric meaning of totum and pars immediately assents to the axiom once its terms are known (cognitis terminis); by contrast, although in God esse is identical with His essence, our intellect lacks direct quidditative vision of God’s essence and must therefore demonstrate the propositional truth ‘God is’ (an est, Reply 1) from created effects.

Hoenen’s De Noetica Geometriae & Judgment Theory

De Potentia q. 7, a. 2, ad 9 (concordance key aquinas:de-potentia:7.2.ad9) is the centerpiece of \ Hoenen‘s entire existential commentary in the Appendix to De Noetica Geometriae (cited four times across lines 303–362!). Hoenen subjects Aquinas’s phrase hoc quod dico esse (‘this that I call esse’) to meticulous logico-noetic analysis: placed in the grammatical subject as a substantive infinitive (Peri Hermeneias I, lect. 5), esse signifies an authentic intellectual conception belonging to simple apprehension, drawn via resolution from concrete experience; yet when affirmed in the second operation of the mind, esse is posited as the existential act corresponding proportionally to each quidditative nature or relation—from permanent subsistent essences down to continuous spatial magnitudes and even the fluent, oscillatory esse of sound and light!

GEOMETOR Constructive & Symbolic Significance

Aquinas’s distinction in De Potentia q. 7, a. 2 between a form considered merely in potency or in conceptual definition versus a form posited in actual esse (ad 9)—paired with his distinction between an est as propositional verification and quid est as essential structure (ad 1 and ad 11)—illuminates the verification philosophy of GEOMETOR. Defining an abstract geometric ratio such as extreme and mean ratio (Elements VI, Def. 3) merely specifies quid nominis in thought; only when a rigorous compass-and-straightedge construction in geometor.elements or geometor.model actually brings the dividing point into existence—and geometor.divine verifies exact algebraic identity in act—is mathematical esse demonstratively established from first principles such as Every whole is greater than its part.

Disputed Questions on Truth, q. 10, a. 6 — Whether the Human Mind Receives Knowledge from Sensible Things and on First Indemonstrable Principles

Primary Text: English (De Ver. q. 10, a. 6) · Latin (De Ver. q. 10, a. 6) · Summary

Aristotelian & Scholastic Foundations

Disputed at Paris c. 1256–1259, De Veritate q. 10, a. 6 presents Aquinas’s earliest comprehensive map of ancient and medieval epistemology, testing \ Aristotle‘s De Anima III.4–5 and Posterior Analytics I.18 and II.19 against nine formidable Augustinian, Boethian, and Avicennian objections. Particularly incisive is Objection 7’s four-pronged dilemma arguing (via \ Avicenna‘s ontology of accidents) that an intelligible species can reside as mover neither in imagination, nor in the \ agent intellect, nor in the possible intellect, nor per se. Aquinas resolves the aporia in Reply 7 through his classic doctrine of dual causality: the intellectus agens acts as primary principal agent conferring actual immateriality, while the sensory \ phantasms act as secondary instrumental agents (agens instrumentale vel secundarium) conferring specific determination, so that the resulting species in the intellectus possibilis unites the formality of intellect with the objective content of sensible reality.

Euclidean & Classical Geometric Counterparts

The second sed contra (ct_id 53903) and the concluding synthesis of the Responsio (ct_id 53905) provide the genetic account of \ Euclid‘s Common Notions (communes animi conceptiones or dignitates): ‘all our knowledge originally consists in the knowledge of first indemonstrable principles, and the knowledge of these arises in us from sense, as is clear at the end of the Posterior Analytics.’ In geometry, universal conceptions such as Things equal to the same thing are equal to one another (Common Notion 1), If equals be added to equals, the wholes are equal (Common Notion 2), and The whole is greater than the part (Common Notion 5) are not innate Platonic memories prior to bodily experience, nor arbitrary conventions, but immediate intellectual insights ignited by the light of the intellectus agens the moment continuous wholes, parts, and equalities are presented in sensory and imaginative phantasms—principles within which all subsequent Euclidean theorems are virtually foreknown (praecognoscimus in ipsis).

Hoenen’s De Noetica Geometriae & Judgment Theory

\ Hoenen places De Veritate q. 10, a. 6, sed contra 2 (concordance key aquinas:de-veritate:q10-a6) at the very opening of Chapter IV of De Noetica Geometriae (‘On the Origin of First Geometric Principles,’ Caput IV, § 1; complementing his classic 1933 Gregorianum study De origine primorum principiorum scientiae). Commenting directly on Aquinas’s thesis that all science originally consists in first indemonstrable principles arising from sense, Hoenen argues that elementary geometry’s foundational axioms and postulates emerge from ‘hidden’—that is, pre-reflective yet luminously conscious—operations that are simultaneously abstractive (drawing from the spatial phantasm as instrumental cause, Reply 7) and intuitive (immediately beholding the necessary formal nexus and exactitude of continuous boundaries by the light of the intellectus agens prior to deductive syllogizing).

GEOMETOR Constructive & Symbolic Significance

De Veritate q. 10, a. 6 completes the epistemological circle of the Codex for both geometric exploration and machine reasoning in geometor.seer. Just as Aquinas rejects both pure apriorism (innate forms detached from sensory data) and passive empiricism (raw impressions devoid of active structural illumination) in favor of the synergy between instrumental phantasms and the active light of first principles, geometor.seer synthesizes verifiable Python transformation programs not by brute-force pixel memorization nor by ungrounded speculation, but by inspecting concrete visual grids (instrumental exemplars) through universal structural priors—symmetry, continuity, containment, and proportion—to abstract exact, necessary laws under which new particular instances are judged and foreknown.