Work #1845

Elements

Stoicheia — the axiom-theorem-proof foundation of geometry in thirteen books

Euclid · c. 300 BCE · Greek · Mathematical treatise (13 books)

Tradition: Greek axiomatic mathematics

There is no royal road to geometry — the most successful textbook in the history of mathematics

The Elements is the most influential mathematical textbook ever written. Its thirteen books cover plane geometry (I–IV), the theory of proportion (V, based on Eudoxus), number theory (VII–IX), incommensurables (X), and solid geometry (XI–XIII, culminating in the construction of the five Platonic solids). Beginning from five postulates and five common notions, Euclid derives 465 propositions by rigorous deduction. The axiomatic method — define terms, state self-evident principles, prove everything else by logic — became the model for mathematical certainty and was adopted by Archimedes, Apollonius, Newton, and Spinoza. The work was continuously in use as a textbook from antiquity through the 19th century; only the Bible has appeared in more printed editions.

Author

Editions cited

  • The Thirteen Books of Euclid's Elements (T. L. Heath, trans., 3 vols, Cambridge, 1908; Dover reprint)
  • Euclid's Elements of Geometry (Richard Fitzpatrick, trans., 2007)
  • A New Translation of Euclid's Elements (Robin Hartshorne, companion text in Geometry: Euclid and Beyond, Springer, 2000)

School Embodiments

Rationalism · 35%
Platonism (Classical) · 25%
Classical Greek Thought · 20%
Logicism · 20%

The Elements is the supreme monument of rationalism: all geometric truth is derived from axioms by pure deduction. No experiment or sense-data is needed once the postulates are granted.

Book I begins with 5 postulates and 5 common notions and derives 48 propositions by pure logic, culminating in the Pythagorean theorem (I.47).

Euclid's geometry operates in an ideal space of perfect forms. The Academy's programme of geometry as prerequisite for philosophy is realised here.

Proclus: Euclid "belonged to the persuasion of Plato." (Commentary, Prologue)

The Elements synthesises the entire Greek mathematical tradition before Euclid: Thales, Pythagoras, Eudoxus, Hippocrates, Theaetetus.

Book V is attributed to Eudoxus; Books VII–IX draw on Pythagorean arithmetic; Book XIII on Theaetetus.
Logicism 20%

The Elements anticipates the logicist programme of reducing mathematics to a minimal set of logical principles. Frege, Russell, and Hilbert all acknowledged Euclid as the prototype.

The structure — definitions, postulates, common notions, then propositions in strict deductive order — is the ancestor of modern formal systems.

Internal Tensions

The status of the fifth postulate: it does not feel self-evident, and Euclid delays using it until I.29. Twenty-two centuries of failed attempts to prove it led to non-Euclidean geometry and ultimately to Einstein's curved spacetime.

I. Time

Mathematical truths are eternal and a-historical. The Pythagorean theorem is as true today as in 300 BCE. Time is presupposed but not theorised.

Attributes
Extent: Infinite Ontological Status: Substantival Grain: Continuous Freedom: Deterministic Traversability: Linear Direction: Uni-directional Dimensionality: One

II. Space

Space is Euclid's subject: infinite, flat (the fifth postulate ensures Euclidean flatness), three-dimensional (Books XI–XIII). The parallel postulate implicitly defines flat space.

Attributes
Extent: Infinite Ontological Status: Substantival Curvature: Flat Dimensionality: Three Locality: Local

III. Matter

Not addressed. Geometric objects are ideal — points have no extension, lines no breadth.

Attributes
Extent: not engaged Ontological Status: not engaged Conservation: not engaged Dimensionality: Three Locality: not engaged

IV. Observer

The geometer has immediate access to truth through rational intuition and deductive proof. In a sense disembodied: geometric truths do not depend on sensory experience.

Attributes
Time Instance: Single Space Instance: Single Knowledge Extent: Immediate Knowledge Retainment: Total Physicality: Disembodied Agency: Active Number: Plural Metaphysical Agency: not engaged

V. Energy

Not addressed. The Elements is pure mathematics, not physics.

Attributes
Extent: not engaged Ontological Status: not engaged Conservation: not engaged Dispersibility: not engaged

VI. Information

Mathematical information is conserved and cumulative. Each theorem adds to the stock of known truth. The axiomatic method is an information-conservation technology.

Attributes
Ontological Status: Substantival Cosmic Conservation: Conserved Personal Conservation: not engaged Granularity: Continuous

Personas that cite this work

Euclid of Alexandria

Personas with the nearest attribute fingerprint

Historical figures whose own classification on the same six-dimensional grid lands closest to this work's. Computed by attribute-agreement on coordinates both address.

Computed school proximity

The work's attribute fingerprint scored against all schools using the same quiz scorer. Useful as a sanity check on the hand-curated embodiments above.

How Elements resolves each dilemma

12 resolved positions across 4 dimensions, including 3 distinctive where the majority of schools go the other way · 45 unaligned.

Each dimension is sorted so minority positions come first. Mainstream positions are folded into an expandable list.

Time · 9 dilemmas · 3 distinctive

Persistence, the future, and the direction of becoming.

Distinctive · only 10% of schools agree (20/208)
Do you really choose?
If the brain is a physical system and physical systems are governed by laws, then every choice is also a chain of causes — which raises the question of what was really left to choose.
Choice is real within a determined order — agency and determinism aren’t opposites.
On this view, the future is determined and you are genuinely choosing. Those aren't contradictory because the determination runs through you rather than around you: your reasoning, deliberation, and assent are the way the determined outcome gets settled. Choice is what it feels like from …
Roads not taken The future is open and you are a genuine origin of it. (69%) · Choice is structural illusion — every event is fixed by the prior state. (10%) · Even if the universe is undetermined, you are not the chooser. (6%)
Distinctive · only 10% of schools agree (20/208)
Are addicts responsible for their addiction?
Addiction looks from one angle like the textbook case of agency failing — a person doing what they don't, in any meaningful sense, want to do. From another angle it looks like agency at work in hard conditions. Which it is depends on what agency is.
The addict is genuinely responsible within a determined order.
On this view, the addict is acting within a determined order but is genuinely acting — making decisions, endorsing or resisting urges, seeking or refusing help. Responsibility attaches not because some uncaused choice happened, but because the addict is the kind of agent through which …
Roads not taken The addict could have chosen otherwise — that's why recovery is real. (69%) · The addict's behaviour is the outcome of causes; 'responsibility' is a useful fiction, not a metaphysical fact. (10%) · Even if the universe is undetermined, the addict isn't the chooser. (6%)
Distinctive · only 10% of schools agree (20/208)
Should we hold AI systems responsible for what they do?
When an autonomous AI takes an action that harms someone, the question of who or what is responsible — the developer, the operator, the model itself — turns on whether the model is the kind of thing that can be a responsible agent.
The AI can be a genuine agent within determined conditions — and therefore genuinely responsible.
On this view, what makes a being responsible is not indeterminism but the kind of process the being is. An AI that deliberates, considers consequences, can be given reasons, and modifies its behaviour on reflection is doing what responsible agency is, even if its underlying …
Roads not taken An AI without a free will is not the kind of thing that can be responsible. (69%) · An AI's behaviour is fully determined by training and input; 'responsibility' applies if at all to its makers. (10%) · Neither AIs nor anyone else are the locus of free agency; the question is the wrong one. (6%)
3 mainstream positions
3 unaligned
Matter · 7 dilemmas, all mainstream
Observer · 37 dilemmas, all mainstream
Could causation work backwards? Causation runs one way — the arrow of time is real and structural. 68% Is the asymmetry between memory and anticipation a real feature of time, or just of us? The asymmetry is real because time itself has a real direction. 68% Is the arrow of time a real feature of the cosmos, or only of how we describe it? The arrow is real and structural; the asymmetry isn't an artifact of description. 68% Should we trust expert testimony when we can't verify it? Trust expertise whose conclusions a competent mind can in principle reproduce. 31% Is religious revelation a real source of knowledge? Revelation is evaluable by reason — and not above it. 31% Does an LLM 'know' the things it correctly produces? An LLM can produce correct outputs but not reason to them; useful, not knowing. 31% Are coincidences ever more than coincidence? Are the dead morally present to the living? Are there indivisible units of experience? Can a civilization recover from collapse? Can prayer for someone far away affect them? Could a fetal brain organoid in a petri dish be conscious? Could an AI have a mind that matters? Do animals have moral standing comparable to humans? Does environmental harm in another country bind me morally? Does history have a direction or meaning? Does meditation reveal something genuinely timeless? Does prayer change God's mind? Does the second law of thermodynamics mean something morally? How is knowledge of reality produced? If a teleporter copied and destroyed you, would you have survived? Is divine omniscience compatible with human freedom? Is environmental damage ever truly permanent? Is genetic engineering of food stewardship or domination? Is memory stored or reconstructed? Is reality fundamentally digital? Is salvation, liberation, or fulfillment individual or communal? Is the late-stage dementia patient still the person their spouse married? Is truth universal, tradition-bound, situated, or constructed? Should we colonize space? What happens to "you" when you die? What is marriage? What is our place in nature? What kind of religious-theological authority does the tradition recognize? What makes someone the same person over time? When does a person begin? Who is the moral primary — the individual, the community, the cosmos, the class, or the species?
Information · 4 dilemmas, all mainstream
← #1844 De Architectura All Works #1846 On the Sizes and Distances of the Sun and Moon →