定义如果1粒谷子落地不能形成谷堆,2粒谷子落地不能形成谷堆,3粒谷子落地也不能形成谷堆,依此类推,无论多少粒谷子落地都不能形成谷堆。这就是令整个古希腊震惊一时的谷堆悖论。
从真实的前提出发,用可以接受的推理,但结论则是明显错误的。它说明定义“堆”缺少明确的边界。它不同于三段论式的多前提推理,在一个前提的连续积累中形成悖论。从没有堆到有堆中间没有一个明确的界限,解决它的办法就是引进一个模糊的“类”。
这是连锁悖论中的一个例子,归功于古希腊人Eubulides,后来的怀疑论者不承认它是知识。“Soros”在希腊语里就是“堆”的意思。最初是一个游戏:你可以把1粒谷子说成是堆吗?不能;你可以把2粒谷子说成是堆吗?不能;你可以把3粒谷子说成是堆吗?不能。但是你迟早会承认一个谷堆的存在,你从哪里区分他们?
逻辑结构它的逻辑结构:1粒谷子不是堆,如果1粒谷子不是堆,那么,2粒谷子也不是堆;如果2粒谷子不是堆,那么,3粒谷子也不是堆;
………
如果99999粒谷子不是堆,那么,100000粒谷子也不是堆;因此,100000粒谷子不是堆。
按照这个结构,无堆与有堆、贫与富、小与大、少与多都曾是古希腊人争论的话题。