TRANSLATION NOTES — Chapter 5: On Axiomatics¶
1. Philological & Conceptual Analyses¶
1.1. Dispositio Rei and Sachverhalt (State of Affairs)¶
Latin: Dispositio rei.
German Equivalent: Sachverhalt.
English Translation: “Disposition of the thing” / “state of affairs.”
Context: In Footnote 4 (referencing his earlier work Théorie du jugement, 1946/1953, Ch. II, § 5), Hoenen connects St. Thomas Aquinas’s phrase dispositio rei (In IX Metaph., lect. 11; ST I, q. 16, a. 1–2) to the modern phenomenological and logical concept of Sachverhalt (developed by Alexius Meinong, Edmund Husserl, and Ludwig Wittgenstein).
Noetic Significance: The judgment is not merely an association of subjective concepts; it is an intentional assertion conforming to an objective state of affairs in reality. The deductive syllogism intuits that from two objective states of affairs, a third necessarily obtains.
1.2. Actus Exercitus vs. Actus Signatus¶
Latin: Actus exercitus; actus signatus.
Translation: “Act in exercise” (exercised act) vs. “act in sign” (signified/explicit act).
Scholastic Background: A foundational distinction in medieval logic (Peter of Spain, Cajetan, John of St. Thomas):
Actus exercitus: The vital execution of an operation in act, without formal reflection upon the rule governing it (e.g., when a person reasons correctly in Barbara without knowing formal syllogistic figures).
Actus signatus: The reflexive, formal enunciation of the rule or structure itself (e.g., formulating the major premise “Every \(B\) is \(A\)”).
Application in Caput V: Hoenen proves that when a mathematician solves an equation or a logistician performs a substitution, the mind is guided in actu exercito by a mental syllogism of type Barbara. The epistemologist does not artificially impose this syllogism; he merely brings it from actus exercitus into actus signatus.
1.3. Logica Utens vs. Logica Docens¶
Latin: Logica utens (logic in use); logica docens (taught/theoretical logic).
Source: St. Thomas, In IV Metaph., lect. 4, no. 577; In Boeth. de Trin., q. 6, a. 1.
Meaning:
Logica utens: Natural logic concretely embedded in the subject matter of an actual science; the living form of demonstrative discourse.
Logica docens: The theoretical science of logic that abstracts from all material content and treats of the formal rules of consequence in the abstract.
Hoenen’s Insight: Theoretical logic is not a set of extrinsic decrees imposed upon thought; it is the reflexive codification of the vital laws of natural logic (logica utens), which in turn are grounded in the intelligible structures of being (Denkgesetze sind Gesetze des Gedachten, Alois Riehl).
1.4. Species Individua / Species Specialissima¶
Latin: Species individua; species specialissima.
Translation: “Individual species” / “lowest species.”
Context: In Aristotelian-Scholastic logic (Porphyry’s Isagoge), the species specialissima is the infima species below which there are no further specific differences, but only numerically distinct individuals.
Application: In algebraic and logistic operations, the intermediate propositions (such as the minor premise verifying that \(ax^2 - bx - c = 0\) results from transposing terms in \(ax^2 = bx + c\)) are universal propositions within an individual species: they hold universally for any instance of that exact syntactic equation.
1.5. Appellatio ad Phantasma in Formal Logistics¶
Latin: Appellatio ad phantasma (“appeal to the phantasm”).
Noetic Significance: Formalists claim that symbolic logic operates independently of all sensory intuition (ohne Anschauung). Hoenen shows that even the most abstract logistic derivation relies upon a continuous appeal to the spatial phantasm: namely, the visual inspection of written characters arranged in linear order on paper.
2. Historical, Intertextual & Bibliographical Context¶
2.1. The Hoenen–Freudenthal Controversy (Gregorianum, 1951)¶
Source: Hans Freudenthal, “Zur Noetik der Geometrie”, Gregorianum 32 (1951), pp. 425–433; and Petrus Hoenen, “Responsum ad animadversiones clmi. H. Freudenthal”, ibid., pp. 434–442.
Freudenthal’s Proposal (“Semi-Axiomatics”): Freudenthal argued that geometric intuition belongs strictly to an initial “pre-geometry” (praegeometria). There, the geometer abstracts axioms from physical reality. But once the axioms are established, all further appeal to intuition must be banished.
Hoenen’s Refutation: Hoenen shows that semi-axiomatics is impossible both practically and theoretically:
Practically: A purely formal deduction without intuition generates an unmanageable explosion of syntactic verbosity surpassing human mental capacity (e.g., Hilbert’s two-page proof of the order of four points).
Theoretically: The geometer cannot even understand the formal axioms of order and connection without inspecting the linear, spatial arrangement of symbols on paper. Semi-axiomatics merely turns conscious intellective abstraction into unacknowledged, tacit assumption.
2.2. David Hilbert’s Grundlagen der Geometrie and Theorem 6¶
Source: David Hilbert, Grundlagen der Geometrie (Leipzig: Teubner, 1899; 7th ed. 1930, pp. 8–9).
The Textual Analysis: In Theorem 6, Hilbert claims to establish the linear order of \(n\) points on a straight line purely from axioms of order. Hoenen reveals that Hilbert cannot even state the theorem without using intuitive concepts: “einerseits” (“on the one hand”), “andererseits” (“on the other hand”), and “die umgekehrte” (“the inverse arrangement”).
Hoenen’s Discovery: The relation “between” (\(B\) lies between \(A\) on the one hand and \(C, D, E\) on the other) is explained by Hilbert with a linear horizontal diagram of dots and letters (\(A - B - C - D - E - K\)). The meaning of “on the one hand” and “on the other hand” is purely spatial and geometric. Hilbert does not eliminate spatial intuition; he smuggles it into logic itself.
2.3. Bertrand Russell, Logistics, and Principia Mathematica (*2.01)¶
Source: Bertrand Russell and Alfred North Whitehead, Principia Mathematica (Cambridge: Cambridge University Press, Vol. I, 1910, p. 100).
The Textual Critique: Hoenen analyzes the very first proof in Principia Mathematica, theorem *2.01:
\[\vdash : p \supset \sim p . \supset . \sim p\]The proof consists in substituting \(\sim p\) for \(p\) in axiom *1.2:
\[p \lor p . \supset . p\]yielding:
\[\sim p \lor \sim p . \supset . \sim p\]Hoenen’s Discovery: The general rule gives only the abstract permission to substitute. The actual resulting formula is obtained by physically manipulating and visually inspecting symbols in space. The mental act affirming the validity of the step is a syllogism of type Barbara. Russell and Whitehead cannot advance a single step in formal logistics without employing the very syllogism they ridiculed as sterile.
2.4. G. H. Hardy on Formal Proof (Mind, 1929)¶
Source: G. H. Hardy, “Mathematical Proof”, Mind, Vol. 38, No. 149 (1929), pp. 1–25.
Hardy’s Insight: Hardy noted that he believed the Prime Number Theorem because of analytical proof, but did not believe \(2 + 2 = 4\) because of the 300-page proof in Principia Mathematica. Formal logistic deduction does not generate conviction for elementary truths; intuition does.
Invariance of Mathematical Reality: Hardy pointed out that whether Hilbert writes mathematics in pencil or Hardy in red ink, it is identical mathematics. Hoenen uses this to demonstrate formal abstraction: the intellect isolates the essential relation from the accidental material medium.
2.5. John Locke and Natural Reason¶
Source: John Locke, An Essay Concerning Human Understanding (1690), Book IV, ch. 17, § 4:
“God has not been so sparing to men to make them barely two-legged creatures, and left it to Aristotle to make them rational.”
Hoenen’s Assessment: Hoenen agrees that man reasons naturally before studying logic (logica utens), but shows that Aristotle did not invent logic as an artificial straightjacket; he discovered the natural laws of the rational intellect.
3. Technical Glossary for Caput V¶
Latin / German Term |
English Rendering |
Philological & Conceptual Definition |
|---|---|---|
|
disposition of the thing / state of affairs |
The objective configuration of reality to which true judgment intentionally conforms (In IX Metaph., lect. 11). |
|
exercised act |
The vital execution of an operation in act, without reflexive conceptualization. |
|
signified act |
The explicit, formal formulation of an operative rule or principle. |
|
logic in use |
Natural logic concretely embedded in the living practice of a science. |
|
taught / theoretical logic |
The reflexive science of logical rules abstracted from material content. |
|
lowest species |
The infima species containing individuals that differ only numerically. |
|
appeal to the phantasm |
The continuous reliance of the intellect upon sensory images, verified in logistics via written typographic symbols. |
|
semi-axiomatics |
Hans Freudenthal’s proposed division: intuition allowed in pre-geometry, banished from axiomatic deduction. |
|
game with symbols |
Formalism severed from noetics, reducing mathematics to uninterpreted token manipulation. |