The Timpson Lyceum · History of Philosophy (2024)

Euclid of Alexandria – Lecture 31 (History of Philosophy)

Overview

Euclid of Alexandria (fl. c. 300 BC) worked in the great intellectual capital that Ptolemy I — a general and successor of Alexander the Great, and, like Alexander, a product of the Aristotelian tradition — built up around the Museum and Library of Alexandria after Alexander's empire fragmented among his generals. Almost nothing is known of Euclid's life beyond a handful of anecdotes, yet his textbook, the Elements, is arguably the most influential single work in the history of mathematics: the standard geometry text from roughly 300 BC to the late nineteenth century, second only to the Bible among books printed in the West, and studied by everyone from Archimedes to Abraham Lincoln.

The lecture's real subject is not any one theorem but the axiomatic method the Elements introduced — begin from a small stock of definitions, postulates, and common notions, then deduce everything else by logic. This template became the model for every systematic body of knowledge that followed: Newton's Principia and Spinoza's Ethics are conscious imitations of it. Euclid inherits Aristotle's habit of treating geometry as literally describing physical reality (rather than as an abstract formal system built from undefined terms — a distinction not clarified until the nineteenth century), so his definitions aim at intuition rather than rigor. Even so, the deductive architecture he assembled was so sound that its few gaps went essentially unimproved for nearly two thousand years.

Key Concepts

• The Elements — Euclid's thirteen-book synthesis of the mathematics of his day, organizing existing proofs (most not originally his) into one deductive chain from a handful of first principles. Its lasting achievement is organization, not just content.
• Axiomatic method — Structure knowledge as: definitions → postulates → common notions → propositions (theorems), each later result justified by earlier ones. Became the paradigm for systematizing any field.
• Definitions — Descriptions meant to fix intuition (a point is "that which has no part"; a line is "breadthless length"; a straight line "lies evenly with the points on itself"). Technically circular by modern standards — a rigorous system starts instead from undefined terms — but serviceable as intuition pumps.
• Postulates — The five geometric assumptions specific to the subject (see the worked example). They correspond exactly to what a straightedge and compass can do, which is why those are the only permitted construction tools.
• The five postulates — (1) a straight line segment can be drawn joining any two points; (2) a segment can be extended indefinitely in a straight line; (3) a circle can be drawn with any center and radius; (4) all right angles are equal (congruent) to one another; (5) the parallel postulate.
• Parallel postulate (Postulate 5) — If a line crossing two others makes interior angles on one side summing to less than two right angles ($180^\circ$), the two lines meet on that side. Logically equivalent to Playfair's axiom: through a point not on a line there is exactly one parallel to it. Its non-obviousness later spawned non-Euclidean geometries.
• Common notions — General logical truths shared by all fields, more foundational than geometry itself: things equal to the same thing are equal; equals added to (or subtracted from) equals give equals; things that coincide are equal; the whole is greater than the part. Better understood as theorems of logic than as "axioms" in the modern sense.
• Proposition = theorem — Euclid's "propositions" are results demonstrated from the first principles. Proposition 1 (constructing an equilateral triangle on a given segment) is his first, and later proofs cite earlier ones rather than repeating them.
• Geometry as physics — Following Aristotle, Euclid treats geometric figures as features of the physical world, not abstractions. Consequently he reads information off his diagrams (e.g. assuming two circles intersect) — a reliance later mathematicians flagged as an unstated gap.
• Side-Angle-Side (I.4) — Proved by superposition (imagining one triangle laid onto another until they coincide). Modern geometry finds this unrigorous and instead takes SAS as a postulate.
• The irrationality of $\sqrt{2}$ — The diagonal of a unit square has length $\sqrt{2}$, which is not expressible as a ratio of whole numbers. Since for the Greeks "number" meant rational number, this length is constructible geometrically yet is "not a number" — one reason geometry, not algebra, was the Greeks' primary mathematical language.
• Geometric algebra — Identities such as $(a+b)^2 = a^2 + 2ab + b^2$ were proved by dissecting squares and rectangles into pieces and comparing areas, centuries before symbolic algebra (developed largely by Arab mathematicians, later fused with geometry via Descartes' analytic geometry).
• Legacy — The Elements set the standard for rigor and systematic exposition; Newton later did for physics what Euclid did for geometry, taking his laws of motion as postulates and deducing consequences.

Worked Example

Euclid's proof of the infinitude of primes (Elements IX.20). The claim: there is no largest prime — the primes go on forever. The proof is a model of the axiomatic style, arguing by contradiction from the definition of a prime.

1. A prime is a whole number greater than $1$ whose only positive divisors are $1$ and itself. The fundamental fact used is that every integer greater than $1$ has at least one prime divisor.
2. Suppose, for contradiction, that there are only finitely many primes. List them all:

$p_1,\; p_2,\; \dots,\; p_n.$

1. Form the number obtained by multiplying them all together and adding one:

$N = p_1 p_2 \cdots p_n + 1.$

1. Consider dividing $N$ by any prime $p_i$ on the list. Since $p_i$ divides the product $p_1 p_2 \cdots p_n$ exactly, it leaves remainder $1$ when dividing $N$:

$N \equiv 1 \pmod{p_i} \quad \text{for every } i = 1, \dots, n.$

1. Hence no $p_i$ divides $N$. But by step 1, $N > 1$ must have some prime divisor $q$.
2. That prime $q$ cannot be any of $p_1, \dots, p_n$ (none of them divides $N$), so $q$ is a prime missing from our supposedly complete list.
3. This contradicts the assumption that $p_1, \dots, p_n$ were all the primes. Therefore no finite list can contain every prime — the primes are infinite in number. $\blacksquare$

Note the shape: a precise definition, an assumption made only to be destroyed, a concrete construction ($N$), and a clean contradiction — exactly the deductive discipline the Elements taught the West.

Summary

• Euclid of Alexandria (fl. c. 300 BC) worked in Ptolemaic Alexandria; his Elements was the West's standard mathematics text for over two millennia and the model for systematic knowledge everywhere.
• The Elements introduced the axiomatic method: definitions and a few postulates and common notions, from which every theorem is deduced by logic.
• The five postulates — including the famous parallel postulate — encode exactly what straightedge and compass can construct; the common notions are really theorems of logic.
• Euclid treated geometry as literal physical truth (reading facts off diagrams, proving SAS by superposition), a habit later rigor replaced with undefined terms and explicit postulates.
• His deductive template shaped Newton's Principia and beyond; the infinitude-of-primes proof (IX.20) shows the method's power — a definition, a construction, and a contradiction settle an infinite question in a few lines.