Sorites Paradox, explained.
The sorites paradox concerns vague predicates: clear endpoints combine with the tempting thought that a tiny change cannot alter classification, leading through repeated steps toward an implausible conclusion.
Why it happens
If one grain never changes heapness, repeated removal seems to preserve a heap down to one grain. The tension concerns the tolerance premise and language's boundaries, not an arithmetic failure to count grains.
The sorites paradox combines clear endpoints with a tempting tolerance premise: one tiny change seems unable to alter a vague classification. Repeating that premise can produce an implausible conclusion.
Read the result
Record labels for neighbouring counts and inspect the ledger's transitions. Borderline is available. The software highlights your adjacent label changes without declaring a correct semantic boundary.
A worked example
A tiny change and a different label
At a chosen count, record whether the displayed pile is a heap, not a heap, or borderline.
Add one grain and classify again. Repeat near the point where your confidence or label changes.
Inspect adjacent records. A practical boundary in your decisions does not automatically identify the unique meaning of heap.
OPTIONAL DEEPER DETAILGo deeper: inside the model
Inside this model
A board displays one to sixty grains. Controls add or remove one or ten. Each classification records the exact count and chosen label. The ledger highlights adjacent recorded counts with different labels, without declaring a universally correct threshold.
Where this idea is useful
A practical use
Terms such as rich, tall, and close can have clear cases without a readily defensible exact boundary.
A common misconception
“A useful numerical threshold resolves every problem of vagueness.”
Operational rules can specify a boundary for a task while ordinary language remains context-sensitive or vague. Philosophical accounts disagree about how to explain that fact.
What this explanation leaves out
- A sixty-grain illustration does not reproduce all ordinary uses of heap. Operational thresholds can be useful without being unique meanings; borderline labels alone do not solve every theory of vagueness.
Does choosing borderline solve the paradox by itself?
Not necessarily. It may honestly describe uncertainty, but theorists still ask where borderline cases begin and how the underlying inference should be understood.
Where do you need a practical threshold while recognising that ordinary language has no obvious exact boundary?
Associated thinkers
Associations marked provisional are awaiting source review.
Further reading
Explore the original research or the teaching reference behind this experiment.