Experiment #40 · Thought experiment

The Sorites Paradox

When does a heap stop being a heap?

Eubulides of Miletus · 4th c. BC · Logic, metaphysics of vagueness

First published: Reported by Diogenes Laertius, *Lives* II.108; modern discussions follow Williamson, *Vagueness* (1994).

One grain of sand is not a heap. Adding one grain to a non-heap cannot make a heap. Therefore there are no heaps.

A single grain of sand is not a heap; adding one grain to a non-heap never seems to convert it into a heap; by mathematical induction, no quantity of sand is ever a heap. The conclusion is absurd, but each premise is irresistible. The paradox generalises to every vague predicate — bald, tall, old, red. Modern responses split between (a) supervaluationism (vague predicates lack truth value at the borderline), (b) epistemicism (there *is* a sharp cutoff, we just cannot know where), (c) degree theories (truth comes in degrees), and (d) contextualism (the cutoff shifts with context). The case is the central pressure-test for the logic of vagueness and bears directly on ontology — whether the world itself contains vague objects.

Formulation

(1) One grain is not a heap. (2) For all n: if n grains are not a heap, n+1 grains are not a heap. (3) Therefore no finite number of grains is a heap. (3) is false; one of (1) or (2) must be denied.

Compare this experiment

Dimensions Engaged

◉

Matter

Bears on Matter · Ontological Status: are heaps (and mountains, organisms, etc.) real composite objects with sharp identity conditions, or convenient ways of grouping particles?

◎

Observer

Engages Observer · Knowledge Extent: if vagueness is semantic or epistemic rather than worldly, the puzzle is about our concepts/knowledge, not about reality.

Responses — How Schools Engage

Affirms / takes the bait 2

Logical Positivism

Vagueness is a feature of our language, not the world. The paradox reveals that ordinary predicates are tools of practical communication, not precise logical instruments.

Object-Oriented Ontology (OOO)

Objects (including heaps) are real, withdrawn from full description; vagueness is a symptom of the irreducibility of objects to their relational properties.

Reframes the question 3

Naturalism

The objects science recognises (atoms, molecules, cells) have precise membership conditions; vague predicates apply to higher-level patterns that are real but not sharp. Vagueness is real but located at the conceptual scaffolding, not in fundamental physics.

Realism

Common-sense realism: heaps are real, vague-but-real objects. The paradox shows the limits of classical logic, not the unreality of ordinary things.

Pragmatism

The paradox demands a sharp answer to a question whose practical use does not need one. Where precision is required (legal age, voting threshold), we stipulate it; otherwise vagueness is harmless.

Holds it inconclusive 1

Analytic Metaphysics / Logical Atomism

The paradox is alive: supervaluationism, epistemicism, and degree theories all have defenders. The choice reflects deeper commitments about logic and meaning.