<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Vagueness on kenji.blog</title><link>http://kenji.blog/en/tags/vagueness/</link><description>Recent content in Vagueness on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>en</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 21:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/en/tags/vagueness/index.xml" rel="self" type="application/rss+xml"/><item><title>When Does a Heap of Sand Stop Being a Heap? The Sorites Paradox</title><link>http://kenji.blog/en/p/sorites-paradox/</link><pubDate>Thu, 10 Sep 2026 21:00:00 +0900</pubDate><guid>http://kenji.blog/en/p/sorites-paradox/</guid><description>&lt;img src="http://kenji.blog/p/sorites-paradox/img/sorites_paradox.jpg" alt="Featured image of post When Does a Heap of Sand Stop Being a Heap? The Sorites Paradox" />&lt;p>Imagine a fine heap of sand made up of 10,000 grains right in front of you. Anyone would agree that this is a &amp;ldquo;heap.&amp;rdquo;
Now, let&amp;rsquo;s remove just one grain of sand. 9,999 grains. Still a heap, right?
Remove one more grain. 9,998 grains. Still a heap.&lt;/p>
&lt;p>Let&amp;rsquo;s keep repeating this process.
Removing a single grain shouldn&amp;rsquo;t turn a &amp;ldquo;heap&amp;rdquo; into &amp;ldquo;not a heap.&amp;rdquo; However, if you keep applying this logic over and over, you&amp;rsquo;ll eventually be left with just one grain of sand.&lt;/p>
&lt;p>&lt;strong>Is a single grain of sand a &amp;ldquo;heap&amp;rdquo;?&lt;/strong>&lt;/p>
&lt;p>Of course, no one would call a single grain of sand a &amp;ldquo;heap.&amp;rdquo; And yet, we never once rejected the premise that &amp;ldquo;removing one grain still leaves a heap.&amp;rdquo; The logic must break down somewhere, but &lt;strong>at exactly which grain did the heap stop being a heap?&lt;/strong>&lt;/p>
&lt;p>This is the &lt;strong>Sorites Paradox (also known as the Paradox of the Heap)&lt;/strong>, attributed to the ancient Greek philosopher Eubulides in the 4th century BCE.&lt;/p>
&lt;h2 id="logical-structure">Logical Structure
&lt;/h2>&lt;p>This paradox can be expressed in the form of a syllogism:&lt;/p>
&lt;p>&lt;strong>Premise 1&lt;/strong>: A collection of 10,000 grains of sand is a &amp;ldquo;heap.&amp;rdquo;
&lt;strong>Premise 2&lt;/strong>: A heap with one grain of sand removed is still a &amp;ldquo;heap.&amp;rdquo;
&lt;strong>Conclusion&lt;/strong>: Therefore, even a single grain of sand is a &amp;ldquo;heap.&amp;rdquo;&lt;/p>
&lt;p>Premise 1 and Premise 2 each sound perfectly reasonable on their own. However, repeatedly applying Premise 2 leads to an obviously false conclusion.&lt;/p>
&lt;div class="mermaid">graph LR
A["10,000 grains = Heap"] -->|Remove 1| B["9,999 grains = Heap"]
B -->|Remove 1| C["9,998 grains = Heap"]
C -->|...repeat...| D["100 grains = Heap?"]
D -->|Remove 1| E["10 grains = Heap?"]
E -->|Remove 1| F["1 grain = Heap?"]
style A fill:#4CAF50,color:#fff
style D fill:#FF9800,color:#fff
style E fill:#FF5722,color:#fff
style F fill:#F44336,color:#fff,stroke-width:3px&lt;/div>
&lt;h2 id="why-this-paradox-is-unsolvable">Why This Paradox Is Unsolvable
&lt;/h2>&lt;p>The crux of the Sorites Paradox is that &lt;strong>the word &amp;ldquo;heap&amp;rdquo; is inherently vague.&lt;/strong>
There is no clear definition (threshold) for how many grains constitute a &amp;ldquo;heap.&amp;rdquo; Such concepts are called &lt;strong>&amp;ldquo;vague predicates.&amp;rdquo;&lt;/strong>&lt;/p>
&lt;p>Our everyday language is full of such vague terms:&lt;/p>
&lt;ul>
&lt;li>&lt;strong>&amp;ldquo;Tall&amp;rdquo;&lt;/strong> — how many centimeters qualifies as &amp;ldquo;tall&amp;rdquo;? A person who is 180 cm is &amp;ldquo;tall.&amp;rdquo; What if you shave off 1 mm? Another 1 mm?&lt;/li>
&lt;li>&lt;strong>&amp;ldquo;Rich&amp;rdquo;&lt;/strong> — how much wealth makes someone &amp;ldquo;rich&amp;rdquo;? 10 billion yen is &amp;ldquo;rich.&amp;rdquo; What if you lose 1 yen?&lt;/li>
&lt;li>&lt;strong>&amp;ldquo;Bald&amp;rdquo;&lt;/strong> — how few hairs qualifies as &amp;ldquo;bald&amp;rdquo;? Zero hairs is &amp;ldquo;bald.&amp;rdquo; What if one hair grows back?&lt;/li>
&lt;/ul>
&lt;p>All of these share exactly the same structure as the Sorites Paradox.&lt;/p>
&lt;h2 id="philosophical-approaches">Philosophical Approaches
&lt;/h2>&lt;h3 id="1-epistemicism-the-boundary-exists">1. Epistemicism (The Boundary Exists)
&lt;/h3>&lt;p>This approach claims that &amp;ldquo;a precise boundary between heap and non-heap actually exists, but humans simply lack the ability to perceive it.&amp;rdquo;
For example, there may be an exact boundary where &amp;ldquo;5,837 grains is a heap but 5,836 grains is not&amp;rdquo; — we just cannot know it.&lt;/p>
&lt;p>This is logically tidy, but most people feel intuitively uneasy with this position.&lt;/p>
&lt;h3 id="2-fuzzy-logic-graduated-truth-values">2. Fuzzy Logic (Graduated Truth Values)
&lt;/h3>&lt;p>Classical logic deals in a binary of &amp;ldquo;true or false,&amp;rdquo; but fuzzy logic allows values &lt;strong>anywhere between 0 and 1.&lt;/strong>&lt;/p>
&lt;p>For example:&lt;/p>
&lt;ul>
&lt;li>10,000 grains of sand → &amp;ldquo;Heap-ness = 1.0 (completely a heap)&amp;rdquo;&lt;/li>
&lt;li>5,000 grains → &amp;ldquo;Heap-ness = 0.7&amp;rdquo;&lt;/li>
&lt;li>100 grains → &amp;ldquo;Heap-ness = 0.1&amp;rdquo;&lt;/li>
&lt;li>1 grain → &amp;ldquo;Heap-ness = 0.0 (completely not a heap)&amp;rdquo;&lt;/li>
&lt;/ul>
&lt;p>This method is practical, but it does not fully resolve the paradox. It introduces a new kind of vagueness: &amp;ldquo;What is the difference between a heap-ness of 0.7 and 0.699?&amp;rdquo;&lt;/p>
&lt;h3 id="3-supervaluationism">3. Supervaluationism
&lt;/h3>&lt;p>This approach considers all conceivable reasonable boundaries for the word &amp;ldquo;heap&amp;rdquo; simultaneously. If something is judged a &amp;ldquo;heap&amp;rdquo; under every possible boundary, it is &amp;ldquo;definitely a heap.&amp;rdquo; If it is judged &amp;ldquo;not a heap&amp;rdquo; under every boundary, it is &amp;ldquo;definitely not a heap.&amp;rdquo; The area where opinions diverge is deemed &amp;ldquo;indeterminate.&amp;rdquo;&lt;/p>
&lt;h2 id="impact-on-modern-society">Impact on Modern Society
&lt;/h2>&lt;p>The Sorites Paradox is not merely a word game — it raises serious problems in the real world of law and policy.&lt;/p>
&lt;ul>
&lt;li>&lt;strong>Age of majority&lt;/strong>: At 17 years and 364 days, you are a &amp;ldquo;child&amp;rdquo;; at exactly 18 years and 0 days, you are an &amp;ldquo;adult.&amp;rdquo; What fundamentally changes in a single day?&lt;/li>
&lt;li>&lt;strong>Poverty line&lt;/strong>: If your income falls 1 yen below the threshold, you are &amp;ldquo;in poverty&amp;rdquo;; 1 yen above, and you are &amp;ldquo;not in poverty.&amp;rdquo;&lt;/li>
&lt;li>&lt;strong>Environmental regulations&lt;/strong>: If pollutant emissions exceed the standard by 0.001 mg, it&amp;rsquo;s illegal. Right at the standard, it&amp;rsquo;s legal.&lt;/li>
&lt;/ul>
&lt;p>Human language and thought are inherently imbued with vagueness, and attempting to carve the world into clear-cut binary categories may be fundamentally flawed. The Sorites Paradox is a paradox that has perplexed philosophers for over 2,400 years, revealing the fundamental limits of human intellect.&lt;/p></description></item></channel></rss>