Summary — PART II — COMMENTARY ON THE POSTERIOR ANALYTICS¶
Analytical Synopsis of Expositio libri Posteriorum Analyticorum (c. 1270–1272)
Executive Thesis¶
In his Expositio libri Posteriorum Analyticorum (c. 1270–1272), Thomas Aquinas articulates his mature architecture of demonstrative science (scientia), taking geometry and arithmetic not merely as illustrative examples but as the primary realizations of the most certain mode of demonstration (certissimus modus demonstrationis, Lib. I, lect. 1). Because mathematical entities abstract from \ sensible matter and motion while retaining intelligible extension or discrete multitude, their demonstrations proceed solely from formal principles in which what is better known in relation to us (quoad nos) coincides with what is prior and better known according to nature (secundum naturam, Lib. I, lect. 4). Within this resolutory (analytica) framework, Aquinas resolves \ Plato‘s Meno paradox by distinguishing actual scientific knowledge (scire simpliciter) from the virtual pre-existence of conclusions within foreknown principles (praecognitio, Lib. I, lect. 2–3). Every demonstrative science requires three coordinated elements: a subject-genus (genus subiectum, such as continuous magnitude or number, of which both what it is and that it is are supposed), proper attributes (passiones, of which only nominal definitions are initially assumed while their inherence is demonstrated), and common axioms or dignities (dignitates, communes animi conceptiones, applied proportionally to the \ subject-genus, Lib. I, lect. 18). Crucially, Aquinas identifies \ Euclid‘s constructive problems—such as constructing an equilateral triangle upon a given finite straight line—as quasi-operative demonstrations (demonstrationes quasi operativae, Lib. I, lect. 2): in the order of construction the figure’s mathematical existence is first demonstrated as a proper attribute of prior spatial elements, after which the constructed figure serves as a secondary subject for subsequent theorems, while singular diagrams such as a figure inscribed in a semicircle immediately yield actual science once recognized under their universal species (Lib. I, lect. 2–3).
Equally foundational is Aquinas’s demarcation of the epistemological status of principles in Lectures 5 and 17–19. Whereas axioms or common conceptions of the mind—such as If equals be subtracted from equals, the remainders are equal—are self-evident both in themselves and to every intellect by inward reason alone, positions encompass unprovable nominal or quidditative definitions alongside propositional hypotheses (suppositiones) and postulates (petitiones), which are demonstrable in a higher science (ultimately first philosophy or natural philosophy) yet assumed without middle terms within geometry according to the learner’s epistemic disposition (Lib. I, lect. 5, 17, 19). Against sophistical kind-crossing (metabasis), Aquinas exposes Bryson’s attempted squaring of the circle as pseudo-demonstrative because its middle term exceeds the proximate genus of circle and rectilinear polygon (Lib. I, lect. 17). Against ancient skeptics and modern empiricists alike, he defends the exactitude of geometry in his celebrated analysis of lines drawn in the dust (lineae in pulvere descriptae, Lib. I, lect. 19): when the geometer calls a traced mark straight or one foot long, he utters no falsehood because he demonstrates neither concerning nor from sensible particulars, using visible figures solely as exemplars through which the intellect grasps universal natures existing one in many without needing Platonic separated Forms.
Finally, in the closing lectures of Book I and Book II, Aquinas unifies the downward apodictic hierarchy of mathematical exactitude with the upward inductive-abstractive genesis of first principles. Within the mathematical disciplines—ranked internally in Book I (lect. 41–42) by ontological simplicity from arithmetic’s unit without position (unitas sine positione) to geometry’s point having position (punctus habens positionem)—necessity holds a priori and universally, excluding both fortuitous events (a fortuna) and mere sensory observation (per sensum, Lib. I, lect. 42). Even if an observer stood upon the moon witnessing the earth’s shadow or perceived by sight that a singular triangle’s angles equal two right angles, he would still lack scientia until demonstration revealed the universal per se cause. Yet in Book II, Lecture 20, Aquinas shows that these universal principles are neither innate Platonic reminiscences nor arbitrary formalist conventions: from repeated sensations retained in memory, human collative reason forms experience (experimentum), from which the \ agent intellect abstracts the universal resting in the soul and awakens understanding (intellectus)—the infallible habit of principles that anchors all demonstrative science.
Key Scholastic & Mathematical Concepts¶
Latin Term |
English Rendering |
Primary Locus |
Doctrinal & Geometric Significance |
|---|---|---|---|
Certissimus modus demonstrationis |
Most certain mode of demonstration |
|
Designates the epistemic primacy of the mathematical sciences among human disciplines: because mathematics abstracts from sensible matter and argues strictly through formal principles, its premises are simultaneously better known to us and prior in nature. |
Praecognitio (quia est / quid est) |
Foreknowledge (that it is / what it is) |
|
Establishes the asymmetric prerequisites of demonstration: principles require foreknowledge that they are true, proper attributes require foreknowledge solely of what their names signify, and primary subjects (such as the unit or magnitude) require foreknowledge of both what they are and that they exist. |
Demonstratio quasi operativa |
Quasi-operative demonstration |
|
Aquinas’s technical characterization of Euclidean constructive propositions (such as Elements I.1 and I.46), which demonstrate the mathematical existence (quia est) of composite figures like the equilateral triangle and square from presupposed lines and circles before proving further attributes of them. |
Dignitates / Communes animi conceptiones |
Axioms / Common conceptions of the mind |
|
First indemonstrable propositions whose terms (such as being, whole, part, and equal) are grasped by all minds; they are evident to inward reason without external syllogism and are employed in geometry and arithmetic proportionally to their respective subject-genera. |
Suppositiones |
Hypotheses / Suppositions |
|
Propositional principles asserting to be or not to be that are assumed without proof within a particular science (though provable by a higher science such as metaphysics or natural philosophy) and are readily assented to as probable by the learner. |
Petitiones |
Postulates |
|
Assumed propositional or constructive principles—exemplified by Euclid’s postulate to draw a straight line from any point to any point—which the demonstrator asks the learner to grant when the learner holds neither prior assent nor contrary opinion. |
Genus subiectum |
Subject-genus |
|
The unified ontological domain of a science—discrete number for arithmetic, continuous magnitude for geometry—whose essential principles ground propter quid demonstrations and forbid illicit kind-crossing (metabasis) from alien genera. |
Passiones (per se accidentia) |
Proper attributes |
|
Properties that flow per se and necessarily from the essence of the subject-genus (such as evenness and oddness in numbers, or commensurability, curvature, and angle-sum equality in magnitudes), defined with essential reference to their subject. |
Lineae in pulvere descriptae |
Lines drawn in the dust |
|
Refutes the empiricist and skeptical charge that geometry rests on false premises because drawn diagrams are neither perfectly straight nor exactly a foot long: sensible figures serve solely as phantasmatic exemplars, not as the logical premises or subjects of geometric proof. |
Unitas sine positione / Punctus habens positionem |
Unit without position / Point having position |
|
Captures the Aristotelian criterion of relative scientific priority by addition (ex additione): whereas the arithmetical unit is indivisible quantity without spatial site, the geometrical point adds determinate position in the continuum, ordering the a priori necessity of the mathematical disciplines. |
Experimentum |
Experience |
|
The collative synthesis of multiple singular memories by human particular reason, forming the indispensable cognitive bridge between transient sensation and the agent intellect’s abstraction of the universal resting in the soul. |
Intellectus (habitus principiorum) |
Understanding (habit of principles) |
|
The supreme, unerring intellectual habit—distinct from discursive scientia—whereby the human mind, illuminated by the agent intellect upon the data of sense and experience, immediately apprehends first indemonstrable principles. |
Section-by-Section Analytical Breakdown¶
Book I, Lecture 1 — On the Necessity of Logic and the Most Certain Mode of Demonstration in the Mathematical Sciences¶
Read Primary Text: English (Lib. I, lect. 1) · Latin (Lib. I, lect. 1) · Commentary
Aquinas opens his commentary with a celebrated prooemium grounding the art of logic in the reflexivity of human reason. Because intellect and reason reflect upon their own operations, humanity requires an art of arts—logic—to direct the act of reasoning with order, ease, and freedom from error. Mapping the parts of the Aristotelian Organon onto the three operations of the intellect—simple apprehension of indivisibles (Categories), judgmental composition and division (Peri Hermeneias), and discursive reasoning—Aquinas divides discursive logic by analogy with nature’s threefold causal efficacy (necessary, for the most part, and defective). The judicative or analytic (resolutory) part yields scientific certitude by resolving conclusions back to first principles: Prior Analytics secures formal syllogistic validity, whereas Posterior Analytics secures material necessity through per se propositions, standing above inventive logic (dialectic, rhetoric, poetics) and sophistic.
Turning to \ Aristotle‘s opening thesis—Every intellectual teaching and learning comes about from pre-existing knowledge—Aquinas contrasts Aristotelian causal realism with Platonic innate Ideenlehre. Just as natural agents genuinely educe forms from material potency rather than merely preparing matter to participate in separated Ideas, so demonstrative reasoning genuinely generates scientific knowledge from pre-existing cognition rather than merely removing impediments to recollection. Inductively verifying this principle across demonstrative sciences, dialectic, and rhetoric, Aquinas singles out the mathematical sciences as holding the principal rank among demonstrative disciplines because they possess the most certain mode of demonstration (certissimus modus demonstrationis).
Key Theses:
Logic is the reflexive art of arts directing the three acts of reason: simple apprehension, judgmental composition or division, and discursive inference.
The Posterior Analytics constitutes the material peak of judicative (resolutory) logic, achieving infallible scientific certitude by resolving conclusions into per se and necessary first principles.
Against Platonic reminiscence, intellectual teaching and learning genuinely generate new scientific knowledge in act from pre-existing cognition.
Among all demonstrative sciences, the mathematical disciplines hold first place on account of their most certain mode of demonstration.
Book I, Lecture 2 — On the Twofold Foreknowledge (That It Is and What It Is) of Subject and Attribute: Unit and Triangle¶
Read Primary Text: English (Lib. I, lect. 2) · Latin (Lib. I, lect. 2) · Commentary
Expositing \ Aristotle‘s doctrine of foreknowledge (praecognitio), Aquinas analyzes both what must be known prior to a scientific conclusion and the order in which it is known. Because every demonstrative conclusion predicates a proper attribute (passio) of a subject through a principle, foreknowledge distributes asymmetrically across the two fundamental questions that it is (quia est) and what it is (quid est). Principles, being complex enunciations (such as the principle of excluded middle), have no quidditative definition and require foreknowledge solely that they are true. Proper attributes cannot have their inherence (quia est) foreknown—for proving their inherence is the very task of demonstration—so one foreknows of them only what is signified by the name (quid est quod dicitur). Primary subjects, such as the unit in arithmetic or lines and surfaces in geometry, require foreknowledge of both what they are and that they exist.
To explain why Aristotle illustrates nominal foreknowledge of a proper attribute using the triangle, Aquinas introduces a pivotal distinction between sciences of substance and sciences of accidents like mathematics. In geometry, primary elements of quantity (unit, line, surface) are presupposed exclusively as subjects; from them, composite figures such as the equilateral triangle and the square are first demonstrated to exist through quasi-operative demonstrations (quoting \ Euclid I.1), where the triangle stands as a proper attribute, before subsequently serving as a subject for further theorems. Finally, Aquinas distinguishes principles foreknown prior in time (the universal major premise that every triangle has three angles equal to two right angles) from truths known simultaneously in time yet prior in nature—as when recognizing this figure inscribed in a semicircle as a triangle immediately yields scientific knowledge of its angle-sum without any further middle term.
Key Theses:
Demonstrative foreknowledge divides asymmetrically: principles require that they are true, proper attributes require what the name signifies, and primary subjects require both what they are and that they are.
In mathematical sciences of quantity, composite figures like the equilateral triangle and square first function as proper attributes proved to exist via quasi-operative constructions before serving as secondary subjects.
Whereas the subject is defined absolutely, a proper attribute is defined with essential dependence upon its subject, which supplies the middle term of demonstration.
When a singular or subordinate instance—such as a figure inscribed in a semicircle—is immediately recognized under its universal species, the minor premise and the demonstrative conclusion become known simultaneously in time.
Book I, Lecture 3 — On Universal Knowledge and Recognizing the Singular Triangle Inscribed in a Semicircle¶
Read Primary Text: English (Lib. I, lect. 3) · Latin (Lib. I, lect. 3) · Commentary
In Lecture 3, Aquinas examines how the demonstrative conclusion itself is foreknown prior to syllogistic deduction and resolves the epistemological dilemma posed in \ Plato‘s Meno. Before a learner receives the demonstration that a triangle has three angles equal to two right angles, he does not know the conclusion unqualifiedly (simpliciter), yet he knows it in a qualified sense (secundum quid): just as a natural effect pre-exists virtually (virtute), not actually, in its efficient causes, so the conclusion pre-exists virtually in its foreknown principles. Plato erred—much like Anaxagoras in natural philosophy—by treating virtual pre-existence as actual pre-existence, inferring from the slave boy’s orderly answers to geometric questions that learning is mere recollection of innate science.
Aquinas equally refutes the opposite sophistical evasion, which claimed that someone knowing every dyad is even knows it only of every dyad that he knows to be a dyad (thereby knowing nothing whatever of an unrecognized dyad such as the third part of six). Such a restriction falsifies the very form of mathematical science: geometric and arithmetical demonstrations prove theorems concerning every number, every dyad, or every straight line unqualifiedly, never appending the subjective restriction which you know. Genuine learning (addiscere) is the intellectual generation of science, reducing knowledge from potential, virtual, and universal containment in first principles into proper and actual cognition.
Key Theses:
Prior to demonstration, a scientific conclusion is unknown unqualifiedly (simpliciter) yet foreknown virtually (virtute, secundum quid) within its principles, which act as efficient causes of the conclusion.
Plato’s Meno paradox mistakes virtual pre-existence in self-evident principles for actual innate possession of geometric theorems.
Mathematical premises and conclusions hold objectively of every triangle, number, or straight line unqualifiedly, without the psychologistic restriction which you know.
Learning is a genuine cognitive generation that brings the intellect from virtual, universal potency into proper, actual scientific knowledge.
Book I, Lecture 4 — What Unqualified Scientific Knowledge Is and How Demonstration Proceeds from Primary, True, Immediate Causes¶
Read Primary Text: English (Lib. I, lect. 4) · Latin (Lib. I, lect. 4) · Commentary
Beginning the treatise on the demonstrative syllogism proper, Aquinas explains why \ Aristotle constructs two linked definitions of demonstration: a formal-teleological definition taken from its end (to know scientifically, scire), which serves as the middle term proving its material definition taken from the required character of its premises. Setting aside sophistical knowing per accidens (such as knowing Coriscus approaching), Aquinas expounds Aristotle’s three conditions for knowing unqualifiedly (scire simpliciter): knowing the cause of the thing, knowing its actual application as the cause of that effect, and knowing with certitude that it cannot be otherwise. Demonstration is accordingly defined as a scientific syllogism (syllogismus scientialis)—one whose very possession constitutes scientific knowledge—which must therefore proceed from premises that are true, primary, immediate (lacking any prior middle term), better known than, prior to, and causes of the conclusion.
Manifesting each material condition, Aquinas illustrates the impossibility of knowing falsehoods through \ Euclid Book X: because to be and to be true are convertible, one cannot scientifically know that the diagonal of a square is commensurable (symmetrum) with its side, since they necessarily lack any common numerical measure. Finally, Aquinas harmonizes the Posterior Analytics thesis that demonstrative premises are prior according to nature rather than in relation to us (where sensible singulars come first) with Physics I: in natural philosophy, material essences are hidden from us so we frequently argue a posteriori from sensible effects, whereas in mathematics, owing to abstraction from \ sensible matter, demonstrations proceed purely from formal principles in which what is better known in relation to us is simultaneously better known unqualifiedly and according to nature.
Key Theses:
Unqualified scientific knowledge (scire simpliciter) requires knowing the cause, its actual causal nexus with the effect, and the impossibility of the truth being otherwise.
Because being and being true are convertible, falsehoods—such as the commensurability of the square’s diagonal with its side (Elements X)—cannot be scientifically known, nor can science arise from false or unproved premises.
Demonstrative premises must be primary, immediate, causal, and naturally prior to and better known than the conclusion.
In mathematics, unlike natural philosophy, abstraction from sensible matter ensures that formal principles better known in relation to us are simultaneously better known unqualifiedly and according to nature.
Book I, Lecture 5 — On the Division of Immediate Principles into Axioms, Hypotheses, and Postulates¶
Read Primary Text: English (Lib. I, lect. 5) · Latin (Lib. I, lect. 5) · Commentary
To clarify what makes a principle immediate—namely, having no prior proposition or middle term through which its predicate is proved of its subject—Aquinas first distinguishes the demonstrative proposition from the dialectical problem and proposition. Whereas the dialectician asks for either side of a contradiction indifferently from probable opinion, the demonstrator determinately assumes the true part of a contradiction (an opposition lacking any intermediate in itself) as known. Aquinas then unfolds \ Aristotle‘s foundational taxonomy of immediate syllogistic principles into axioms (dignitates or maximal propositions) and positions (positiones).
Every immediate proposition is known through itself (per se nota) in itself because its predicate belongs to the intelligible nature (ratio) of its subject. When its terms—such as being, one, whole, and part—are known to everyone, the proposition is an axiom (dignitas), such as non-contradiction or the whole is greater than its part, received by all sciences from metaphysics. When its terms require technical definition not universally known—such as All right angles are equal, whose immediacy rests on defining a right angle via equal adjacent angles formed by one straight line falling upon another—or when a proposition is assumed in geometry though proved in natural philosophy—such as drawing a straight line from any point to any point—it is received by position. Subdividing position, Aquinas distinguishes hypotheses (suppositiones), which assert to be or not to be, from definitions (such as the arithmetician’s definition of the unit as indivisible according to quantity), which signify what a thing is without asserting existence, serving virtually as principles of demonstration.
Key Theses:
Unlike the dialectician, who interrogates either side of a contradiction from probabilities, the demonstrator determinately assumes the true part of a contradiction.
Immediate propositions whose terms (being, whole, part) are universally understood are axioms (dignitates), evident both in themselves and to all learners.
Propositions immediate in themselves whose technical definitions are not universally known (such as All right angles are equal), or principles borrowed from another science (such as drawing a straight line between any two points), belong to positions and hypotheses.
Definitions are non-propositional positions that signify what a thing is (e.g., the unit as indivisible according to quantity) without asserting that it is, functioning virtually as syllogistic principles.
Book I, Lecture 6 — Against Those Who Deny Demonstration or Posit Circular Demonstration¶
Read Primary Text: English (Lib. I, lect. 6) · Latin (Lib. I, lect. 6) · Commentary
In Lecture 6, Aquinas establishes the epistemic asymmetry that renders both infinite regress and circular demonstration impossible (which \ Aristotle explicitly refutes immediately thereafter on this very basis): the immediate principles of a demonstration must be not merely foreknown, but more known and more firmly believed than the demonstrated conclusion. Explaining Aristotle’s qualification either all or some, Aquinas notes that proximate geometric premises—such as \ Euclid I.16, that the exterior angle of a triangle equals the two opposite interior angles—are initially just as unknown as the conclusion (Euclid I.32) until resolved back into immediate principles, whereas first principles are immediately better known upon being proposed.
Aquinas expounds Aristotle’s two proofs of this epistemic superiority. First, by direct causal proportionality (propter quod unumquodque tale, et illud magis): because we know and believe conclusions on account of principles, just as fire is hotter than what it heats (or the sun possesses a worthier causal power than terrestrial heat), we must know and believe the principles more than the conclusion. Second, by reduction to impossibility: if principles were not better known than a conclusion not yet known, the knower—or even one better disposed than a scientific knower, namely one possessing understanding (intellectus) of principles—would believe the unknown equally with or more than the known. Moreover, scientific certitude demands unshakeable adherence (incredibilem non esse), requiring that nothing be more certain to the demonstrator than the falsity of the principles’ opposites.
Key Theses:
Immediate principles must be known better and believed more firmly than any conclusion demonstrated through them, precluding circular proof.
Proximate theorems (such as the exterior-angle property of a triangle) require prior proof, whereas primary axioms are immediately better known as soon as their terms are grasped.
By the causal principle that on account of which each thing is such is itself more so, cognitive certitude belongs pre-eminently to first principles and derivatively to conclusions.
Unshakeable scientific certitude requires absolute conviction that the opposites of first principles are false, excluding all fear of the contrary.
Book I, Lecture 17 — That No Particular Science Demonstrates Its Own Proper Principles, Which Belong to First Philosophy¶
Read Primary Text: English (Lib. I, lect. 17) · Latin (Lib. I, lect. 17) · Commentary
Aquinas here establishes that genuine propter quid demonstration requires proper and proximate principles belonging per se to the \ subject-genus, not merely true and immediate common axioms. He illustrates this failure of generic proximity through Bryson’s sophistical squaring of the circle (tetragonismus): Bryson argued that wherever there exist something greater and something less (circumscribed and inscribed squares around a circle), there exists something equal, and hence a square equal to the circle. Because equal, greater, and less transcend the genus of circle and rectilinear polygon—applying equally to numbers, times, or weights—Bryson’s argument yields at best per accidens knowledge rather than per se geometric causation.
Addressing the objection from subalternate sciences—such as harmonics (music) proved through arithmetic, or optics (perspective) and mechanical arts proved through geometry—Aquinas distinguishes knowing that (quia) in the lower science from knowing the reason why (propter quid) in the superior mathematical science to whose subject-genus the middle term essentially belongs. From the dual fact that particular sciences cannot demonstrate from common axioms alone and yet their proper principles presuppose higher common truths, Aquinas deduces a monumental architectural conclusion: no particular science (neither geometry nor arithmetic) can demonstrate its own proper principles; that office belongs to first philosophy (metaphysics), which studies being qua being and the common principles of all sciences as its own proper domain.
Key Theses:
True and immediate common premises do not suffice for science unless joined to proper principles proximate to the subject-genus.
Bryson’s attempted quadrature of the circle fails as a geometric demonstration because its middle term (greater, less, and equal) transcends the proximate genus of circular and rectilinear magnitudes.
In subalternate sciences (harmonics under arithmetic, optics and mechanics under geometry), the lower science knows the that (quia) while the pure mathematical science knows the reason why (propter quid).
No particular science can demonstrate its own first proper principles; their ultimate validation belongs to first philosophy (metaphysics), which treats being universally.
Book I, Lecture 18 — On the Three Elements Required in Every Demonstrative Science: Subject-Genus, Proper Attributes, and Common Axioms¶
Read Primary Text: English (Lib. I, lect. 18) · Latin (Lib. I, lect. 18) · Commentary
Synthesizing the relationship between proper and common principles, Aquinas sets forth the canonical triad governing every demonstrative science. First, distinguishing principles from derived theorems (ea quae sunt ex principiis), he notes that while both require nominal or quidditative understanding (quid significent), mathematics supposes the existence (quia sunt) of its primary subjects—the unit and magnitude (points and lines)—whereas it demonstrates the existence of derived constructs and attributes, such as the equilateral triangle, the right angle, and the straightness of a constructed line. Second, reconciling the use of common axioms with the prohibition against generic kind-crossing, Aquinas explains that \ common conceptions of the mind are employed in each science according to analogy (secundum analogiam), contracted proportionally to its \ subject-genus: geometry restricts subtracting equals from equals to equal magnitudes, while arithmetic restricts it to equal numbers.
Illustrating proper principles and proper attributes across arithmetic, geometry, and astronomy, Aquinas highlights arithmetical attributes (even, odd, square, cubic) alongside rich Euclidean geometric attributes: rational (commensurable) versus irrational or surd (incommensurable) lines measured against a given reference line, as well as the deflected and the curved. Every demonstrative science therefore revolves around three things: the subject-genus (genus subiectum), the common axioms (communes dignitates), and the proper attributes (passiones)—even when a science omits express mention of one because it is already manifest to reason (like number) or to sense.
Key Theses:
Mathematics supposes both the meaning and existence of primary subjects (unit, magnitude, points, lines) while demonstrating the existence of constructed figures and proper attributes (equilateral triangle, right angle, rational and surd lines).
Common conceptions of the mind enter into particular sciences according to analogy, contracted proportionally to continuous magnitudes in geometry and discrete numbers in arithmetic.
Every demonstrative science necessarily rests on three pillars: the subject-genus, the common axioms (communes dignitates), and the proper attributes (passiones).
A science may omit explicit formulation of manifest presuppositions (such as the existence of number or familiar common notions), yet all three elements remain naturally presupposed.
Book I, Lecture 19 — On Common Conceptions of the Mind, Hypotheses, Postulates, and Why the Geometer Does Not Demonstrate of Lines Drawn in Dust¶
Read Primary Text: English (Lib. I, lect. 19) · Latin (Lib. I, lect. 19) · Commentary
Lecture 19 delivers Aquinas’s most penetrating analysis of axiomatic foundations and geometric idealization. First, he distinguishes common conceptions of the mind (communes animi conceptiones, dignitates) from hypotheses (suppositiones) and postulates (petitiones). While all principles are true per se, common conceptions must also necessarily be seen to be true per se by the natural light of inward reason (ratio interior): although a skeptic may deny non-contradiction in outward spoken words (voce), no intellect can inwardly conceive its opposite. Hypotheses and postulates, by contrast, are demonstrable truths assumed without middle terms within a given science and differ relatively to the learner: what seems probable to the student is assumed as a hypothesis, what meets neutral suspension of judgment is requested as a postulate, and what meets contrary opinion becomes a question requiring prior disputation.
Second, Aquinas proves twice that definitions (termini) are neither hypotheses nor postulates, since definitions neither assert to be or not to be nor predicate universally or particularly, requiring only intellectual comprehension. Within this proof, he resolves the famous objection that geometers argue from false hypotheses when calling an imperfectly traced mark in the dust (in pulvere) straight or one foot long: because geometry demonstrates exclusively of universals, the geometer demonstrates neither concerning nor from sensible lines, using them merely as sensible examples through which universal natures are understood. Finally, against Platonism, Aquinas concludes that eternal geometric demonstrations require no separated Ideas (unum extra multa), but only a universal nature existing one in many and predicated univocally of many (unum in multis et de multis).
Key Theses:
Common conceptions of the mind (dignitates) command necessary assent from inward reason, whereas hypotheses and postulates are demonstrable principles assumed without proof within a science according to the learner’s disposition.
Definitions (termini) are neither hypotheses nor postulates because they signify quidditative meaning without asserting existence or universal/particular predication.
The geometer utters no falsehood in calling a line drawn in the dust straight or one foot long, for he demonstrates neither of nor from sensible particulars, using diagrams solely as exemplars of intelligible universals.
Apodictic geometric necessity requires no Platonic separated Forms (unum extra multa), but only univocal universals existing one in many.
Book I, Lecture 42 — How One Science Is More Certain and Prior to Another: The Unit Without Position and the Point Having Position¶
Read Primary Text: English (Lib. I, lect. 42) · Latin (Lib. I, lect. 42) · Commentary
Following immediately upon his ranking of scientific certitude and priority by ontological simplicity—where arithmetic excels geometry because the unit is substance without position (unitas sine positione) whereas the point adds determinate position (punctus habens positionem, Lect. 41)—Aquinas in Lecture 42 establishes the lower boundary of scientific objects by excluding fortuitous events (a fortuna) and sensory particulars (per sensum). Chance events occur in a minority of cases (ut in paucioribus) and per accidens, whereas demonstration requires either a priori absolute necessity—characteristic of the mathematical disciplines (disciplinae), which are always true—or a posteriori conditional necessity from end and form (ut frequenter) in natural generation.
Turning to sense perception, Aquinas proves that because sensation apprehends sensible qualities inhering in a singular substance restricted to here and now (hic et nunc), it can never grasp the universal, which is always and everywhere—not positively as an eternal entity, but by way of negation or abstraction from determinate time and place. Even if we could visually perceive that a triangle has three angles equal to two right angles, or stood upon the moon observing the earth’s shadow during a lunar eclipse, we would perceive only a singular fact and still require demonstration to know the universal per se cause. Sense is nevertheless ordered to science—as illustrated by the hidden pores of transparent glass—insofar as repeated visual observations yield experience (experimentum), from which the intellect grasps the universal concerning all instances together.
Key Theses:
Completing the hierarchy of exactitude anchored in the unit without position and the point having position, mathematical disciplines possess a priori necessity, whereas natural sciences possess conditional a posteriori necessity and fortuitous events admit of no science.
A universal is always and everywhere not by positive omnipresence, but by way of abstraction from every determinate here and now, placing it beyond the reach of sense.
Even direct sensory perception that a triangle’s angles equal two right angles, or standing on the moon to watch the earth’s shadow cause an eclipse, would not yield scientia without universal causal demonstration.
Sense serves science not by constituting scientific knowledge, but by supplying singular observations from which experience and intellectual universality arise.
Book II, Lecture 20 — On the Origin of the Habit of First Principles (Intellectus) from Sense, Memory, and Experience¶
Read Primary Text: English (Lib. II, lect. 20) · Latin (Lib. II, lect. 20) · Commentary
In the crowning final lecture of the Posterior Analytics, Aquinas resolves how the first indemonstrable principles become known and by what intellectual habit they are held. Confronting the dilemma between innate Platonism (which absurdly posits hidden possession of a knowledge more certain than demonstration) and radical empiricism or skepticism (which cannot generate supreme certitude from total ignorance without pre-existing demonstrative knowledge), Aquinas traces a pre-existing cognitive power—innate sense—that is prior in the order of generation without surpassing principles in certitude. Across three grades of animal cognition, transient sensation leaves retained \ phantasms in memory, and in humans multiple memories compared by particular collative reason generate experience (experimentum). Ascending beyond particular experience, the intellect grasps the universal resting in the soul—one apart from the many in intellectual consideration, yet existing specifically in singulars—which serves as the principle of art (in things subject to generation) and of science (in necessary things such as numbers and geometrical figures), illustrated by \ Aristotle‘s famous simile of a routed army rallying soldier by soldier until a battle-line stands fast.
Crucially, Aquinas guards against sensualist reductionism: sense and memory never suffice of themselves to cause universal science unless the soul possesses both the possible intellect to receive universal intelligibles and the agent intellect to abstract universals from phantasms—enabled because sense apprehends Callias not merely as Callias, but implicitly as this man. Finally, comparing intellectual habits, Aquinas proves that because demonstration cannot regress infinitely, discursive scientia cannot know its own starting points; rather, understanding (intellectus)—the infallible habit of principles—apprehends first principles immediately and stands to them just as science as a whole stands to the entire body of demonstrated conclusions.
Key Theses:
First principles are neither innate habits hidden in the soul nor conclusions deduced from higher science, but arise genetic-epistemically from pre-existing sense.
From sensation arises memory, from repeated memories compared by particular reason arises experience (experimentum), and from experience the intellect grasps the universal resting in the soul governing numbers and figures.
Sensory induction (inductio) yields universal principles only through the abstractive illumination of the agent intellect and reception in the possible intellect, grounded in sense’s implicit grasp of the common nature in the singular.
The habit by which first indemonstrable principles are known is understanding (intellectus), the infallible principle of scientia.