谷堆悖论：一粒米不是堆，那几粒是

题目

• 1 粒沙子，不是一堆沙。
• 如果 $n$ 粒沙子不是一堆，那么 $n+1$ 粒也不是一堆（只多一粒，不会改变“是不是堆”）。

按这个推理一路加下去，100 万粒沙子也“不是一堆”。可这显然荒谬——100 万粒分明是一大堆。

答案与解析

这个推理的每一步都看似有理，结论却离谱。问题出在“堆”是一个模糊概念（vague）：没有一条精确的界线写着“第 5273 粒开始算堆”。

我们的前提“再加一粒不算堆”在边界附近失效。这类悖论叫连锁悖论（Sorites Paradox），源自古希腊词 soros（堆）。

背后的数学

它推动了**模糊逻辑（Fuzzy Logic）**的诞生：不再非真即假，而是给命题赋一个“真值程度”，比如 0.87 堆。于是“加一粒”会让真值平滑爬升，越过 0.5 附近即算“堆”。模糊，反而成了精确描述世界的一种方式。