What Is the Sorites Paradox? The Heap of Vagueness

Direct Answer

The sorites paradox (from the Greek soros, "heap") is the argument that destroys vague predicates. In its classic form:

• One grain of sand does not make a heap.
• If n grains do not make a heap, then n+1 grains do not make a heap either.
• Therefore, no finite number of grains makes a heap.

The second premise — the tolerance principle — seems undeniable: adding one grain to a non-heap cannot suddenly produce a heap, because "heap" has no sharp boundary. Yet the conclusion is absurd: a million grains obviously form a heap. The paradox generalizes to baldness (remove one hair from a hairy head and it remains hairy — until it is bald), tallness, childhood, and virtually every adjective of ordinary language.

The underlying disease is vagueness: predicates such as "heap" admit borderline cases, so there is no principled first n at which a collection becomes a heap. Classical logic assumes bivalence — every sentence is either true or false — and the tolerance principle has no definite counterexample, so the induction runs to contradiction. The sorites shows that ordinary language and classical logic are not, as it stands, compatible.

Historical Context

The paradox is attributed to Eubulides of Miletus, a fourth-century BCE member of the Megarian school, who also formulated the liar paradox. Aristotle was aware of the problem of borderline cases and discussed whether "bald" and "heap" can be used with precision. The paradox was a standard topic of Hellenistic and medieval logic, then largely dormant until the twentieth century revived the study of vagueness.

The modern revival began in earnest in the 1970s and 1980s. Max Black and then Kit Fine developed supervaluationism: a sentence like "10,000 grains make a heap" is supertrue if it comes out true under every admissible sharpening of the vague predicate, and the paradox is blocked because the tolerance principle, though true in every sharpening taken individually, is not true in all of them — there is no single sharpening that makes every step of the induction true. In 1975, Hilary Putnam pressed the connection between the sorites and the foundations of mathematics, and contemporary work draws on fuzzy logic (degrees of truth), degree theory, contextualism, and epistemicism — the view defended by Timothy Williamson that vague predicates do have sharp boundaries that we simply cannot know.

Philosophical Significance

The sorites paradox is the central problem of the philosophy of vagueness, and vagueness is everywhere. Legal terms ("reasonable," "reckless"), medical criteria ("hypertension"), and moral predicates ("cruel") all admit borderline cases, and the sorites shows that any attempt to treat them with classical, sharp logic will generate contradictions or arbitrary cutoffs. This is not an academic puzzle: judges must decide where "reasonable" begins, and regulators must decide at what pollutant level a river becomes "polluted."

The paradox also bears on the nature of truth. If supervaluationism is right, truth is not bivalent but admits of "gaps" that are filled only relative to admissible sharpenings; if fuzzy logic is right, truth comes in degrees, and the law of excluded middle fails. W. V. O. Quine connected the sorites to the underdetermination of meaning and to the "inscrutability of reference," while Ludwig Wittgenstein's later philosophy of language — meaning as use, family resemblance, and the open texture of concepts — can be read as a sustained meditation on how we live with vagueness. The deepest moral of the paradox may be humility: sharp logic is an idealization, and the world we reason about is full of heaps.

Examples

The classic heap:

• 1 grain: no heap. Add grains one at a time: still no heap at any step — until a million grains, absurdly, are "no heap."

The bald man:

• A man with 100,000 hairs is not bald. Removing one hair from a non-bald man leaves him non-bald. Therefore a man with zero hairs is not bald — absurd.

Real-world vagueness:

• "The water is hot." At what temperature does hot begin? If 40°C is hot and lowering by 0.001°C keeps it hot, then 0°C is hot. Yet no one can name the cutoff. This is why precision instruments and explicit thresholds exist — they are the law's answer to the sorites.

Related Concepts

The sorites paradox is the principal topic of the philosophy of language and connects directly to the law of excluded middle, which vagueness threatens, and to truth, since the paradox challenges bivalence. It also bears on logical consequence — a sorites-style argument is formally valid but materially disastrous — and on the scope of logic itself.

Further Learning

The Stanford Encyclopedia of Philosophy entries "Sorites Paradox" and "Vagueness" are the authoritative surveys; the Internet Encyclopedia of Philosophy's "Vagueness" is an accessible complement. Timothy Williamson's Vagueness (1994) is the definitive defense of epistemicism; Rosanna Keefe's Theories of Vagueness surveys the field; and Rosanna Keefe and Peter Smith's anthology Vagueness: A Reader collects the classic papers by Black, Fine, Dummett, and others.