TRANSLATION NOTES — Chapter 1: On the Origin of Geometric Knowledge and Its Problematics¶
1. Translation Criteria and Apparatus Standards¶
The translation of Chapter 1 addresses several critical philological and interpretive challenges in Hoenen’s text:
Restoration of Aristotelian Citations: Remediation of ancient Greek Bekker pagination and chapter divisions that were corrupted in optical transcription into false Markdown footnote links.
Scholastic & Greek Epistemological Precision: Rigorous rendering of Greek technical vocabulary (ἐπιστήμη, νοῦς, ἀξιώματα, ὑποθέσεις, αἰτήματα) and Thomistic terms (logica iudicativa, intellectus agens, extensum ut extensum).
Apparatus & Citation Expansion: Verification and translation of Latin, German, French, and Italian citations (David Hilbert, Felix Klein, Henri Poincaré, Eduard Study, Albert Einstein).
Mechanical Remediation: Healing of unstitched page-break and margin hyphenation fragments.
2. Critical Defect Remediations¶
Note
For reference and comparative benchmarking, the earlier unedited raw translation is preserved at Model 3.1 Translation (caput-1-en-3.1.md).
2.1. The “Aristotle Bekker Citation” Hallucination¶
In § 2 (p. 11 of the 1954 edition), Hoenen cites Aristotle’s Posterior Analytics and De Anima. The physical text contained citations with numbers such as Book I, chapter 12, Bekker line 77b30:
Because automated transcription scripts wrapped naked digits in brackets, the raw source text contained:
Anal. Post. I [^12], 77 b [^30] and De An. III [^8] and ibid. III [^7].
Model 3.1 Behavior: Blindly copied these bracketed numbers directly into the English translation:
“the mind indeed inspects natures by mental intuition (Anal. Post. I ``[^12]``, 77 b ``[^30]``): … Cf. De An. III ``[^8]``, 432 a 5-9 … ibid. III ``[^7]``, 431a 14-16”
In a Markdown viewer, clicking on Aristotle’s Chapter 12 or line 30 jumped the reader down to Footnote 12 (Poincaré on arithmetization) and Footnote 8 (Felix Klein on precision thresholds).
Benchmark Remediation: Correctly identified the Bekker pagination and chapter divisions of the Aristotelian corpus, removed the false footnote markers, and formatted the citations cleanly:
“…the intellect directly inspects natures through mental intuition (Anal. Post. I, 12, 77b30): ‘these things are, as it were, to see by intellection’ (ταῦτα δ’ ἐστὶν οἷον ὁρᾶν τῇ νοήσει). Cf. De Anima III, 8, 432a5–9 … ibid. III, 7, 431a14–16”
2.2. Footnote 22 Remediation¶
At the end of § 4, Hoenen quotes Henri Poincaré’s La valeur de la science, citing pages 22–23 (pagg. 22 sq.). Because of a line split in transcription, (pagg. was separated from [^22]: sq.).
Model 3.1: Allowed a phantom
[^22]footnote anchor to linger between Footnote 10 and Footnote 11.Benchmark Remediation: Rejoined the page citation into the body of Footnote 10:
(pp. 22 sq.), restoring the footnote numbering to an unbroken sequence from 1 to 14.
2.3. Gutter and Margin Dehyphenation¶
Model 3.1 left several split fragments unmerged:
Unum / nunc afferimus(pp. 10–11)non prop- / ter theoriam(pp. 12–13)« insieme » omnium / proportionum(pp. 16–17)” arithmetizare ” conati / sunt(pp. 19–20)
All of these were smoothly unified into continuous prose in the final edition.
3. Side-by-Side Thematic Comparison¶
Section & Theme |
Model 3.1 Translation |
Benchmark Translation |
Scholarly & Epistemological Rationale |
|---|---|---|---|
§ 1: Episteme vs. Nous
|
These principally treat of “science” in the strict sense (ἐπιστήμη) which constructs apodictic demonstrations, which is contradistinguished from “intellect” in the proper sense (νοῦς) which regards the first principles… |
These treat principally of “science” in the strict sense (episteme, ἐπιστήμη), which constructs apodictic demonstrations, and which is distinguished from “intellect” or intuitive understanding in the proper sense (nous, νοῦς), which apprehends the first principles… |
Provides both the Greek script and standard philosophical transliteration, clarifying nous as “intuitive understanding” to prevent confusion with generic intellect. |
§ 1: Judicative Logic
|
Whence the process of “judicative logic” by itself leads to the problem: whence arises in the human mind itself the certain knowledge of principles… |
Whence the process of “judicative logic” leads by its very nature to the fundamental problem: whence arises in the human mind certain knowledge of principles, and whence is obtained certain knowledge of their necessity? |
Emphasizes Hoenen’s central epistemological category: logica iudicativa (the logic of judgment, truth, and intentionality) as opposed to purely formal syllogistics. |
§ 1: Eliciting Judgments as Specimens
|
…it is not enough that we premise a certain general definition of judgment and resolve it; but indeed certain determinate judgments must be elicited (they must therefore arise in our mind) and these judgments must be considered… |
…it is not sufficient to posit a general definition of judgment and analyze it abstractly; rather, certain determinate, concrete judgments must be actively elicited (they must arise in our living consciousness) and their origin and validity must be critically inspected. |
Hoenen is making a phenomenological point: epistemology cannot proceed by armchair definition; the philosopher must actively perform a geometric judgment to observe how the mind grasps necessary connections. |
§ 2: Objects of Abstraction
|
Aristotle held that “mathematicals” (τὰ ἐξ ἀφαιρέσεως) are had by abstraction from sensitive data… |
Aristotle maintained that “mathematicals” (τὰ ἐξ ἀφαιρέσεως, objects of abstraction) are acquired by abstraction from sensitive data… |
Clarifies Aristotle’s technical Greek idiom: τὰ ἐξ ἀφαιρέσεως literally means “things resulting from abstraction.” |
§ 3: Threshold of Exactitude
|
For all sensitive cognition there is a “threshold of exactitude” which the senses cannot cross over. |
For all sensory cognition, there exists a finite threshold of exactitude (limen exactitudinis) that the senses cannot transcend. |
Connects directly with Felix Klein’s technical mathematical term Schwellenwert der Genauigkeit. |
§ 3: Einstein’s Dilemma
|
“in so far as the propositions of mathematics refer to reality, they are not certain, and in so far as they are certain, they do not refer to reality.” |
“Insofar as the propositions of mathematics refer to reality, they are not certain; and insofar as they are certain, they do not refer to reality.” |
Quotation from Einstein’s celebrated address to the Prussian Academy of Sciences (1921). Hoenen’s wry gloss on “\(2 \times 2 = 4\)” is given its full satirical bite. |
§ 4: Ratios vs. Real Numbers
|
…just as the Greeks had a “continuum of proportions” which is the “ensemble” of all proportions… so the moderns have a continuum of numbers, the “ensemble” of “real numbers”… |
…just as the Greeks had a “continuum of ratios” (an ensemble of all continuous proportions), so the moderns developed the continuum of real numbers: an ensemble containing not only integers and fractions, but also irrational numbers… |
Hoenen uses Italian insieme (set/ensemble), reflecting his Roman academic milieu. Antigravity translates this as “ensemble/set” and specifies the mathematical domain. |
§ 6: Hilbert’s Formalism
|
We think of three different systems of things: the things of the f i r s t system we call points… |
We think of three different systems of things: the things of the first system we call points and designate them by letters :math:`A, B, C, dots`… |
Formats mathematical variables with clean KaTeX notation (\(A, B, C, \dots\); \(a, b, c, \dots\); \(\alpha, \beta, \gamma, \dots\)) instead of raw typewriter spacing. |
4. Historical & Contextual Commentary¶
4.1. Aristotle’s Posterior Analytics and the Foundations of Geometry¶
In § 1, Hoenen argues that Aristotle used geometry not merely as one convenient example among many, but as the paradigmatic type of demonstrative science. The distinction between an axiom (ἀξίωμα, a proposition whose truth is immediately evident to anyone who understands the terms) and a postulate (αἴτημα, a proposition not self-evident which must be assumed on trust or demonstrated by a higher science) is the historical foundation of all subsequent axiomatic debates.
4.2. The Intellectus Agens and Mathematical Intuition¶
In § 2, Hoenen stakes out his Thomistic position against both Kantian subjectivism and modern formalist nominalism. For Hoenen, mathematical abstraction is not a passive sensory registration, nor an imposition of a subjective mental form (Kant), but an active intellective penetration:
The mind “sees through intellection” (ὁρᾶν τῇ νοήσει) the necessary relations embedded in the quantitative essence of the phantasm.
4.3. The Arithmetization of the Continuum (Klein, Poincaré, Hölder)¶
In § 4, Hoenen addresses the late 19th-century movement led by Weierstrass, Dedekind, and Cantor to eliminate spatial intuition from mathematics in favor of purely arithmetic set theory. Hoenen shows profound sympathy with Poincaré’s lament that purely arithmetic definitions “strip the continuum of its intuitive richness.” Hoenen presciently notes that while arithmetization is formally legitimate, it cannot solve the philosophical problem of how mathematics relates to real physical space.
4.4. Axiomatics and the Problem of Mathematical Existence¶
In § 6, Hoenen evaluates David Hilbert’s formal axiomatization. Hoenen does not dismiss Hilbert; on the contrary, he praises axiomatics for its ability to isolate the minimal independent premises of a theorem and to demonstrate consistency. However, Hoenen insists that formal consistency is only a negative criterion of truth; it does not replace the intellect’s grasp of objective essences. He points toward the Thomistic theory of possibilia (beings whose notes contain no internal contradiction) as the proper ontological home for modern non-Euclidean spaces.