Philosophy
The Logic of Vagueness and the Sorites Paradox
Quick fact
The word 'sorites' comes from the Greek 'soros', meaning 'heap'—the original paradox was about heaps of grain.
Why this is interesting
Is a single grain of sand a heap? Surely not. But then adding one grain at a time—how many grains does it take to make a heap?
Read the full explanation
Understanding The Logic of Vagueness and the Sorites Paradox
We all use vague words like 'tall', 'old', or 'bald'. These words have clear cases (a 7-foot person is tall) and clear non-cases (a 5-foot person is not tall). But there's a gray zone—borderline cases where we hesitate. The sorites paradox shows that if you start with a clear case (a heap of sand) and remove one grain at a time, each removal leaves a heap (since one grain can't make a difference). Repeat this thousands of times, and you logically conclude that zero grains is a heap—which is absurd. The paradox arises because our logic assumes every statement is either true or false (bivalence), but vague predicates don't behave that way.
A deeper explanation
The sorites paradox is a direct challenge to classical logic. Classical logic relies on the law of excluded middle (every proposition is either true or false) and the principle of bivalence. Vague predicates violate this because they admit borderline cases. For example, 'is a heap' has no sharp boundary. To solve the paradox, philosophers have proposed several logical frameworks. Fuzzy logic assigns degrees of truth (e.g., 0.8 for a nearly-heap), so the predicate gradually fades. Supervaluationism treats vague predicates as having multiple acceptable precisifications; a statement is true only if it's true under all of them. Epistemicism claims there is a sharp boundary, but we cannot know it. Each solution has strengths and weaknesses, and the debate highlights deep questions about the nature of truth and language. Understanding this paradox is crucial because vagueness pervades real-world reasoning, from legal definitions (e.g., 'reasonable') to AI decision-making, and shows why we need flexible logical systems that go beyond simple true/false.