<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>索瑞特斯 on kenji.blog</title><link>http://kenji.blog/zh-tw/tags/%E7%B4%A2%E7%91%9E%E7%89%B9%E6%96%AF/</link><description>Recent content in 索瑞特斯 on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>zh-tw</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 21:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/zh-tw/tags/%E7%B4%A2%E7%91%9E%E7%89%B9%E6%96%AF/index.xml" rel="self" type="application/rss+xml"/><item><title>移除一粒沙子後，沙堆何時不再是沙堆？：沙堆悖論</title><link>http://kenji.blog/zh-tw/p/sorites-paradox/</link><pubDate>Thu, 10 Sep 2026 21:00:00 +0900</pubDate><guid>http://kenji.blog/zh-tw/p/sorites-paradox/</guid><description>&lt;img src="http://kenji.blog/p/sorites-paradox/img/sorites_paradox.jpg" alt="Featured image of post 移除一粒沙子後，沙堆何時不再是沙堆？：沙堆悖論" />&lt;p>假設在你面前有一座由一萬粒沙子堆成的漂亮沙堆。任何人看到都會認為這是一座「沙堆」。
現在從中移除一粒沙子。剩下 9,999 粒。這還是沙堆對吧？
再移除一粒。剩下 9,998 粒。這也仍然是沙堆。&lt;/p>
&lt;p>讓我們繼續重複這個操作。
僅僅移除一粒沙子，「沙堆」不應該就變成「非沙堆」。然而，如果不斷重複這個邏輯，最終只會剩下一粒沙子。&lt;/p>
&lt;p>&lt;strong>一粒沙子算是「沙堆」嗎？&lt;/strong>&lt;/p>
&lt;p>當然，沒有人會把一粒沙子稱為「沙堆」。然而，我們從未否定過「移除一粒沙子，沙堆仍然是沙堆」這個前提。邏輯在某處出了問題，但究竟是&lt;strong>在第幾粒時沙堆不再是沙堆&lt;/strong>的呢？&lt;/p>
&lt;p>這就是源自公元前四世紀古希臘哲學家歐布利德斯的**「沙堆悖論（索瑞特斯悖論）」**。&lt;/p>
&lt;h2 id="邏輯結構">邏輯結構
&lt;/h2>&lt;p>這個悖論可以用以下三段論的形式來表達。&lt;/p>
&lt;p>&lt;strong>前提一&lt;/strong>：一萬粒沙子的集合是「沙堆」。
&lt;strong>前提二&lt;/strong>：從沙堆中移除一粒沙子，它仍然是「沙堆」。
&lt;strong>結論&lt;/strong>：因此，一粒沙子也是「沙堆」。&lt;/p>
&lt;p>前提一和前提二，各自單獨來看都非常合理。然而，反覆套用前提二，就會推導出明顯錯誤的結論。&lt;/p>
&lt;div class="mermaid">graph LR
A["10,000粒 = 沙堆"] -->|移除1粒| B["9,999粒 = 沙堆"]
B -->|移除1粒| C["9,998粒 = 沙堆"]
C -->|...重複...| D["100粒 = 沙堆？"]
D -->|移除1粒| E["10粒 = 沙堆？"]
E -->|移除1粒| F["1粒 = 沙堆？"]
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="為什麼這個悖論無法解決">為什麼這個悖論無法解決
&lt;/h2>&lt;p>沙堆悖論的核心在於，&lt;strong>「沙堆」這個詞本質上是模糊的&lt;/strong>。
「沙堆」不存在「幾粒以上才算沙堆」這樣明確的定義（閾值）。這類概念被稱為**「模糊謂詞（vague predicate）」**。&lt;/p>
&lt;p>我們的日常語言充斥著這類模糊的詞彙。&lt;/p>
&lt;ul>
&lt;li>**「個子高」**是指幾公分以上？身高 180 公分的人算「個子高」。少 1 公釐呢？再少 1 公釐呢？&lt;/li>
&lt;li>**「有錢人」**是指資產多少以上？100 億日圓算「有錢人」。少 1 日圓呢？&lt;/li>
&lt;li>**「禿頭」**是指幾根以下？0 根算「禿頭」。長出 1 根呢？&lt;/li>
&lt;/ul>
&lt;p>這些都與沙堆悖論具有完全相同的結構。&lt;/p>
&lt;h2 id="哲學家們的探討方法">哲學家們的探討方法
&lt;/h2>&lt;h3 id="1-認識論方法界線確實存在">1. 認識論方法（界線確實存在）
&lt;/h3>&lt;p>這個方法主張：「實際上沙堆與非沙堆之間確實存在明確的界線，只是人類沒有能力認知到它而已。」
例如，「5,837 粒是沙堆，但 5,836 粒就不是沙堆」這樣精確的界線是存在的，只是我們無從得知。&lt;/p>
&lt;p>這在邏輯學上雖然很清晰，但大多數人在直覺上會對這個立場感到不自然。&lt;/p>
&lt;h3 id="2-模糊邏輯漸進式真值">2. 模糊邏輯（漸進式真值）
&lt;/h3>&lt;p>古典邏輯只有「真或假」兩個選項，但模糊邏輯允許取「0 到 1 之間的任意值」。&lt;/p>
&lt;p>例如：&lt;/p>
&lt;ul>
&lt;li>一萬粒沙子的「沙堆度 = 1.0（完全是沙堆）」&lt;/li>
&lt;li>5,000 粒的「沙堆度 = 0.7」&lt;/li>
&lt;li>100 粒的「沙堆度 = 0.1」&lt;/li>
&lt;li>1 粒的「沙堆度 = 0.0（完全不是沙堆）」&lt;/li>
&lt;/ul>
&lt;p>這個方法很實用，但悖論並沒有被完全消解。因為「沙堆度 0.7 和 0.699 的差別是什麼？」這樣新的模糊性又會產生。&lt;/p>
&lt;h3 id="3-超賦值語義學supervaluationism">3. 超賦值語義學（Supervaluationism）
&lt;/h3>&lt;p>這個思路是針對「沙堆」這個詞，同時考慮所有合理的可能界線。如果在所有界線下都被判定為「沙堆」，那就是「確定是沙堆」；如果在所有界線下都被判定為「非沙堆」，那就是「確定不是沙堆」；意見分歧的區域則判定為「不確定」。&lt;/p>
&lt;h2 id="對現代社會的影響">對現代社會的影響
&lt;/h2>&lt;p>沙堆悖論不僅僅是文字遊戲，它在現實的法律和政策領域也會引發嚴重的問題。&lt;/p>
&lt;ul>
&lt;li>&lt;strong>成年年齡&lt;/strong>：17 歲又 364 天是「孩子」，18 歲零天是「成人」。一天之間本質上改變了什麼？&lt;/li>
&lt;li>&lt;strong>貧窮線&lt;/strong>：年收入比基準金額少 1 日圓就是「貧窮」，多 1 日圓就是「非貧窮」。&lt;/li>
&lt;li>&lt;strong>環境法規&lt;/strong>：污染物排放量超過標準值 0.001 毫克即為違法。剛好等於標準值則為合法。&lt;/li>
&lt;/ul>
&lt;p>人類的語言和思維本質上就包含著模糊性，試圖用明確的二元對立來劃分世界，本身可能就是不合理的。沙堆悖論是一個困擾哲學家超過 2400 年、揭示人類智識根本局限的悖論。&lt;/p></description></item></channel></rss>