← All articles
philosophylogiclanguagevaguenessSeptember 17, 20264 min read

What Is the Sorites Paradox? Removing One Grain at a Time From a Heap

By the BrainSnail editorial team. How these articles are written and checked, and how to tell us when one is wrong.

A heap of sand remains a heap if you remove one grain. Apply that repeatedly and you reach a single grain, which is not a heap, so somewhere a single grain made the difference and no such grain exists. The puzzle is ancient and it is genuinely unsolved.

The structure of the problem

The argument has two premises that both look obviously true and a conclusion that is obviously false, which is exactly what makes it a paradox rather than a curiosity. The first premise states that a large collection of sand, say a million grains, is a heap. The second states that removing one grain from a heap leaves a heap, which seems undeniable since no single grain could possibly be the difference between a heap and a non-heap. Applying the second premise repeatedly to the first yields the conclusion that one grain is a heap, which is false. Since the reasoning is valid, one of the premises must be rejected, and neither can be rejected comfortably. The same structure applies to any vague predicate, which means nearly every ordinary word: a tall person remains tall if they shrink by a millimetre, a rich person remains rich if they lose a penny, a child remains a child a second later, and in each case the chain leads somewhere absurd.

The proposed solutions

Philosophers have offered several responses and each pays a price:

  • Epistemicism, which holds that there is a precise boundary and we simply cannot know where it is, which preserves classical logic entirely at the cost of claiming that a sharp cut-off exists for words we invented
  • Supervaluationism, which holds that vague terms can be made precise in many admissible ways, and a statement is true if it comes out true on all of them, leaving borderline cases neither true nor false
  • Many-valued and fuzzy logic, which allows degrees of truth between zero and one, so heap-ness fades gradually, which matches intuition and imports a boundary problem at the level of the degrees
  • Contextualism, which holds that the standards shift with context and with what has just been said, so the second premise is true in each individual step and not across the whole chain
  • Nihilism about vague terms, which holds that there are no heaps at all and the word picks out nothing definite
  • Rejecting the second premise outright, which requires accepting that some single grain does make the difference, which is what epistemicism says with a story attached

Why it matters outside philosophy

Vagueness has consequences wherever a line must be drawn in something continuous, and the practical fields do not have the luxury of leaving the question open. Law confronts it constantly, since reasonable force, undue delay, substantial similarity and beyond reasonable doubt are all vague, and a court must nonetheless reach a binary verdict, which is achieved by procedure rather than by resolving the vagueness. Medicine draws diagnostic thresholds across continuous distributions, which is why the boundaries for high blood pressure, obesity and many conditions are conventions that have moved over time and whose movement reclassifies large populations overnight. Regulation sets limits on pollutants and speeds that are precise numbers standing in for continuous risk. Age of majority, disability thresholds and poverty lines each convert a gradual reality into a sharp legal fact with large consequences for people near the boundary. In each case the sorites structure explains why arguments about where to draw the line never resolve, since no principled point exists and a point must be chosen anyway.

The related puzzles

Several other ancient problems share the structure and illuminate it. The bald man version, using hairs instead of grains, is the other classical formulation and is arguably clearer since baldness is more obviously a matter of degree. The ship whose planks are replaced one at a time raises a related but distinct question about identity through change rather than about vague predicates. The continuum fallacy is the informal error of arguing that because no sharp line exists, no distinction exists at all, which is a genuine fallacy and is deployed regularly in public argument, since the absence of a precise boundary between day and night does not mean noon and midnight are the same. Higher-order vagueness is the observation that the boundary between the clear cases and the borderline cases is itself vague, which undermines several proposed solutions since they require a sharp boundary somewhere and merely relocate it. That regress is one reason the problem has resisted resolution for two and a half thousand years.

The takeaway

Two obviously true premises yield an obviously false conclusion by valid reasoning, so one premise must go and neither can go comfortably, which is why the puzzle has stood since antiquity. It applies to nearly every ordinary word. Law, medicine and regulation must draw sharp lines through continuous realities anyway, which is why threshold arguments never resolve. Concluding that no distinction exists because no sharp line does is a separate fallacy.

Practise this

Questions from Reasoning and Logic (Basics)

Reading about something is not the same as being able to recall it. These are real questions from the Reasoning and Logic (Basics) unit in our Philosophy track, answers and explanations included. The unit has 120 in total across 23 steps.

  • Match the pairsLevel 3

    1. Match each flawed argument to the mistake it shows.

    Answer: It is true because the book says it is true = Circular reasoning; One bad apple, so the whole batch is bad = Jumping to conclusions; Ignore his point, he failed a test once = Personal attack

    Naming each mistake makes it easier to answer the argument fairly.

  • Choose all that applyLevel 2

    2. Which of these are 'if, then' (conditional) statements? Select all that apply.

    • If you water a plant, then it grows
    • If the light is red, then stop
    • The dog is brown
    • Please close the door

    Conditional statements have an 'if' part and a 'then' part.

  • Multiple choiceLevel 1

    3. In philosophy, what is an argument?

    • A set of reasons given to support a claimcorrect
    • A loud fight between two people
    • A list of questions with no answers
    • A story told just for fun

    In philosophy an argument is not a fight; it is reasons offered to back up a claim.