TRANSLATION NOTES — Chapter 4: On the Problem of Exactitude (Part II: On Exact Figures and Relations)

1. Philological & Conceptual Analyses

1.1. Principium Individuationis and Materia Intelligibilis

• Latin: Principium individuationis in geometricis; materia intelligibilis.

• Translation: “Principle of individuation in geometric entities”; “intelligible matter.”

• Context & Scholastic Lineage: In Thomistic metaphysics, primary matter (materia prima) signed by quantity (materia quantitate signata or quantitas dimensiva) is the principle of individuation for corporeal substances (De Ente et Essentia, c. 2; ST I, q. 50, a. 2). In geometry, substance is abstracted away, leaving quantity alone. Here, continuous extension as such acts as “intelligible matter” (Aristotle, Metaphysics VII, 10, 1036a9–12: ὕλη νοητή; St. Thomas, In De Trin., q. 5, a. 3, ad 3).

• Noetic Function: Because unformed extension is perfectly homogeneous and uniform, any specific shape (form) that can be realized in one region can be repeated identically in any other region. Extension provides both:

  1. The common ground allowing multiple individuals of the same lowest species (species specialissima); and

  2. The formal diversity of site (diversitas situs), which is the sole cause of numerical distinction between congruent figures.

1.2. Situs, Positio, and Orientatio

• Latin: Situs, positio, orientatio.

• Translation: “Site”, “position”, “orientation.”

• Distinction: Hoenen introduces a precise three-way geometric distinction:

  • Situs (Site): The general Scholastic category of local determination (Aristotle’s θέσις / situs as the 7th category).

  • Positio (Position): The translation coordinates of a figure in space: where its homologous points lie.

  • Orientatio (Orientation): The rotational aspect around a point: the direction of passage through that point.

  Two congruent figures can differ in orientation alone (rotated around a common pivot point), in position alone (translated with identical direction), or in both simultaneously.

1.3. Passio Propria / Proprium

• Latin: Proprium; passio propria.

• Translation: “Proper attribute”; “proper accident.”

• Aristotelian Context: A proprium (ἴδιον) is a property that does not belong to the essential definition (quid est) of a subject, but flows necessarily and universally from its essence (Aristotle, Topics I, 5, 102a18; Posterior Analytics I, 4, 73a34–b5 on the fourth mode of per se predication, quarto modo dicendi per se). In Caput IV, Hoenen shows:

  • Mobility is a proprium of extended being as extended.

  • Direction is a proprium of linear magnitude.

  • Constant direction is the proprium of the straight line.

1.4. Iudicia Virtualia and Syllogismi Virtuales

• Latin: Iudicium virtuale; syllogismus virtualis.

• Translation: “Virtual judgment”; “virtual syllogism.”

• Epistemological Significance: In medieval and modern Scholastic epistemology (actus exercitus vs. actus signatus), a virtual judgment is an intellectual intuition of a necessary connection that actively guides, motivates, and validates the mind’s progression, even though it is not formally enunciated as an explicit proposition. Hoenen extends this concept to virtual syllogisms: the mind joins two intuitions into an immediate actual affirmation without explicitly formulating a major and minor premise.

1.5. Directio as a Primitive Notion (Modus Transeundi)

• Latin: Directio; modus transeundi per punctum.

• Translation: “Direction”; “mode of passing through a point.”

• Noetic Significance: Geometers often tried to eliminate “direction” or define it circularly via the straight line. Hoenen restores direction to its rightful status as a primitive concept directly abstracted from the phantasm: it is simply the orientation of passage through a point. Crucially:

  • Difference of length is a length (quantitative).

  • Difference of direction is not a direction; it is a qualitative deviation whose quantitative measure is an angle. Thus the angle is the quantitative measure of a qualitative cause (mensura causae qualitativae).

1.6. Dignitates, Suppositiones, and Petitiones

• Latin: Dignitates (axioms); suppositiones (hypotheses); petitiones (postulates).

• Greek: ἀξιώματα, ὑποθέσεις, αἰτήματα.

• Source: Aristotle, Posterior Analytics I, 2 & 10 (76b23–28); St. Thomas, In Post. Anal. I, lect. 19.

• Classification:

  • Dignitas (Axiom): A principle that is not only true in itself, but must seem true to anyone (necesse est videri quod per se sit verum), immediate and self-evident to the learner.

  • Suppositio (Hypothesis): A demonstrable proposition assumed by the teacher without proof, which is acceptable (probabilis) to the learner.

  • Petitio (Postulate): A proposition assumed without proof that the learner does not find immediately evident, which must be requested (petitur) from him.

  Hoenen proves that Euclid’s Postulates I–V are genuine petitiones (they require pre-geometric justification via noetic analysis of intelligible extension), whereas modern logicians mistakenly demand that they be self-evident dignitates.

1.7. Termini Transcendentes

• Latin: Termini transcendentes.

• Translation: “Transcendent terms” (formal/schematic symbols).

• Source: St. Albert the Great, In Anal. Prior. I, tract. I, cap. 9 (ed. Jammy, 1651, I, p. 298a); Pseudo-Thomas, Summa totius logicae, tract. VII, cap. 2 & 6.

• Meaning: In medieval logic, termini transcendentes refers to schematic letters (\(A, B, C; S, M, P\)) that “signify nothing and everything”: they abstract from all determinate material content and preserve purely formal consequence (consequentia formalis).

---

2. Historical, Intertextual & Bibliographical Context

2.1. Bertrand Russell on Motion and Euclid I.4

• Source: Bertrand Russell, Principles of Mathematics (Cambridge: Cambridge University Press, 1903, §§ 390–391, pp. 405–407).

• The Charge: Russell attacked Euclid’s fourth proposition (Side-Angle-Side congruence):

  “It has no logical validity, and strikes every intelligent child as a juggle… to speak of motion implies that our triangles are not spatial but material. For a point of space is a position, and can no more change its position than the leopard can change its spots.”

• Hoenen’s Philological & Epistemological Counter-Critique:

  1. The Fallacy of Reified Space: Russell confuses ens reale extensum with Newtonian spatium imaginarium (an empty, static container). Points are not rigid pegs in nothingness; they are boundaries of extended parts.

  2. Mobility as a Proprium: Mobility is a strict property of extension as such. Translation in geometry represents the capacity of homogeneous extension to receive the identical form in another site.

  3. Static Determination: Hoenen proves Euclid’s theorem entirely without physical motion: by the principle of individuation, from point \(D\), direction \(DE\), angle \(D\), and side \(DF\), a unique triangle \(DEF\) is determined identically congruent to \(ABC\).

  4. Euclid’s Greek Vocabulary: Euclid’s terms (ἐφαρμοζομένου, τιθεμένου) do not require physical dragging, but denote the static instantiation of congruent elements in the new site.

2.2. Henri Poincaré on Rigid Bodies and Geometry

• Source: Henri Poincaré, La Science et l’Hypothèse (Paris: Flammarion, 1902, p. 80).

• The Thesis: “Si donc il n’y avait pas de corps solides dans la nature, il n’y aurait pas de géométrie.” (“If, therefore, there were no rigid bodies in nature, there would be no geometry.”)

• Hoenen’s Counter-Critique: Poincaré reduces geometric necessity to empirical physics. Geometry does not require physically inelastic solids or steel rods; it requires only the passive intelligibility of continuous extension, which remains identical across all regions. Even in a universe composed entirely of viscous fluids or gases, the intelligible matter of extension would retain the capacity to receive congruent figures.

2.3. Hermann von Helmholtz and Wilhelm Killing on Direction

• Sources:

  • Hermann von Helmholtz, Schriften zur Erkenntnistheorie (ed. Hertz and Schlick, Berlin: Springer, 1921, p. 141).

  • Wilhelm Killing, Einführung in die Grundlagen der Geometrie (Paderborn: Schöningh, 1893, I, § 3).

• The Objections:

  • Helmholtz: Claimed that defining the straight line by direction is a vicious circle, because direction can only be defined by the straight line.

  • Killing: Argued that Leibniz’s definition of parallels by equal direction relative to a transversal presupposes the parallel postulate, because one cannot know whether lines making equal angles with one transversal make equal angles with all transversals.

• Hoenen’s Resolution: Direction is abstracted directly from any line passing through a point as its infinitesimal mode of passage. The straight line is defined as a line of constant direction (directio constans). Because the plane is the principle of individuation, the angular deviation between directions is uniform throughout the entire plane, resolving Killing’s objection.

2.4. Felix Hausdorff and Non-Euclidean Geometry

• Source: Felix Hausdorff, Das Raumproblem (Leipzig, 1904, p. 3).

• The Assertion: Hausdorff asserted that mathematics can dismiss unexamined (ungeprüft ad acta legen) any philosophical attempt to deduce Euclidean space as a thought-necessity.

• Hoenen’s Contextual Clarification: Hoenen does not attempt to prove Postulate V from the other axioms alone, nor does he claim it is an immediately self-evident dignitas. Instead, he establishes that Euclidean geometry is the unique geometry of uncurved extension as such, while non-Euclidean geometries are valid formal systems representing intrinsically curved submanifolds (such as Beltrami’s pseudosphere) immersed in higher Euclidean space.

2.5. Bertrand Russell on Euclid I.1 (The Equilateral Triangle)

• Source: Bertrand Russell, Principles of Mathematics (1903, pp. 404–405).

• The Critique: Russell charged that Euclid’s first proposition fails logically because Euclid assumes without proof that two circles drawn on base \(AB\) intersect at point \(C\).

• Hoenen’s Epistemological Vindicating Analysis: Euclid solves the problem of exactitude by an indirect construction: describing two circles with radius \(AB\) guarantees by definition that \(AC = AB\) and \(BC = BA\). The intersection of the two circles is an immediate intuitive connection of continuous extension (Verknüpfung): because the distance between centers is less than \(2r\), the continuous circumferences must intersect.

---

3. Scholarly Apparatus & Citation Synchronizations

3.1. Footnote Verification

In the Latin source docs/caput-4.md, 31 numbered footnotes are present, along with an unnumbered note marked [^note] on Euclid Prop. I.1.

• In docs/caput-4-en.md, all 31 numbered footnotes are preserved with their exact numbering matching the 1954 printed edition, and the note on Euclid I.1 has been retained as [^note] with the full Latin and English text of Heiberg’s edition.

• All Greek citations from Aristotle (Physics, De Anima), Geminus, Proclus, and Euclid have been verified, transliterated, and provided with precise English translations.

3.2. Greek Epistemological Glossary for Caput IV

Greek Term	Transliteration	Latin Equivalent	English Translation & Context
ἀξίωμα	axiōma	dignitas	Axiom; a self-evident first principle (Post. Anal. I, 2).
ὑπόθεσις	hypothesis	suppositio	Hypothesis; a demonstrable proposition assumed without proof by agreement.
αἴτημα	aitēma	petitio	Postulate; a proposition assumed without proof requesting the learner’s assent.
ὕλη νοητή	hylē noētē	materia intelligibilis	Intelligible matter; quantitative continuous extension (Metaph. VII, 10).
θέσις	thesis	positio / situs	Position or site; the seventh Aristotelian category.
ἴδιον	idion	proprium / passio propria	Proper attribute flowing necessarily from a subject’s essence (Topics I, 5).
ἐφαρμόζειν	epharmozein	congruere / superponere	To coincide or superpose in Euclid’s congruence propositions.