TRANSLATION NOTES — Chapter 3: On the Problem of Exactitude (Part I: On the Existence of Indivisibles)

1. Philological & Conceptual Analyses

1.1. Limes (Boundary / Limit)

• Latin: Limes (plural: limites).

• Translation: “Boundary” or “limit.”

• Epistemological Significance: In Hoenen’s deduction of indivisibles, limes does not designate an asymptotic limit of a numerical sequence (such as Cauchy’s or Weierstrass’s \(\epsilon\)-\(\delta\) calculus); rather, it designates the physical or intelligible boundary of an extended continuum through which transition from one part to another occurs.

1.2. Inter Partes vs. Iuxta Partes

• Latin: Inter partes (between parts) vs. iuxta partes (alongside/along the parts).

• Noetic Significance: The pivotal distinction in Hoenen’s deduction of indivisibles:

  • Iuxta partes: Along the parts, the boundary shares the extension of the parts (e.g., the boundary of a solid is extended in two dimensions).

  • Inter partes: Between the parts, the boundary is strictly indivisible (zero depth), because if it had thickness, it would constitute an intermediate third part rather than a boundary between two parts.

1.3. Indivisibile Positionem Habens (Point vs. Unit)

• Latin: Indivisibile positionem habens (“an indivisible possessing position”).

• Aristotelian Source: Posterior Analytics I, 27 (87a36); Metaphysics V (Δ), 6 (1016b24–31):

  \[\text{μονὰς μὲν ἄθετος, στιγμὴ δὲ θετή}\]

  (“a unit is without position, but a point has position”).

• Translational Context: Hoenen preserves this classical distinction between arithmetic and geometry: both the arithmetic unit (unitas) and the geometric point (punctum) are indivisibles, but the point is differentiated by having continuous local determination (positio / θέσις) within extension.

1.4. Materia Causae (Matter of the Cause)

• Latin: Materia causae.

• Source: St. Thomas Aquinas, Summa Theologiae I, q. 84, a. 6:

  « Cognitio sensitiva non est tota et perfecta causa intellectualis cognitionis, sed magis quodammodo est materia causae. » (“Sensory cognition is not the total and perfect cause of intellectual cognition, but rather in a certain manner the matter of the cause.”)

• Translational Nuance: The sensory phantasm provides the raw experiential material upon which the intellect operates, but the intellect’s grasp of exact indivisible boundaries transcends the inexactitude of the phantasm.

1.5. Minimum Visibile and Limen Exactitudinis

• Latin: Minimum visibile; limen exactitudinis.

• Translational Context:

  • Minimum visibile: The smallest sensible patch perceptible by human vision. J. S. Mill erroneously identified this with the mathematical point.

  • Limen exactitudinis: The threshold of exactitude. Corresponds to Felix Klein’s German concept Schwellenwert der Genauigkeit.

1.6. Infinitum Pertransiri Nequit

• Latin: Infinitum pertransiri nequit (“The infinite cannot be traversed”).

• Scholastic Axiom: Rooted in Aristotle, Physics III, 6 (206a9) and VI, 7 (238a20); St. Thomas, ST I, q. 7, a. 3.

• Application: Hoenen invokes this classical axiom to demonstrate that a kinematic point generating \(y = x \sin(1/x)\) cannot traverse an actual infinity of oscillations in finite time to reach the origin, vindicating geometric intuition against pathological non-differentiable curves.

1.7. In Potentia vs. In Actu in the Continuum

• Latin: In potentia (in potency) vs. in actu (in act).

• Thomistic Ontology: In undivided continuous extension, boundaries and points do not pre-exist as an already completed, actualized infinity of discrete entities. They exist in potency, and are brought into act through physical or intellective division.

---

2. Historical, Intertextual & Bibliographical Context

2.1. Euclid’s Definition 1 and Heiberg’s Critical Edition

• Greek Text: σημεῖόν ἐστιν οὗ μέρος οὐθέν (sēmeion estin hou meros outhen).

• Latin Translation: Punctum est, cuius pars non est (Campanus / Heiberg).

• Scholarly Context: Hoenen cites J. L. Heiberg’s critical edition of Euclid’s Elementa (Leipzig: Teubner, 1883–1888), highlighting that Euclid defines the point negatively (having no parts), while Aristotle defines it positively as a boundary with position (indivisibile positionem habens).

2.2. Proclus and Protagoras on Tangency

• Source: Proclus Lycius, In primum Euclidis Elementorum librum commentarii (ed. G. Friedlein, Leipzig: Teubner, 1873, p. 199).

• Historical Dispute: Proclus cites the ancient sophist Protagoras, who argued against geometers that a physical ruler never touches a circle at a single point, but along a segment. Proclus used this sensory inexactitude to reject Aristotelian abstraction in favor of Platonic innate ideas. Hoenen notes that Proclus failed to distinguish between the sensory phantasm and the intellect’s grasp of the boundary.

2.3. John Stuart Mill’s Sensationalism in A System of Logic

• Source: John Stuart Mill, A System of Logic, Ratiocinative and Inductive (London, 1843; 8th ed. 1872, Book II, ch. 5, § 1).

• Textual Analysis: Mill claimed that points without parts and lines without breadth are physically impossible and “wholly inconceivable.” Hoenen shows that Mill’s sensationalism conflates imagination (which cannot imagine a 0-width line) with intellect (which easily conceives an indivisible transition between two parts).

2.4. J. Wellstein and the Grenzprozeß in the Weber-Wellstein Enzyklopädie

• Source: J. Wellstein, in H. Weber and J. Wellstein, Enzyklopädie der Elementarmathematik, Band II: Elemente der Geometrie (Leipzig: Teubner, 1905; 4th/5th ed. 1925, p. 7).

• The Voluntaristic Postulate: Wellstein argued that attempting to reach a point by imagining a shrinking grain of sand (Grenzprozeß) plunges consciousness into sensory darkness at the perceptual threshold; therefore, Euclid’s point must be postulated by an arbitrary act of will (ein reiner Akt des Willens). Hoenen shows that Wellstein looked in the wrong place: points are found not by shrinking volumes to zero, but by dividing continuous extension into boundaries.

2.5. Aurel Voss and Unilateral Surfaces

• Source: Aurel Voss, “Die Beziehungen der Mathematik zur allgemeinen Kultur” (Leipzig: Teubner, 1908); and Louis Couturat, Les principes des mathématiques (Paris, 1905).

• Context: Couturat and Wellstein objected that a surface cannot be defined as the boundary of a solid because unilateral surfaces (such as the Möbius strip) do not bound solids. Hoenen uses Voss’s mathematical work to show that every local surface element functions as an indivisible boundary, and further demonstrates that physical Möbius strips are 3D solids bounded by two distinct surfaces.

2.6. Henri Poincaré on Nowhere-Differentiable Functions

• Source: Henri Poincaré, La valeur de la science (Paris: Flammarion, 1905, ch. 1).

• Context: Poincaré argued that geometric intuition had been discredited by Karl Weierstrass’s discovery of continuous functions nowhere differentiable, and curves like \(y = x \sin(1/x)\) at \(x = 0\). Hoenen provides a kinematic analysis showing that such curves cannot be traversed continuously across the origin.

2.7. The Continuum: Aristotle vs. Georg Cantor and Bertrand Russell

• Sources: Georg Cantor, Grundlagen einer allgemeinen Mannigfaltigkeitslehre (Leipzig, 1883); Bertrand Russell, Principles of Mathematics (Cambridge, 1903, ch. 36).

• Context: Modern set theory views a continuous line as an actual infinity of points (\(\aleph_1\) or \(2^{\aleph_0}\)). Hoenen demonstrates that regarding the continuum as composed of points leads to antinomies, defending the Aristotelian doctrine that points are potential boundaries actualized by division.

---

3. Technical Glossary for Caput III

Term	Language	Meaning & Philological Significance
σημεῖόν ἐστιν οὗ μέρος οὐθέν	Greek	Euclid’s Definition 1: “A point is that which has no parts.”
indivisibile positionem habens	Latin	Aristotle’s definition of a point (Post. Anal. I, 27; Metaph. V, 6): an indivisible possessing position, distinguishing it from the arithmetic unit (monas).
limes	Latin	Boundary or limit; that through which transition from one part of an extension to another occurs.
``inter partes`` vs. ``iuxta partes``	Latin	Distinction: between parts, the boundary is indivisible (0-depth); alongside parts, the boundary is extended.
materia causae	Latin	Thomistic formula (ST I, q. 84, a. 6): sensible data provide the matter, but not the total cause, of intellectual knowledge.
Grenzprozeß	German	Limiting process; Wellstein’s attempt to derive a point by imagining a shrinking grain of sand.
ein reiner Akt des Willens	German	“A pure act of the will”; Wellstein’s characterization of postulating mathematical points.
minimum visibile	Latin	The smallest sensible patch perceptible by vision; confused by J. S. Mill with the mathematical point.
infinitum pertransiri nequit	Latin	Scholastic axiom: “The infinite cannot be traversed,” applied by Hoenen to kinematic curves.
folium Moebii	Latin	The Möbius strip, analyzed as a 3D solid bounded by two distinct surfaces.
ens extensum ut extensum	Latin	Extended being precisely as extended; the primary datum of geometry.