Chapter IX Summary and Outline: The Nature of Elements & Methodological Principles

Executive Summary

Sir Thomas L. Heath provides a comprehensive philosophical and methodological treatise on the logical foundations, structural anatomy, and scientific terminology of Greek mathematics, drawing deeply upon Aristotle’s Posterior Analytics, Metaphysics, and Physics, alongside Proclus’ Commentary on Eucl. I and Pappus’ Collection (Book VII).

1. The Nature of “Elements” (στοιχεῖα)

• Definitions: Proclus (quoting Geminus) defines an element as a primary, all-pervading theorem standing in relation to subsequent propositions as letters of the alphabet stand to speech (hence the common Greek word στοιχεῖα).

• Element vs. Elementary: “Elementary” (στοιχειώδης) treatises treat propositions of limited application that do not pervade all geometric reasoning.

• Two Senses of Element (Menaechmus):

  1. Heuristic/Logical: That which provides the deductive means for obtaining another theorem (in this sense propositions are reciprocal elements, like adjacent angles and right angles).

  2. Ontological/Simplicity: The simpler component into which a composite magnitude or statement is resolved (in this sense only first principles, postulates, and primary theorems are elements).

• Historical Predecessors: Hippocrates of Chios was the first to compile Elements; followed by Leon, Theudius of Magnesia, and Hermotimus of Colophon.

2. First Principles: Definitions, Postulates, and Axioms

Heath synthesizes Aristotle’s rigorous epistemological architecture:

• Every deductive science requires three categories of indemonstrable starting-points:

  1. The Genus (Subject-matter): The existence and primary properties of which must be assumed (in geometry: magnitude, space, points, lines).

  2. Common Notions / Axioms (ἀξιώματα, κοιναὶ ἔννοιαι): Self-evident logical principles valid across all sciences (e.g. “equals subtracted from equals leave equals”, “the whole is greater than the part”, law of non-contradiction).

  3. Special Principles (Proper to Geometry):

     • Definitions (ὅροι): Nominal descriptions asserting what a thing is without asserting its existence (existence must be proved by geometric construction).

     • Postulates (αἰτήματα): Assumptions of possibility of construction without proof (e.g. drawing straight lines, describing circles).

     • Hypotheses (ὑποθέσεις): Assumptions taken for granted by the teacher and conceded by the pupil.

3. Theorems versus Problems

The classical philosophical dispute regarding the nature of mathematical propositions:

• Speusippus and the Platonic Academy: Maintained that all propositions are Theorems (θεωρήματα), because geometric objects are eternal and uncreated; we do not “make” or “construct” anything, but contemplate eternal relations.

• Menaechmus and the Mathematicians: Maintained that all propositions are Problems (προβλήματα), because geometry investigates the actual construction and generation of forms in intelligible matter.

• Zenodotus and Posidonius’ Reconciliation: Geometry requires both: a theorem seeks to investigate an essential property; a problem seeks to effect a required construction. Theorems conclude with ὅπερ ἔδει δεῖξαι (Q.E.D.); problems conclude with ὅπερ ἔδει ποιῆσαι (Q.E.F.).

4. The Formal Anatomical Divisions of a Proposition

Proclus establishes the standard six-part Hellenistic Euclidean canonical demonstration:

1. Enunciation (πρότασις): Statement of the proposition in general terms.

2. Setting-out (ἔκθεσις): Representation of the given data using specific lettered geometric figures.

3. Specification / Goal (διορισμός): Precise statement of what is required to be proved/done in terms of the specific lettered figures.

4. Construction (κατασκευή): Auxiliary lines, points, and figures added to facilitate the demonstration.

5. Proof (ἀπόδειξις): The rigorous deductive chain from axioms, definitions, and previous theorems.

6. Conclusion (συμπέρασμα): Restatement of the general proposition, confirming that the enunciation has been verified.

5. Classical Heuristic and Dialectical Terminology

• Given (δεδομένα): Given in position, magnitude, form, or ratio (the foundation of Euclid’s Data).

• Lemma (λῆμμα): An auxiliary proposition established beforehand to secure the proof of a subsequent theorem.

• Case (πτῶσις): Variation in proof necessitated by differing configurations of the diagram.

• Porism (πόρισμα): A corollary arising unbidden as an incidental byproduct of a demonstration; or in advanced geometry, a proposition intermediate between a theorem and a problem.

• Objection (ἔνστασις): A dialectical challenge demonstrating that an adversary’s claim fails in a specific case.

• Reduction (ἀπαγωγή): Transforming an unsolved problem into an equivalent problem whose solution is known (invented by Hippocrates for the duplication of the cube).

• Reductio ad Absurdum (ἀπαγωγὴ εἰς τὸ ἀδύνατον): Indirect demonstration proving a proposition by demonstrating that the assumption of its contradictory leads to an impossible logical consequence.

• Analysis and Synthesis (ἀνάλυσις καὶ σύνθεσις): The supreme heuristic engine of Greek geometry, preserved in Pappus’ Treasury of Analysis (Collectio, Book VII):

  • Analysis: Assuming that which is sought as already accomplished, and reasoning backward through consequences until arriving at an established truth or construction.

  • Synthesis: Reversing the chain of deductions from the established truth to arrive at the solution.

6. The Nature of Definitions: Nominal vs. Real

• Aristotle’s Criteria: A scientific definition must state the essential cause (τὸ διὰ τί) and genus with differentiae.

• Saccheri (Logica Demonstrativa) and Leibniz: Euclid’s definitions are strictly nominal (definitio quid nominis), giving meaning to words; they become real definitions (definitio quid rei) only when the possibility and existence of the object is established through actual construction (Postulates 1–3, Prop. I. 1, etc.).

---

Detailed Outline

§ 1. On the Nature of Elements (pp. 114–116)

• Etymology and meaning of στοιχεῖα.

• Proclus and Geminus on elements vs. elementary theorems.

• Menaechmus’ two senses of element: heuristic vehicle vs. simple constituent.

• Euclid’s selection criteria: clarity, brevity, universal applicability, cosmic regular polyhedra.

• Aristotle’s definition of an element in science and mathematics.

§ 2. Elements Anterior to Euclid’s (pp. 116–117)

• Hippocrates of Chios (fl. 430 B.C.): First compiler of Elements.

• Leon: Intermediate compiler; introduced conditions of possibility (διορισμοί).

• Theudius of Magnesia: Academic contemporary of Plato; synthesized early geometry.

• Hermotimus of Colophon: Predecessor immediately prior to Euclid.

§ 3. First Principles: Definitions, Postulates, and Axioms (pp. 117–124)

• Aristotle’s doctrine of principles in Posterior Analytics (I. 2, 72a; I. 10, 76a).

• The genus / subject matter (hypotheses of existence).

• Common axioms (ἀξιώματα, κοιναὶ ἔννοιαι): indemonstrable principles common to all reasoning.

• Proper principles: Definitions (nominal statements) and Postulates (constructive permissions).

• Geminus on the difference between postulates and axioms.

• Proclus’ three criteria and critique of the Euclidean classification.

§ 4. Theorems and Problems (pp. 124–129)

• Academic debate: Speusippus (all theorems) vs. Menaechmus (all problems).

• Posidonius and Zenodotus: Defining the dual domain of geometry.

• The terminal formulae: ὅπερ ἔδει δεῖξαι (Q.E.D.) vs. ὅπερ ἔδει ποιῆσαι (Q.E.F.).

• Carpus of Antioch on the practical and philosophical priority of problems.

• Classification of problems by Pappus: plane, solid, and linear problems.

§ 5. The Formal Divisions of a Proposition (pp. 129–131)

• Proclus’ six canonical constituent parts:

  1. Enunciation (πρότασις)

  2. Setting-out (ἔκθεσις)

  3. Specification (διορισμός)

  4. Construction (κατασκευή)

  5. Proof (ἀπόδειξις)

  6. Conclusion (συμπέρασμα)

• The double meaning of διορισμός: defining the specific goal vs. stating conditions of possibility.

§ 6. Other Technical Terms (pp. 132–143)

• 1. Given (δεδομένον): In position, magnitude, species, ratio.

• 2. Lemma (λῆμμα): Auxiliary theorems and discovery procedures.

• 3. Case (πτῶσις): Systematic case distinctions.

• 4. Porism (πόρισμα): Corollaries vs. advanced synthetic loci.

• 5. Objection (ἔνστασις): Refutations in Euclid (e.g. I. 7).

• 6. Reduction (ἀπαγωγή): Hippocrates’ reduction of duplication of the cube to two mean proportionals.

• 7. Reductio ad Absurdum (ἀπαγωγὴ εἰς τὸ ἀδύνατον): Indirect proof structure and Aristotelian foundations.

• 8. Analysis and Synthesis:

  • Pappus’ classic definition (Treasury of Analysis, VII. 634).

  • Theoretical analysis vs. problematic analysis.

  • Convertibility of deductive steps (Hankel, Zeuthen).

  • Concrete example from Pappus with demonstration diagram ([graphic_intro_p142_pappus_analysis.png](file:///home/phi/PROJECTS/geometor/euclid/docsrc/heath/_static/graphics/volume_I/graphic_intro_p142_pappus_analysis.png)).

§ 7. The Definitions (pp. 143–151)

• General theory of definition: ὅρος, λόγος.

• Aristotle’s three conditions:

  1. Not using unproved nominal terms.

  2. Defined through prior absolute terms (genus and differentiae).

  3. Stating the cause / genetic construction (definitio genetica).

• Real vs. Nominal definitions: Saccheri (Logica Demonstrativa), Leibniz, J. S. Mill.

• Undefined technical terms in Euclid (κλᾶν, νεῦσις).

• Definitions not subsequently used in the Elements (rhombus, rhomboid, oblong).

---

Concordance Table of Methodological Concepts and Authorities Cited

Term / Concept	Greek Form	Primary Authority	Methodological Role / Significance
Element	στοιχεῖον	Proclus / Geminus	Primary theorem serving as fundamental alphabet for geometric demonstration.
Common Notion	κοινὴ ἔννοια / ἀξίωμα	Aristotle / Proclus	Self-evident universal logical truth common to all mathematical sciences.
Postulate	αἴτημα	Aristotle / Euclid	Proper principle assuming possibility of basic physical/mental construction.
Definition	ὅρος / ὁρισμός	Aristotle / Saccheri	Nominal statement of essence (quid nominis) becoming real (quid rei) via construction.
Theorem	θεώρημα	Speusippus / Proclus	Proposition investigating the essential attributes of eternal geometric objects.
Problem	πρόβλημα	Menaechmus / Pappus	Proposition demonstrating how to construct or effect a specific geometric figure.
Enunciation	πρότασις	Proclus	General statement of that which is given and that which is sought.
Setting-out	ἔκθεσις	Proclus	Instantiation of the enunciation using lettered geometric figures.
Specification	διορισμός	Proclus / Leon	Explicit declaration of what is required; also determination of conditions of possibility.
Construction	κατασκευή	Proclus	Addition of necessary auxiliary lines, circles, and vertices to the figure.
Proof	ἀπόδειξις	Proclus / Aristotle	Deductive chain connecting premises to conclusion through syllogistic necessity.
Conclusion	συμπέρασμα	Proclus	Restatement verifying that the general enunciation has been established.
Analysis	ἀνάλυσις	Pappus / Plato	Regressive reasoning from the desired goal assumed true back to known principles.
Synthesis	σύνθεσις	Pappus / Eudoxus	Progressive deductive reconstruction from established principles to the goal.
Reduction	ἀπαγωγή	Hippocrates of Chios	Transforming an unsolved problem into a known equivalent intermediate problem.
Reductio ad Absurdum	ἀπαγωγὴ εἰς τὸ ἀδύνατον	Aristotle	Proving truth of a proposition by establishing that its negation yields an impossibility.
Given	δεδομένον	Euclid (Data)	Entity whose position, magnitude, form, or ratio is determined and fixed.
Porism	πόρισμα	Proclus / Pappus	Unlooked-for corollary; or proposition intermediate between theorem and problem.