Commentary & GEOMETOR Notes — PART I — ON BOETHIUS’S DE TRINITATE (QUESTIONS V–VI)

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

Commentary on Question V, Article 1

Primary Text: English (q. 5, a. 1) · Latin (q. 5, a. 1) · Summary

Aristotelian & Scholastic Foundations

Aquinas constructs his division of theoretical philosophy by synthesizing \ Boethius‘s De Trinitate (c. 2) with three canonical Aristotelian loci: Metaphysics VI.1 (1026a10–19), which establishes physics, mathematics, and theology according to separability and immobility; Physics II.2 (193b22–194b15), which contrasts the physicist’s inclusion of \ sensible matter with the mathematician’s consideration of surfaces, volumes, lines, and points apart from motion; and Posterior Analytics I.2 and I.7–13, which demand immobile necessity of scientific objects and govern the subalternation of quia sciences to propter quid sciences. Crucially, Aquinas enriches this Greek framework with \ Avicenna‘s Liber de philosophia prima (I.1–3) and Canon medicinae (I.1.1), refining the distinction between the ontological \ subject-genus (ens commune) and the formal ratio considerandi, while integrating \ Ptolemy‘s Almagest (I.1) and Hugh of Saint Victor’s Didascalicon (III.3) to situate logic and the quadrivium cleanly as methodological propaedeutics.

Euclidean & Classical Geometric Counterparts

In replying to the third objection (ad 3), Aquinas characterizes geometry and arithmetic within the quadrivium as liberal arts because they exercise an immediate opus rationis—numbering and measuring—within pure reason itself. This directly illuminates the dual propositional structure of \ Euclid‘s Elements, traditionally divided since Proclus into theorems (demonstrating eternal properties of figures) and problems (constructing figures from postulates, such as bisecting an angle or constructing an equilateral triangle in Elements I.1 and a square in Elements I.46). Unlike mechanical arts that manipulate recalcitrant physical timber or bronze, Euclidean straightedge-and-compass postulates enact an interior rational construction whose intelligibility depends neither on sensible matter nor on physical force, while subalternating applied optical, harmonic, and astronomical treatises (Optics, Sectio Canonis, Phaenomena) by supplying their propter quid quantitative demonstrations.

Hoenen’s De Noetica Geometriae & Judgment Theory

In Chapter VII of De Noetica Geometriae (1954), Peter \ Hoenen S.J. singles out Super Boetium De Trinitate q. 5, a. 1, ad 3—paired with In I Anal. Post. lect. 2, no. 5 and lect. 15—to resolve modern axiomatic controversies (notably Bertrand \ Russell‘s critique of Elements I.1) over mathematical existence. Hoenen observes that while continuous magnitude (magnitudo) is the fundamental presupposed subject-genus of geometry, determinate figures such as the equilateral triangle and the square function as secondary subjects whose non-contradictory mathematical existence cannot merely be assumed nominally, but must be proved through quasi-operative rational construction (opus ipsius rationis). For Hoenen, Aquinas’s recognition of an interior constructive work within speculative mathematics explains how Euclidean postulates bridge pure theoretical contemplation and generative geometric synthesis without lapsing into pragmatism or conventionalism.

GEOMETOR Constructive & Symbolic Significance

Aquinas’s isolation of mathematics as a speculative science possessing an immediate interior opus rationis—measuring, numbering, and constructing apart from sensible matter while remaining distinct from arbitrary human fabrication—captures the exact philosophical identity of the GEOMETOR ecosystem. In geometor.model, compass-and-straightedge operations are enacted as pure rational acts that do not approximate physical ink or pixels, but unfold necessary algebraic consequences latent within exact symbolic space. Simultaneously, Aquinas’s account of subalternation in ad 5—wherein arithmetic and geometry supply the propter quid reasons for harmonic and astronomical phenomena—anticipates the architecture linking geometor.model to geometor.divine and geometor.phyllotaxis, where pure radical proportions such as the golden ratio provide the formal explanatory ground for harmonic ranges and natural botanical symmetries.

Commentary on Question V, Article 2

Primary Text: English (q. 5, a. 2) · Latin (q. 5, a. 2) · Summary

Aristotelian & Scholastic Foundations

Article 2 rests upon \ Aristotle‘s anti-Platonic polemic in Metaphysics I.6 (987a32–b10) and VII.7–11 (1033a24–1037a10), together with Physics II.2 and VIII.5–10 and On the Soul III.4 (429b10–22). Whereas \ Plato inferred from Cratylean sensory flux that universal definitions must refer to separate subsistent Forms, Aristotle distinguished concrete singulars (Socrates, this bronze sphere) from universal composite essences that include common matter (flesh and bones universally) while excluding individual material designation. Aquinas sharpens Aristotle’s Metaphysics VII.10 distinction by forging his signature doctrine of designated matter (materia signata—matter subject to determinate spatial dimensions responsible for hic et nunc local position and individuation) as opposed to undesignated or common matter (materia communis), and by invoking On the Soul III.4 to explain our secondary knowledge of material singulars via intellectual reflexio mediated by the sensitive powers.

Euclidean & Classical Geometric Counterparts

Two striking geometric principles animate Aquinas’s argument in Article 2. First, in co. 2, local motion is identified as the primary motion presupposed by all physical change, and individuation in the mobile \ continuum is traced to designated dimensions (dimensiones signatae)—anticipating the way a concrete geometric diagram instantiates universal geometric ratios within particular chosen coordinates without restricting the theorem’s universality to that singular placement. Second, in ad 3, Aquinas illustrates how natural philosophy reaches the immaterial First Mover as its extrinsic terminus through the classical Euclidean analogy of the point and the line (Elements I, Defs. 1 and 3: A point is that which has no part, and The extremities of a line are points): just as the endpoint terminates a continuous one-dimensional magnitude and stands in an essential relation to it without itself possessing linear extension, so an unextended principle terminates a causal series of motions without sharing mobile materiality.

Hoenen’s De Noetica Geometriae & Judgment Theory

In La théorie du jugement d’après St Thomas d’Aquin (1946; 2nd ed. 1953) and Chapters II–III of De Noetica Geometriae (1954), \ Hoenen draws extensively upon Aquinas’s analysis of universal rationes and reflective application (q. 5, a. 2, co. 3 and ad 4) to explain how universal necessary science grasps concrete reality. Hoenen emphasizes that in Thomistic noetics the universal nature is neither a Platonic hypostasis nor a subjective nominalist label, but an objective formal structure (ratio) abstracted from hic et nunc designation in the pre-predicative \ phantasm. When the intellect judges, it uses this immobile ratio as a formal medium of knowing (ut medio sciendi) and reflects back upon the concrete data presented by the lower cognitive powers, thereby validating both the necessity of pure geometric theorems and their legitimate application to extended physical bodies.

GEOMETOR Constructive & Symbolic Significance

Aquinas’s distinction between singular designated dimensions (hic et nunc coordinates) and universal intelligible rationes, together with his geometric analogy in ad 3 of the indivisible point as the non-homogeneous terminus of a line, directly illuminates symbolic modeling in geometor.model. When a construction begins from two initial anchor points at coordinates (0, 0) and (1, 0), those chosen coordinates play the role of designated dimensions instantiating the construction, yet the algebraic and projective relationships uncovered across the resulting directed acyclic graph express universal per se geometric invariants wholly independent of scale, translation, or rotation. Likewise, in geometor.model, points arise not as tiny physical specks of extension, but as exact zero-dimensional algebraic limits (termini) generated at the intersections of lines and circles.

Commentary on Question V, Article 3

Primary Text: English (q. 5, a. 3) · Latin (q. 5, a. 3) · Summary

Aristotelian & Scholastic Foundations

This article—universally recognized as Aquinas’s masterwork on the philosophy of mathematics—weaves together On the Soul III.6 (430a26–b6, the understanding of indivisibles versus composition and division), Physics II.2 (193b31–35, abstrahentium non est mendacium and the contrast between curvum and simum), Metaphysics VII.10–11 (1036a9–12, hyle noete or intelligible matter as what is present in sensible things not insofar as they are sensible, such as mathematical objects), Categories 6 (5a15–37, quantity having situs or relative position of parts), and Posterior Analytics II.11 (94a28–34, the angle in a semicircle proved right from two half-right angles as a material-cause demonstration). Remarkably, Aquinas’s autograph manuscripts in Vatican Latin MS 9850 reveal multiple painstaking drafts of this exact responsio, wherein he perfected the terminological triad of separatio, abstractio formae, and abstractio totius to supersede earlier Boethian and Avicennian accounts.

Euclidean & Classical Geometric Counterparts

Every major structural feature of \ Euclid‘s Elements finds its philosophical warrant in Question V, Article 3. In arg. 3 and ad 3, Aquinas addresses how the geometer numbers distinct straight lines of the same species to construct an equilateral triangle (Elements I.1) or a square (Elements I.46), grounding congruent multiplicity in situs—the order of parts intrinsic to dimensive quantity (Categories 6, mirrored in Elements I, Common Notion 4 on superposition and congruence). In co. 4, Aquinas contrasts parts of the species (the three bounding straight lines essential to a triangle in Elements I, Def. 19) with parts of matter (the accidental division of a circle into semicircles in Elements I, Def. 18). And in arg. 4 and ad 4, he explains \ Aristotle‘s famous example corresponding to Elements III.31—that the angle in a semicircle is a right angle—by showing that decomposing a geometric whole into quantitative sub-angles argues not from physical matter, but from intelligible matter.

Hoenen’s De Noetica Geometriae & Judgment Theory

In Chapter IV of De Noetica Geometriae (1954, p. 131, fn. 2; cf. Chapter II on ST I, q. 85, a. 1, ad 2), \ Hoenen transcribes Super Boetium De Trinitate q. 5, a. 3, ad 3 verbatim as a cornerstone of geometric epistemology. Against Kant’s claim that arithmetic and geometry require an a priori subjective form of pure sensibility to account for congruent multiplicity (such as distinct congruent triangles or enantiomorphs), Hoenen demonstrates from Aquinas’s text that materia intelligibilis—dimensive quantity abstracted from sensible qualities by abstractio formae while retaining situs (the order of parts in homogeneous extension)—is objectively abstracted directly from sensible \ phantasms. Furthermore, Hoenen links Aquinas’s twofold operation of the intellect (co. 1) to his own central thesis in La théorie du jugement: simple apprehension abstracts the nexus of quantitative features in intelligible matter, while judgment affirms its necessary formal necessity.

GEOMETOR Constructive & Symbolic Significance

Question V, Article 3 provides the exact ontological charter for GEOMETOR’s symbolic engine. In geometor.model, points, lines, and circles are stripped of all sensible matter—floating-point measurement noise, physical thickness, and material perturbation—through a computational realization of abstraction of form, while preserving intelligible matter and situs: distinct lines and circles of identical species are individuated and numbered precisely by their exact algebraic order and positional incidence within the plane, allowing multiple equilateral triangles and squares to be constructed and compared. Moreover, Aquinas’s defense of geometric part-whole demonstrations in intelligible matter (ad 4, illustrated by the semicircle theorem of Elements III.31) mirrors how geometor.divine and geometor.elements analyze complex polygons and harmonic ranges through exact algebraic part-whole decompositions in SymPy.

Commentary on Question V, Article 4

Primary Text: English (q. 5, a. 4) · Latin (q. 5, a. 4) · Summary

Aristotelian & Scholastic Foundations

In reconciling \ Aristotle‘s two characterizations of first philosophy—as the universal science of being insofar as it is being (Metaphysics IV.1, 1003a21) and as theology studying immobile, separable divine substance (Metaphysics VI.1, 1026a19; XII.6–10)—Aquinas resolves a celebrated tension debated by Alexander of Aphrodisias, \ Avicenna (Liber de philosophia prima I.1–2), and \ Averroes (In I Phys., comm. 83). Avicenna had rightly insisted against Averroes that God cannot be the presupposed subject of metaphysics because God’s existence is proved within metaphysics, not assumed at its outset; Aquinas adopts Avicenna’s subject (ens in quantum est ens) while showing that God and the separate Intelligences enter metaphysics precisely as the universal causal principles of all being, thereby distinguishing philosophical metaphysics from Scriptural sacra doctrina (where divine realities self-revealed in faith constitute the proper subject itself) and refuting Avicebron’s universal hylomorphism via \ Boethius‘s De Hebdomadibus distinction of quod est and esse.

Euclidean & Classical Geometric Counterparts

Two vital mathematical contrasts sharpen Aquinas’s metaphysical doctrine in Article 4. First, in co. 1, Aquinas contrasts subsistent causal principles with incomplete intrinsic principles such as the unit of number and the point of a line (unitas numeri et punctus lineae, corresponding to \ Euclid‘s Elements VII, Def. 1 and I, Def. 1): because point and unit are not complete natures subsisting apart from magnitude and multitude, they do not generate a separate science prior to geometry and arithmetic, but are treated solely within geometry and arithmetic as principles of their \ subject-genus. Second, in arg. 7 and ad 7 (following Metaphysics III.2, 996a21–35, where Aristippus mocked mathematics for ignoring the good and final causes), Aquinas explains why Euclidean demonstrations never argue from efficient or final causality: because mathematical figures are separated solely in consideration (secundum considerationem tantum), dynamic agency and teleology belong not to abstract figures as such, but only to real subsistent beings.

Hoenen’s De Noetica Geometriae & Judgment Theory

In the extensive Appendix to De Noetica Geometriae (1954) and Chapter X of La théorie du jugement, \ Hoenen explores how Thomistic epistemology ascends from the quidditative nexus of geometric essences to the metaphysical affirmation of ipsum esse and transcendental modes of being. Analyzing Aquinas’s distinction in q. 5, a. 4, co. 4 and ad 5 between mathematical abstraction (whose objects can never exist apart from matter) and metaphysical separatio (which grasps ens, substantia, potentia, and actus as neutrally independent of matter secundum esse), Hoenen argues against rationalist essentialism—citing Gilson alongside Aquinas’s De Potentia q. 7, a. 2, ad 9—that ipsum esse (quo est in ad 4) is the actuality of all acts, initially encountered in concrete sensible and kinetic judgments and purified through negative separatio without ever turning common being into a univocal quantitative genus.

GEOMETOR Constructive & Symbolic Significance

Aquinas’s precision in co. 1 and ad 7 illuminates both the power and the principled boundaries of geometric formalization in GEOMETOR. Within geometor.model, points and unit segments function exactly as Aquinas describes punctus lineae and unitas numeri: not as isolated metaphysical substances, but as generative principles intrinsic to the constructive system of lines, circles, and algebraic ratios. Equally significant is Aquinas’s explanation in ad 7 of why mathematics excludes efficient and final causality in favor of pure formal necessity: in a constructive DAG within geometor.elements or geometor.model, ancestral dependencies represent timeless formal entailments rather than physical forces in time, even though the beauty and proportional harmony uncovered by geometor.divine invite philosophical reflection beyond pure geometry toward natural and metaphysical order.

Commentary on Question VI, Article 1

Primary Text: English (q. 6, a. 1) · Latin (q. 6, a. 1) · Summary

Aristotelian & Scholastic Foundations

Expounding \ Boethius‘s famous methodological triad (De Trinitate c. 2: in naturalibus rationabiliter, in mathematicis disciplinaliter, in divinis intellectualiter), Aquinas synthesizes Posterior Analytics I.27 (87a31–37, arithmetic as more certain and prior to geometry, which exists ex additione by adding position to unit), Physics I.1 (184a16–21, proceeding from sensible effects better known to us toward causes better known by nature), Metaphysics II.3 (995a12–16, learning the mode of science before science itself, and demanding mathematical rigor only of immaterial subjects), \ Ptolemy‘s Almagest (I.1), Boethius’s Consolation of Philosophy (IV, pr. 6; V, pr. 4), and Pseudo-Dionysius’s On the Divine Names (Ch. 7). He integrates these with the Neoplatonic-Scholastic method of via resolutionis (analysis back to simplest extrinsic or intrinsic principles) and via compositionis vel inventionis (synthesis descending from first principles to conclusions).

Euclidean & Classical Geometric Counterparts

Aquinas’s analysis of mathematical demonstration in co. 3 and co. 11–12 directly reflects classical Greek geometric practice from \ Euclid to Pappus. In co. 3, Aquinas notes that mathematics demonstrates solely through the formal cause (intrinsic definition), and remarkably anticipates an objection from Euclidean auxiliary constructions: when a geometer proves a property of a circle through an inscribed or circumscribed triangle or vice versa (as in Elements IV and XII.2), he does not invoke an extrinsic physical cause, because in the circle the triangle exists potentially, and conversely—echoing \ Aristotle‘s Metaphysics IX.9 (1051a21–33) on geometrical discovery actualizing latent divisions! Furthermore, Aquinas’s coupling of via resolutionis and via compositionis in co. 22 mirrors the classical geometric pair of analysis and synthesis codified in Pappus’s Collection Book VII (Treasury of Analysis).

Hoenen’s De Noetica Geometriae & Judgment Theory

\ Hoenen explicitly cites Super Boetium De Trinitate q. 6, a. 1 in Chapter V of De Noetica Geometriae (1954, line 132: both sciences—metaphysics and logic—are common, and in a certain way concerning the same subject) while distinguishing logica docens from logica utens (co. 1–2): in building geometry, logic in use becomes the living form immanent within concrete mathematical demonstrations, governed by objective laws of being rather than arbitrary syntactic conventions. Moreover, in Chapters I, IV, and VII, Hoenen builds upon Aquinas’s vindication of mathematics as disciplinalis par excellence (co. 11–12 and ad 14, where mathematical reason receives from the imagination): geometry serves Aristotle and Aquinas as the archetypus scientiae precisely because its formal-cause demonstrations actualize latent nexus in imaginable extension with immediate, indubitable clarity.

GEOMETOR Constructive & Symbolic Significance

Aquinas’s striking remark in q. 6, a. 1, co. 3—that when geometry demonstrates properties of a circle from a triangle or conversely, it does so because the triangle exists potentially in the circle and conversely—resonates profoundly with constructive discovery in geometor.model, geometor.explorer, and geometor.divine. Every step of a compass-and-straightedge construction in geometor.model actualizes points, segments, and polygons already latent in potentia within the algebraic field of the initial configuration; geometor.divine then performs a systematic resolutio, scanning the completed construction to uncover emergent golden sections and harmonic cross-ratios that flow by pure formal necessity from the underlying definitions, exemplifying Ptolemy’s and Aquinas’s demonstration wrought by indubitable paths.

Commentary on Question VI, Article 2

Primary Text: English (q. 6, a. 2) · Latin (q. 6, a. 2) · Summary

Aristotelian & Scholastic Foundations

Question VI, Article 2 brings Aquinas’s theory of scientific judgment to completion by uniting On the Soul III.7–8 (431a16–b2, 432a8–14: the soul never understands without a phantasm, and \ phantasms stand to the intellective soul as sensible objects to sense), On the Heavens III.7 (306a5–17, where \ Aristotle rebukes the Platonists for forcing physical elements into geometric polyhedra in defiance of sensory observation, insisting that physical science must terminate at sensory appearance), On the Soul I.1 (403a12–16, alongside Metaphysics III.2, 997b35–998a4, refuting Protagoras’s cavil that a straight ruler touches a bronze sphere across a sensible expanse rather than at a point), and Pseudo-Dionysius’s On the Divine Names and Mystical Theology (the triplex via of causality, eminence, and negation).

Euclidean & Classical Geometric Counterparts

Aquinas’s concrete example in co. 3—that a mathematical straight line touches a sphere at a single indivisible point alone, whereas a physical ruler touches a material sphere along an extended patch—corresponds directly to \ Euclid‘s Elements III.16 (a straight line drawn at right angles to the diameter of a circle from its extremity falls outside the circle and touches it at one point alone) extended stereometrically to the sphere (as in Theodosius’s Sphaerica I.3). By distinguishing what external sense perceives in rough bronze or chalk from what constructive imagination exhibits under the governance of a definitive notion (ratio diffinitiva), Aquinas explains how Euclidean diagrams function in proof: the geometer never measures chalk thickness with empirical calipers (ad sensum), but judges exact point-incidence and tangency by terminating judgment at idealized spatial imagination (ad imaginationem).

Hoenen’s De Noetica Geometriae & Judgment Theory

Chapters III and IV of \ Hoenen‘s De Noetica Geometriae (1954) constitute an extended philosophical commentary on the exact doctrine of q. 6, a. 2, co. 3 and ad 6. Examining Aristotle’s and Aquinas’s response to Protagoras on tangent lines and angle sums (In III Metaph. lect. 7, no. 416; In I Anal. Post. lect. 42, no. 7; ST I, q. 84, a. 6–7), Hoenen demonstrates how terminari ad imaginationem avoids both empiricist skepticism (which denies exact points and lines because sensation is coarse) and Platonic or Hilbertian formalism (which severs geometry from spatial intuition altogether). Because the phantasm remains a permanent foundation (permanens fundamentum, ad 6) illuminated by the \ agent intellect, the geometer inspects within imaginative extension itself the exact indivisibility of limits and necessary incidence relations, verifying universal geometric judgments in constructive intuition.

GEOMETOR Constructive & Symbolic Significance

Aquinas’s twin theses in Question VI, Article 2—that the phantasm abides as a permanent foundation (permanens fundamentum) of intellectual insight, and that mathematical judgment terminates at the imagination (terminari ad imaginationem) rather than at coarse empirical sensation—define the exact synergy between geometor.model and geometor.explorer. Whereas floating-point CAD or dynamic geometry software reduces tangency and intersection to numerical pixel tolerances (ad sensum, where a tangent line and circle may blur or miss due to rounding error), geometor.model adjudicates every incidence according to its exact definitive notion in SymPy symbolic algebra—verifying, just as Aquinas writes in co. 3, that a tangent line meets a circle at a single exact algebraic point—while geometor.explorer renders luminous SVG diagrams and animations as precision visual phantasms in which the human intellect directly inspects and contemplates the intelligible structure of the construction.