hoenen

Chapter 1 Summary and Outline: On the Origin of Geometric Knowledge and its Problematics

Key Arguments of Peter Hoenen

Peter Hoenen’s primary argument in Chapter 1 is that the classical philosophical foundations of geometry—specifically the Aristotelian-Thomistic view that mathematical knowledge originates from sensory data and intellective intuition—face profound challenges from modern mathematical theories.

The two fundamental problems Hoenen identifies are:

1. Necessity: How can absolutely necessary mathematical judgments arise from sensory data, which are inherently contingent?
2. Exactitude: How can geometry claim perfect, infinite exactitude when human senses and imagination have a finite “threshold of exactitude”?

According to Hoenen, modern mathematics attempted to bypass the problem of exactitude through three main avenues:

• Arithmetization of the Continuum: Replacing the intuitive, sensory continuum with purely numerical (arithmetic) analysis.
• Critique of Euclid’s 5th Postulate: Developing non-Euclidean geometries that reveal classical geometry is not the only logically consistent system.
• Axiomatics: Reducing geometry to a purely formal hypothetico-deductive system (like Hilbert’s) where the meaning and evidence of axioms are irrelevant, focusing entirely on logical consistency.

While acknowledging the logical brilliance of these modern methods, Hoenen argues they are philosophically incomplete because they fail to explain how mathematics applies to the real world (the objective extension) and they mistakenly abandon the rich, intuitive origins of geometric concepts. His goal is to investigate how to solve these modern “crises” by returning to examine the first principles of geometry through the lens of philosophy, establishing a theory of knowledge that bridges the gap between inexact sensory perception and exact, necessary geometric science.

---

Chapter 1 Outline

§ 1. On the Proper Place of this Investigation in Philosophy

• Aristotelian Epistemology: Examines the distinction in Aristotle’s Analytics between demonstrative “science” and the “intellect” of first principles.
• Geometry as the Archetype: Notes that geometry, highly developed by Euclid and the Platonic school, served as Aristotle’s model for an apodictic (certain and necessary) science.
• The Role of Philosophy: Asserts that determining and validating the “first principles” (axioms and postulates) of geometry is the task of philosophy (specifically epistemology/noetics), not the mathematical geometer.
• Specimens for Judgment: Studying mathematical principles provides the best concrete examples for constructing a universal theory of human judgment.

§ 2. On the Origin of Mathematical Notions

• The Classical View: Historically, everyone agreed that mathematical knowledge is ultimately drawn from the data of sensibility (senses and imagination).
  • Aristotle: “Mathematicals” are abstracted from sensible data via the agent intellect observing natures.
• Empiricism’s Shift: In the 19th century, Empiricists (like Stuart Mill) equated mathematical knowledge to physical knowledge, denying its absolute necessity and exactitude.
• The Modern Crisis: Modern theories reject the classical views entirely, creating an urgent need for the epistemologist to defend the necessity and exactitude of mathematics against total abstraction.

§ 3. The Twofold Fundamental Problem

• The Problem of Necessity: Senses report contingent facts; how do universally necessary mathematical judgments arise from them? (Applies to both arithmetic and geometry).
• The Problem of Exactitude: Senses and imagination have an inexact “threshold” (e.g., they cannot perceive a truly widthless line), yet geometry makes absolutely exact claims. (Specific only to geometry).
• Modern Consequences: Some modern thinkers (like Einstein) conclude that if mathematics refers to reality, it cannot be absolutely certain, and if it is certain, it does not refer to real physical properties.

§ 4. On the Arithmetization of the Continuum

• From Intuition to Analysis: The Greeks deduced math from the intuitive, spatial continuum. Modern mathematics shifted to a continuum of discrete “real numbers”.
• Fleeing Inexactitude: Because sensory perception of the continuum is inexact, mathematicians (Klein, Poincaré) tried to deduce geometry purely from the logically exact arithmetic series of integers.
• Philosophical Deficit: While arithmetization is mathematically valid, Hoenen argues it “cannot satisfy the philosopher” because it ignores the natural intuitive origins of the spatial continuum and struggles to explain its application to physical extensions.

§ 5. On the Critique of Euclid’s V Postulate

• The Unique Parallel Postulate: Was never immediately self-evident and relies on an unproven “postulate” (hypothesis) rather than an axiom.
• Non-Euclidean Geometries: Modern critique revealed that alternative, non-Euclidean geometries rejecting the 5th Postulate are logically possible without intrinsic contradiction.
• The Epistemological Dilemma: If logically valid non-Euclidean systems exist, how do we explain why the human intellect firmly believed Euclidean geometry was the unique necessary system for centuries?

§ 6. On So-Called Axiomatics

• Hypothetico-Deductive Systems: A modern evolution where geometry is treated purely conditionally (“If axioms A, B… then conclusions P, Q…”).
• Abandonment of Meaning: Axiomatics (e.g., Hilbert) ignores the objective meaning and evident truth of axioms, demanding only internal non-contradiction and formally correct syllogisms.
• Values vs. Issues:
  • Issue: Severs the connection between geometric theory and objective reality/human thought.
  • Value: Provides excellent formal methods for proving non-contradiction, showing mathematical mathematical possibility (“existence”), and discovering the minimal independent structure of scientific axioms.
• Conclusion: Scholastics/Philosophers must re-engage with these questions, evolving Aristotelian and Thomistic logic to construct a robust philosophical foundation for geometry that solves these modern problematics.