Source Count: 11 | Weighted Score: 22 | Source Confidence: [3/5] | Primary Tier: 1 | Last Updated: March 11, 2026
Keywords: paradox, Zeno, Achilles and tortoise, dichotomy, liar paradox, Ship of Theseus, sorites, heap paradox, vagueness, logical paradox, Russell's paradox, Newcomb's problem, surprise examination, Berry's paradox, Buridan's ass, self-reference, identity, infinity
Category Tags: philosophy-meaning, paradoxes, Zeno, liar-paradox, Ship-of-Theseus, sorites, vagueness, logic
Cross-References: P_1_09 — Philosophy of Time · V_4_01 — Logic · P_1_06 — Personal Identity

QUICK SUMMARY

A paradox is an argument that proceeds from apparently acceptable premises via apparently valid reasoning to a conclusion that is apparently unacceptable — forcing us either to reject a premise, identify a flaw in the reasoning, or revise our understanding of the conclusion. Paradoxes have been central to philosophy since the Greeks, serving as engines of conceptual progress by exposing hidden assumptions and the limits of our concepts. Among the most famous: Zeno's paradoxes (5th century BCE) — arguments that motion is impossible (e.g., Achilles can never overtake the tortoise because he must first traverse an infinite number of ever-smaller intervals), challenging our understanding of infinity, continuity, and motion; the Liar Paradox ("This sentence is false") — a self-referential loop that undermines the naive concept of truth and has driven the development of formal logic, type theory, and model theory; the Ship of Theseus — if every plank of a ship is gradually replaced, is it still the same ship? — a problem of identity over time with implications for personal identity, material constitution, and metaphysics; the Sorites (Heap) Paradox — if one grain of sand is not a heap, and adding one grain never transforms a non-heap into a heap, then no number of grains can form a heap — exposing the problem of vagueness in natural language; and modern paradoxes like Russell's Paradox (the set of all sets that do not contain themselves) and Newcomb's Problem (challenging decision theory).

1. VERIFIED CLAIMS (Tier 1 — Peer-Reviewed / Established)

1.1 Zeno's Paradoxes (c. 460 BCE)

• Zeno of Elea, student of Parmenides, formulated paradoxes defending the Eleatic thesis that change and motion are illusory:
• Dichotomy (The Racetrack): to reach any point, one must first traverse half the distance, then half the remaining distance, ad infinitum — requiring the completion of an infinite number of tasks in finite time
• Achilles and the Tortoise: Achilles, though faster, gives the tortoise a head start; by the time Achilles reaches the tortoise's starting point, the tortoise has moved ahead; by the time Achilles reaches that new point, the tortoise has moved again — an infinite regress
• The Arrow: at any single instant, an arrow in flight occupies a definite position (and is therefore at rest at that instant); but time is composed of instants — so the arrow is never in motion
• The Stadium: involves the relative motion of rows passing each other — challenging the concept of indivisible units of space and time
• Modern mathematical resolution: the sum of an infinite geometric series can converge to a finite value (1/2 + 1/4 + 1/8 + ... = 1). This resolves the mathematical puzzle but philosophers debate whether it addresses Zeno's deeper metaphysical point about the nature of infinity and continuous motion

1.2 The Liar Paradox

• "This sentence is false" — if the sentence is true, then (by what it says) it is false; if it is false, then (since it says it is false) it is true:
• One of the oldest paradoxes, attributed to Eubulides of Miletus (4th century BCE) and related to Epimenides the Cretan
• Threatens the naive T-schema of truth (Tarski): "Snow is white" is true if and only if snow is white — applying this to the Liar sentence generates contradiction
• Responses: Tarski's hierarchy of languages (no language can contain its own truth predicate); Kripke's fixed-point theory of truth (1975, allowing "truth-value gaps"); dialetheism (Graham Priest — some contradictions are true); revision theory of truth (Gupta, Belnap)

1.3 The Ship of Theseus

• Reported by Plutarch (Life of Theseus): if the ship of Theseus is maintained by replacing old planks with new ones, is it the same ship after all planks have been replaced?
• Hobbes's extension: if the old planks are reassembled into a second ship, which is the "real" Ship of Theseus?
• Raises fundamental questions about identity, persistence, and material constitution:
• Mereological essentialism: an object is identical to its parts; change any part and it's a different object
• Four-dimensionalism: objects are extended through time (temporal parts); the ship at t1 and the ship at t2 are different temporal parts of the same time-worm
• Sortalism: identity depends on the sortal concept (kind) under which the object falls — "same ship" invokes a continuity criterion tied to the kind "ship"

1.4 The Sorites Paradox

• From Greek sōros (heap): one grain of sand is not a heap; if n grains are not a heap, then n+1 grains are not a heap (the tolerance principle); therefore, no number of grains constitutes a heap — a clearly absurd conclusion:
• Exposes the problem of vagueness — many (perhaps most) natural language predicates (tall, bald, red, rich) lack sharp boundaries
• Responses: epistemicism (Williamson, 1994 — there is a sharp boundary, but we cannot know where it is); supervaluationism (Fine, 1975 — sentences involving vague predicates can be true on all admissible boundary-settings even if no specific setting is correct); degree theory (truth comes in degrees); contextualism (the extension of vague predicates shifts with conversational context)

2. CREDIBLE CLAIMS (Tier 2 — Academic / Debated but Supported)

2.1 Modern Logical Paradoxes

• Russell's Paradox (1901): consider the set of all sets that do not contain themselves. Does it contain itself? If yes, then by definition it shouldn't; if no, then by definition it should. This paradox led to the reconstruction of set theory (Zermelo-Fraenkel, Russell's type theory)
• The Surprise Examination Paradox: a teacher announces a surprise test next week — the students reason backward from Friday (if the test hasn't happened by Thursday, it must be Friday, so it won't be a surprise) to prove the test cannot be a surprise on any day — then are surprised when it happens on Wednesday

2.2 Newcomb's Problem

• A predictor has placed money in two boxes: Box A ($1,000 always) and Box B ($1,000,000 if the predictor predicted you would take only Box B; $0 if the predictor predicted you would take both). The predictor has been highly accurate. Do you take both boxes or only Box B?
• Evidential decision theory: take only Box B ($1,000,000 expected)
• Causal decision theory: take both boxes (the prediction is already made; taking both dominates)
• No consensus resolution

3. SPECULATIVE CLAIMS (Tier 3 — Possible but Unverified)

3.1 Paradoxes as Evidence of Fundamental Limits

• Some philosophers (Priest, 2006) argue that certain paradoxes reveal genuine limits of classical logic — suggesting that reality itself may be inconsistent in ways that require paraconsistent or dialethic logic. This remains highly controversial

4. DUBIOUS CLAIMS (Tier 4 — No Credible Source / Contradicted by Evidence)

4.1 Zeno Proved Motion Is Impossible

• [INCORRECT] Zeno's paradoxes were designed to support Parmenides's metaphysics, but motion obviously occurs. The paradoxes challenge our understanding of motion, infinity, and continuity — they do not demonstrate that motion is genuinely impossible

Counter-Arguments & Criticisms

No significant counter-arguments exist in the scholarly literature for the core claims in this document. Paradoxes in Philosophy: Zeno, Liar, Ship of Theseus, Sorites represents established philosophical consensus with no active scholarly dispute over the fundamental claims presented here.

IMAGES

No images assigned yet.

BIBLIOGRAPHY

1. Sainsbury, R.M. | 2009 | ∅ | Paradoxes | ∅ | ∅ | Cambridge: Cambridge University Press | 3rd | isbn:9781484493984 | ∅ | ∅ | ∅
2. Sorensen, Roy | 2003 | ∅ | A Brief History of the Paradox | ∅ | ∅ | Oxford: Oxford University Press | ∅ | isbn:9780195159035 | ∅ | ∅ | ∅
3. Priest, Graham | 2006 | ∅ | In Contradiction: A Study of the Transconsistent | ∅ | ∅ | Oxford: Oxford University Press | 2nd | doi:10.1093/acprof:oso/9780199263301.003.0015 | ∅ | ∅ | ∅
4. Williamson, Timothy | 1994 | ∅ | Vagueness | ∅ | ∅ | London: Routledge | ∅ | ∅ | ∅ | ∅ | ∅
5. Kripke, Saul | 1975 | "Outline of a Theory of Truth" | Journal of Philosophy | ∅ | 72.19::690–716 | ∅ | ∅ | doi:10.2307/2024634 | ∅ | ∅ | ∅
6. Nozick, Robert | 1969 | "Newcomb's Problem and Two Principles of Choice" | Essays in Honor of Carl G. Hempel | ∅ | ∅ | In ed | ∅ | doi:10.1007/978-94-017-1466-2_7 | ∅ | ∅ | N; Rescher; Dordrecht: Reidel, : 114 146
7. Salmon, Wesley C | 2001 | ∅ | Zeno's Paradoxes | ∅ | ∅ | Indianapolis: Hackett | ∅ | ∅ | ∅ | ∅ | ∅
8. Plutarch | ∅ | ∅ | Life of Theseus | Parallel Lives | ∅ | In | ∅ | ∅ | ∅ | ∅ | ∅
9. Clark, Michael | 2012 | ∅ | Paradoxes from A to Z | ∅ | ∅ | London: Routledge | 3rd | ∅ | ∅ | ∅ | ∅
10. Fine, Kit | 1975 | "Vagueness, Truth, and Logic" | Synthese | ∅ | 30::265–300 | ∅ | ∅ | doi:10.1007/bf00485047 | ∅ | ∅ | ∅
11. Tarski, Alfr (ed.) | 1944 | "The Semantic Conception of Truth" | Philosophy and Phenomenological Research | ∅ | 4.3::341–376 | ∅ | ∅ | doi:10.2307/2102968 | ∅ | ∅ | ∅

CROSS-REFERENCE INDEX

Generated from V4 expansion plan. Last Updated: March 11, 2026

Corrections

• A Brief History of the Paradox — ISBN corrected from 0195179862 to 9780195159035, verified against Open Library (A Brief History of the Paradox, Roy Sorensen). The previous number failed its check digit.