Prooemium — Aquinas’s Philosophy of Mathematical Science¶
Intelligible Matter, Constructive Imagination, and the Architecture of Geometric Truth
1. Why St. Thomas Aquinas Matters to Constructive Geometry¶
Across the history of Western mathematics and philosophy, few problems have proved deeper than the paradox of geometric exactitude and necessity. A circle traced by a brass compass upon parchment or rendered as pixels upon a screen is sensibly imperfect, mutable, and contingent; yet Euclid‘s theorems concerning the circle, the equilateral triangle, the angle in a semicircle, and the division of a segment in extreme and mean ratio possess rigorous, timeless necessity. If one follows Plato, mathematical figures must subsist as separate eternal entities outside the physical world; if one follows radical empiricism, geometric axioms degrade into approximate generalizations from rough measurements; if one follows modern pure formalism (David Hilbert) or logicism (Bertrand Russell), geometry is severed from spatial intuition altogether and reduced to uninterpreted postulational syntax.
In the thirteenth century, St. Thomas Aquinas (1225–1274), building upon Aristotle, Boethius, and Euclid, forged a luminous middle path that resolves this trilemma without sacrificing either deductive rigor or objective spatial reality. As recovered in the twentieth century by the Dutch Jesuit physicist and philosopher Peter Hoenen (De Noetica Geometriae, 1954; La théorie du jugement, 1946) and extended by Bernard Lonergan (Verbum, 1946–1949; Insight, 1957), Aquinas’s philosophy of mathematics rests upon five interconnected pillars assembled in full in the five Parts of this Codex.
2. The Five Pillars of the Codex¶
Abstraction of Form and Intelligible Matter (Pars I — Super Boetium De Trinitate, qq. 5–6): In Question 5, Article 3 (Pars I, s3), Aquinas distinguishes the intellect’s two fundamental operations—simple apprehension of essence and composition and division looking to act of being—to contrast metaphysical separation with natural abstraction of the whole and mathematical abstraction of form. Because continuous quantity inheres in corporeal substance ontologically prior to sensible qualities (heat, color, weight), the geometer abstracts dimensional figure from all sensible matter while retaining intelligible matter—continuous spatial extension. And in Question 6, Article 2 (Pars I, s6), Aquinas establishes his decisive methodological law: whereas natural judgment terminates at external sense and metaphysical judgment at pure intellect, mathematical judgment must terminate at the imagination.
Supreme Demonstrative Certitude and Euclidean Principles (Pars II — Posterior Analytics): In his mature commentary on Aristotle‘s Posterior Analytics (Pars II), Aquinas explains why mathematics alone among human sciences achieves the certissimus modus demonstrationis (Lib. I, lect. 1), maps out the tripartite structure of subject-genus, proper attributes, and common conceptions of the mind vs. hypotheses and postulates (Lib. I, lect. 5 & 18–19), proves why the geometer demonstrates not of rough lines drawn in dust (non demonstrat per lineam in pulvere descriptam) but of the intelligible lines signified by them (Lib. I, lect. 19), distinguishes the arithmetical unit without position from the geometric point having position (Lib. I, lect. 42), and traces the genesis of first principles from sense, memory, and experience (Lib. II, lect. 20).
Turning to the Phantasm in Abstract Geometry (Pars III — Sentencia libri De anima): Expounding De Anima (Pars III), Aquinas shows why nequaquam sine phantasmate intelligit anima—the human soul never understands even abstract mathematical truths without turning to the phantasms (Lib. III, lect. 12, Pirotta nos. 770–777). Just as the snub (simum) includes sensible flesh in its ratio, rectum (the straight) includes the spatial continuum (Lib. III, lect. 8). When proving a theorem about an indeterminate triangle, the geometer places a determinate finite triangle before the eyes of the imagination while abstracting from its accidental scale.
Realism of Abstraction, Continuum, and Geometric Motion (Pars IV — Physics & De Caelo): In Physics II, lect. 3 (Pars IV, s1), Aquinas defends abstrahentium non est mendacium—there is no falsehood in those who abstract geometric boundaries from physical bodies. In Physics IV, lect. 7 (Pars IV, s3), he shows how immobile place and congruence emerge from local translation; in Physics VI, lect. 1 (Pars IV, s4), he rigorously proves that no continuum can be composed of indivisible points; and in De Caelo I, lect. 2 (Pars IV, s5), he clarifies how geometers speak imaginatively of a moving point describing a line.
Individual Intelligible Matter, Heuristic Division in Act, and Ipsum Esse (Pars V — Metaphysics & Systematic Works): Culminating in Metaphysics VII, lect. 10–11 (Pars V, s2–s3), Aquinas distinguishes individual intelligible matter (whereby many mathematical circles of equal or unequal radius coexist and intersect) from common intelligible matter. In Metaphysics IX, lect. 10 (Pars V, s5, Cathala #1894), he unveils the secret of geometric discovery (divisio figurarum in actu): geometers discover truth by dividing figures in act—drawing the parallel line for Euclid I.32 or the radius for Euclid III.31—making what was latent in potency immediately luminous to intellectual vision (statim manifestum est videnti). Finally, Summa Theologiae I (Pars V, s6–s7), De Potentia q. 7 a. 2 (Pars V, s8), and De Veritate q. 10 a. 6 (Pars V, s9) anchor the entire edifice in the light of the agent intellect and ipsum esse, the actuality of all acts.
3. Editorial Principles & Relation to the GEOMETOR Canon¶
Every Latin text in Pars I–V (37 unabridged sections, 613 paragraphs, 65,402 Latin words) is reproduced diplomatically from public-domain critical editions (Leonine, Marietti Pirotta/Cathala–Spiazzi, and Decker via the Corpus Thomisticum) with cryptographic SHA-256 verification in resources/aquinas/sources_manifest.json. Facing English tracks provide complete, 1-to-1 paragraph-synchronized scholarly translations alongside analytical summaries, GEOMETOR commentary, and a 100% concordance of all 78 Thomistic citation keys in Peter Hoenen‘s De Noetica Geometriae and Luca Pacioli‘s De Divina Proportione.