<?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-cn/tags/%E7%B4%A2%E9%87%8C%E7%89%B9%E6%96%AF/</link><description>Recent content in 索里特斯 on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>zh-cn</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 21:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/zh-cn/tags/%E7%B4%A2%E9%87%8C%E7%89%B9%E6%96%AF/index.xml" rel="self" type="application/rss+xml"/><item><title>逐粒移除沙粒，沙堆何时不再是沙堆？：沙堆悖论</title><link>http://kenji.blog/zh-cn/p/sorites-paradox/</link><pubDate>Thu, 10 Sep 2026 21:00:00 +0900</pubDate><guid>http://kenji.blog/zh-cn/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>假设你面前有一座由1万粒沙子堆成的像样的沙堆。任何人看到它都会认为这是一座&amp;quot;沙堆&amp;quot;。
现在从中取走1粒沙子。9,999粒。还是沙堆吧？
再取走1粒。9,998粒。这仍然是沙堆。&lt;/p>
&lt;p>让我们不断重复这个操作。
仅仅取走1粒沙子，&amp;ldquo;沙堆&amp;quot;不应该变成&amp;quot;非沙堆&amp;rdquo;。然而，如果我们不断重复这个逻辑，最终只会剩下1粒沙子。&lt;/p>
&lt;p>&lt;strong>1粒沙子算&amp;quot;沙堆&amp;quot;吗？&lt;/strong>&lt;/p>
&lt;p>当然，没有人会把1粒沙子称为&amp;quot;沙堆&amp;quot;。然而，我们从未否定过&amp;quot;取走1粒沙子，沙堆仍然是沙堆&amp;quot;这个前提。逻辑在某处出了问题，但究竟&lt;strong>在取走第几粒时沙堆不再是沙堆了&lt;/strong>呢？&lt;/p>
&lt;p>这就是源自公元前4世纪古希腊哲学家欧布里德斯的**&amp;ldquo;沙堆悖论（索里特斯悖论）&amp;rdquo;**。&lt;/p>
&lt;h2 id="逻辑结构">逻辑结构
&lt;/h2>&lt;p>这个悖论可以用如下三段论的形式来表达：&lt;/p>
&lt;p>&lt;strong>前提1&lt;/strong>：1万粒沙子的集合是&amp;quot;沙堆&amp;quot;。
&lt;strong>前提2&lt;/strong>：从沙堆中取走1粒沙子后，它仍然是&amp;quot;沙堆&amp;quot;。
&lt;strong>结论&lt;/strong>：因此，1粒沙子也是&amp;quot;沙堆&amp;quot;。&lt;/p>
&lt;p>前提1和前提2，各自单独来看都非常合理。然而，反复应用前提2后，就会得出一个明显错误的结论。&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>沙堆悖论的核心在于**&amp;ldquo;沙堆&amp;quot;这个词本质上是模糊的**。
&amp;ldquo;沙堆&amp;quot;没有明确的定义（阈值）来规定&amp;quot;多少粒以上才算沙堆&amp;rdquo;。这类概念被称为**&amp;ldquo;模糊谓词（vague predicate）&amp;rdquo;**。&lt;/p>
&lt;p>我们的日常语言中充满了这类模糊的词汇。&lt;/p>
&lt;ul>
&lt;li>**&amp;ldquo;高个子&amp;rdquo;**是多少厘米以上？180cm的人算&amp;quot;高个子&amp;rdquo;。少1毫米呢？再少1毫米呢？&lt;/li>
&lt;li>**&amp;ldquo;富人&amp;rdquo;**是资产多少以上？100亿日元算&amp;quot;富人&amp;quot;。少1日元呢？&lt;/li>
&lt;li>**&amp;ldquo;秃头&amp;rdquo;**是多少根以下？0根算&amp;quot;秃头&amp;quot;。长出1根呢？&lt;/li>
&lt;/ul>
&lt;p>这些都与沙堆悖论具有完全相同的结构。&lt;/p>
&lt;h2 id="哲学家们的方法">哲学家们的方法
&lt;/h2>&lt;h3 id="1-认识论方法界限是存在的">1. 认识论方法（界限是存在的）
&lt;/h3>&lt;p>这种方法主张：&amp;ldquo;实际上沙堆与非沙堆之间存在明确的界限，只是人类没有能力认识到它而已。&amp;rdquo;
例如，&amp;ldquo;5,837粒是沙堆，但5,836粒不是沙堆&amp;quot;这样精确的界限是存在的，只是我们无法知晓——这就是这种立场。&lt;/p>
&lt;p>从逻辑学角度来看这很简洁，但大多数人在直觉上会对这种立场感到不自然。&lt;/p>
&lt;h3 id="2-模糊逻辑渐进式真值">2. 模糊逻辑（渐进式真值）
&lt;/h3>&lt;p>经典逻辑中只有&amp;quot;真或假&amp;quot;两种选择，但在模糊逻辑中，可以取&amp;quot;0到1之间的某个值&amp;rdquo;。&lt;/p>
&lt;p>例如：&lt;/p>
&lt;ul>
&lt;li>1万粒沙子的&amp;quot;沙堆度 = 1.0（完全是沙堆）&amp;quot;&lt;/li>
&lt;li>5,000粒的&amp;quot;沙堆度 = 0.7&amp;quot;&lt;/li>
&lt;li>100粒的&amp;quot;沙堆度 = 0.1&amp;quot;&lt;/li>
&lt;li>1粒的&amp;quot;沙堆度 = 0.0（完全不是沙堆）&amp;quot;&lt;/li>
&lt;/ul>
&lt;p>这种方法很实用，但并不能完全消除悖论。因为又会产生&amp;quot;沙堆度0.7和0.699有什么区别？&amp;ldquo;这样新的模糊性问题。&lt;/p>
&lt;h3 id="3-超赋值语义学supervaluationism">3. 超赋值语义学（Supervaluationism）
&lt;/h3>&lt;p>这种思路是：对于&amp;quot;沙堆&amp;quot;这个词，同时考虑所有可能的合理界限。如果在所有界限下都被判定为&amp;quot;沙堆&amp;rdquo;，则为&amp;quot;确定是沙堆&amp;quot;；如果在所有界限下都是&amp;quot;非沙堆&amp;quot;，则为&amp;quot;确定不是沙堆&amp;quot;；意见分歧的区域则判定为&amp;quot;不确定&amp;quot;。&lt;/p>
&lt;h2 id="对现代社会的影响">对现代社会的影响
&lt;/h2>&lt;p>沙堆悖论不仅仅是文字游戏，它在现实的法律和政策领域也会引发严重的问题。&lt;/p>
&lt;ul>
&lt;li>&lt;strong>成年年龄&lt;/strong>：17岁364天是&amp;quot;未成年人&amp;quot;，18岁0天就是&amp;quot;成年人&amp;quot;。仅仅1天，本质上发生了什么变化？&lt;/li>
&lt;li>&lt;strong>贫困线&lt;/strong>：年收入比标准低1日元就是&amp;quot;贫困&amp;quot;，高1日元就是&amp;quot;非贫困&amp;quot;。&lt;/li>
&lt;li>&lt;strong>环境法规&lt;/strong>：污染物排放量超过标准值0.001毫克就违法。刚好等于标准值则合法。&lt;/li>
&lt;/ul>
&lt;p>人类的语言和思维本质上包含着模糊性，试图用明确的二元对立来划分世界本身可能就是不合理的。沙堆悖论是一个困扰了哲学家们2400多年的悖论，揭示了人类智慧的根本局限性。&lt;/p></description></item></channel></rss>