◄ UD0   ← Parmenides   LOGIKĒ · the front
LOGIKĒ · the front · between Thales and Aristotle

Zeno of Elea

c. 490 – 430 BCE · Elea · pupil of Parmenides · "inventor of dialectic" (Aristotle)
[[parmenides]] argued that motion and plurality are illusions; his pupil Zeno defended him with a new and devastating weapon — the paradox, a proof by contradiction aimed at common sense itself. Grant that space and time are infinitely divisible, Zeno says, and watch motion dissolve into absurdity: swift Achilles can never overtake a tortoise with a head start, because each time he reaches where it was, it has crept a little further; an arrow in flight, examined at any single instant, is motionless — so how does it ever move? These were the first arguments to take infinity seriously, and they were not truly answered for two thousand years — until the calculus showed that an unending sum of shrinking steps can add up to a finite whole.
✓ STRONG

Deep, and method-defining. Zeno gave the first systematic proofs by contradiction (Aristotle calls him the inventor of dialectic), and the first serious confrontation with the infinite — problems that drove the eventual rigor of limits and the calculus.

◐ "DISSOLVED," NOT TRIVIAL

Answered by limits. The convergent-series resolution (½+¼+…=1) handles Achilles and the dichotomy cleanly. But it took Cauchy and Weierstrass to make it rigorous, and the arrow and "supertasks" still feed live debate in philosophy.

◔ A DEFENCE, NOT A SYSTEM

Polemics, in service of Parmenides. Zeno's paradoxes argue against motion/plurality to protect his teacher's One; they're brilliant reductios, not a positive theory. And we have them only second-hand, mostly via Aristotle.

I · Achilles and the tortoise — run the infinity

The tortoise gets a head start; Achilles runs ten times faster. By the time he reaches the tortoise's start, it has moved a little; by the time he reaches that spot, it has moved again — forever. Zeno concludes he never catches it. Press run and watch the stages: each is real, there are infinitely many — yet their lengths shrink so fast that their total is finite, and Achilles passes the tortoise at a definite point.

stages run 0 distance covered 0 catch-up point →
Infinitely many stages, but the distances are a geometric series — 1 + 1/10 + 1/100 + … — and it converges: it sums to 10/9 of the head start, a finite number Achilles reaches in finite time. ⚑ Zeno's error wasn't logic, it was an unspoken assumption: that infinitely many steps must take infinitely long. They needn't. Untangling exactly why took the limit concept — [[georg-cantor]]'s infinities and the rigor of the calculus — so Zeno's "absurdity" turns out to be the first deep question about the actual infinite, not a mistake.
"That which is in locomotion must arrive at the half-way stage before it arrives at the goal." — Zeno's Dichotomy, via Aristotle

II · The three great paradoxes

THE DICHOTOMY

To go anywhere you must first go halfway, but first half of that, and so on — infinitely many sub-journeys to complete before you even start. So motion can't begin.

ACHILLES & THE TORTOISE

The swift can never catch the slow with a head start: each time he reaches its last position, it has moved on. Infinitely many catch-ups to make.

THE ARROW

At any single instant a flying arrow occupies exactly its own length and is at rest. If it's at rest at every instant, when does it move? Motion vanishes into a sum of still frames.

All three attack the same target: the idea that a continuous quantity (a distance, a duration) is built of infinitely many parts. The dichotomy and Achilles are answered by convergent series — infinitely many shrinking steps with a finite sum. The arrow is subtler: it forces a real account of what "motion at an instant" even means, which is precisely the derivative — instantaneous velocity, defined as a limit. Twenty-three centuries after Zeno, the calculus didn't just refute him; it gave back rigorous answers to the exact questions he was the first to ask. ⚑ A "wrong" argument so good it had to invent a branch of mathematics to be properly answered — the highest compliment a paradox can earn.

III · The inventor of the paradox

Gate kept on. The honest reading gives Zeno enormous credit while marking the limits. His method is foundational: Aristotle himself called Zeno the inventor of dialectic, and the paradoxes are among the first rigorous proofs by contradiction — assume motion/plurality, derive an absurdity. His confrontation with infinity was 2,000 years ahead of the tools needed to handle it. The honest qualifications: first, the paradoxes are not unsolved — for the dichotomy and Achilles, the convergent geometric series (an infinite sum of shrinking terms with a finite total) is a complete and correct resolution, made fully rigorous by Cauchy and Weierstrass in the 1800s; pop claims that "math can't really answer Zeno" are wrong. Second, they are partly alive: the arrow and the broader puzzle of supertasks (completing infinitely many actions in finite time) remain genuinely debated in philosophy of mathematics, so it's not all tidily closed. And third, like his teacher, Zeno's aim was defensive — these are weapons forged to protect [[parmenides]]' unchanging One, not a positive theory of their own, and we read them mostly through Aristotle's reports. Strip all that away and the achievement stands: the man who first made infinity a problem, and whose "impossible" arguments were so sharp they helped summon the calculus into being. ⚑ With Zeno the front of the lineage is whole; the road runs on to its first systematiser. [[parmenides]] ← · next → [[aristotle]] (the science of valid inference).