古希臘哲學家歐布里德(Eubulides)提出的沙堆悖論(Sorites paradox):1粒沙子不是堆。如果1粒沙子不是堆,那么2粒沙子也不是堆;如果2粒沙子不是堆,那么3粒沙子也不是堆;以此類推,9999粒沙子也不是堆;因此,1萬粒沙子還不是堆。
有一堆1,000,000顆沙粒組成的沙堆。如果我們拿走一顆沙粒,那么還是有一堆;如果我們再拿走一顆沙粒,那么還是一堆。如果我們就這樣一次拿走一顆沙粒,那么當我們們取得只剩下一顆沙粒,那么它還是一堆嗎?
沙堆悖論有一堆1,000,000顆沙粒組成的沙堆。如果我們拿走一顆沙粒,那么還是有一堆;如果我們再拿走一顆沙粒,那么還是一堆。如果我們就這樣一次拿走一顆沙粒,那么當我們們取得只剩下一顆沙粒,那么它還是一堆嗎?
回答:設定一個固定的邊界。如果我們說10,000顆沙粒是一堆沙,那么少於10,000顆沙粒組成的就不能稱之為一堆沙。那么這樣區分9999顆沙和10001顆沙就有點不合理。那么就有一個解決方案了——設定一個可變的邊界,但是這個邊界是多少,並不需要知道。
回答:設定一個固定的邊界。如果我們說10,000顆沙粒是一堆沙,那么少於10,000顆沙粒組成的就不能稱之為一堆沙。那么這樣區分9999顆沙和10001顆沙就有點不合理。那么就有一個解決方案了——設定一個可變的邊界,但是這個邊界是多少,並不需要知道。