哲學 on kenji.blog

飛行的箭是靜止的？：芝諾的「飛矢」悖論

Thu, 10 Sep 2026 21:00:00 +0900

從弓射出的箭正在空中飛行。這支箭確實是在移動。然而，西元前5世紀的希臘哲學家芝諾（Zeno），卻提出了以下令人畏懼的邏輯：

「飛行的箭，其實是靜止的」

這不是開玩笑，也不是詭辯，而是2500年來數學家和哲學家們持續認真討論的**「飛矢悖論」**。

芝諾的論證

芝諾的論證是以「時間的瞬間」這個概念為出發點。

時間是「瞬間」的連續。
若將某一個瞬間（時間長度為零的一點）像「照片」一樣截取下來，箭在空間中「存在」於特定的一點。
在那個瞬間，箭只是「佔據」著那個位置，並沒有在移動。（如果它在移動，那應該需要「時間段」而不是「瞬間」）
無論取出哪個瞬間，情況都是一樣的。
如果在時間的所有瞬間箭都是靜止的，那麼箭何時在移動呢？

graph TD A["飛行的箭"] --> B["時間是瞬間的連續"] B --> C["瞬間 t1: 箭在位置 A 靜止"] B --> D["瞬間 t2: 箭在位置 B 靜止"] B --> E["瞬間 t3: 箭在位置 C 靜止"] C --> F{"在所有瞬間箭都是靜止的"} D --> F E --> F F --> G["結論: 箭沒有在移動！"] style A fill:#2196F3,color:#fff style F fill:#FF9800,color:#fff,stroke-width:2px style G fill:#F44336,color:#fff,stroke-width:3px

直覺 vs 邏輯

「太荒謬了。箭實際上不是正在飛嗎？」這大概是大多數人最初的反應。然而，面對芝諾的論述，要在邏輯上指出他哪裡錯了，其實是非常困難的。

據說古希臘哲學家第歐根尼（Diogenes）對芝諾的反應，只是站起來在房間裡走來走去，以此展示「你看，在動啊」。然而，這並沒有反駁芝諾的邏輯。因為芝諾所問的不是「能不能動」，而是「我們能否用邏輯毫無矛盾地解釋『移動』究竟是什麼意思」。

微積分的解決方案（嘗試）

17世紀由牛頓和萊布尼茲發明的微積分學，為這個悖論提供了（至少部分的）數學解答。

在微積分中，「某一瞬間的速度（瞬時速度）」被定義如下：

$$ v(t) = \lim_{\Delta t \to 0} \frac{\Delta x}{\Delta t} $$

也就是說，將位置的變化量 $\Delta x$ 除以時間的變化量 $\Delta t$，並將 $\Delta t$ 趨近於無限小（極限），以此來定義速度。

這裡的重點在於，「瞬時速度」並不是在零時間長度內的移動距離。它是一個作為該時刻前後微小變化「趨勢」，也就是作為**「極限」**來定義的量。

因此，從微積分立場出發的回答如下：

「確實，如果截取長度為零的瞬間，在那個瞬間『內』箭是沒有移動的。但是，箭即使在那個瞬間也具有『瞬時速度（非零極限值）』這樣的性質。『靜止』意味著『瞬時速度為零』，但由於飛行中的箭其瞬時速度並非為零，因此不能說箭是『靜止』的。」

遺留的哲學問題

微積分學雖然給予了芝諾悖論一個實用的解決方案，但在哲學上並未完全塵埃落定。

「極限」這個概念終究只是一個數學工具（計算程序），對於**「時間的最小單位（瞬間）在物理上究竟是什麼」「連續是什麼」「運動的本質是什麼」**等根本問題，嚴格來說並沒有解答。

在現代物理學（量子力學）中，正在探討時間和空間是否也存在最小單位（普朗克時間、普朗克長度）。如果時間不是「連續」而是「離散（數位）」的，那麼芝諾悖論或許需要在完全不同的脈絡下重新評估。

芝諾的箭經過了2500年的今天，依然不斷地在質問我們：「什麼是移動」、「什麼是時間」。

師傅與徒弟，無論誰勝訴都矛盾的審判：普羅泰戈拉悖論

Thu, 10 Sep 2026 21:00:00 +0900

在古希臘，一位名叫尤阿特洛斯（Euathlus）的年輕人拜了最偉大的智者（修辭學教師）普羅泰戈拉（Protagoras）為師。兩人之間簽訂了以下關於學費支付的合約。

合約內容： 尤阿特洛斯在完成所有修辭學課程後，在第一次贏得法庭訴訟時，須向普羅泰戈拉支付剩餘的學費。

尤阿特洛斯是一名優秀的學生，出色地完成了所有修辭學課程。然而畢業後，他卻不知為何不肯接手任何訴訟案件。因為只要不上法庭，「第一次贏得法庭訴訟」的條件就永遠不會滿足，他也就無需支付學費。

失去耐心的普羅泰戈拉將尤阿特洛斯告上了法庭。要求他「支付學費」。

於是，邏輯的迷宮便由此展開。

師傅普羅泰戈拉的邏輯

普羅泰戈拉在法庭上如此主張：

「法官大人，無論結果如何，都是我贏。

如果在這場訴訟中我勝訴了，根據法庭的判決，尤阿特洛斯必須向我支付學費。
如果在這場訴訟中我敗訴了，對尤阿特洛斯而言就意味著『第一次贏得法庭訴訟』。也就是說滿足了合約的條件，根據合約他必須支付學費。

無論是哪種情況，他都有義務支付學費。」

徒弟尤阿特洛斯的邏輯

對此，尤阿特洛斯也不甘示弱。

「法官大人，無論結果如何，都是我贏。

如果在這場訴訟中我勝訴了，根據法庭的判決，我無需支付學費。
如果在這場訴訟中我敗訴了，我就還沒有『第一次贏得法庭訴訟』。也就是說合約的條件尚未滿足，根據合約，我沒有義務支付學費。

無論是哪種情況，我都無需支付學費。」

graph TD A["審判結果"] --> B["普羅泰戈拉勝訴"] A --> C["尤阿特洛斯勝訴"] B --> B1["判決: 尤阿特洛斯須支付"] B --> B2["合約: 尤阿特洛斯未勝訴 → 無需支付"] C --> C1["判決: 尤阿特洛斯無需支付"] C --> C2["合約: 尤阿特洛斯首次勝訴 → 必須支付"] B1 --> D{"矛盾！判決 vs 合約"} B2 --> D C1 --> E{"矛盾！判決 vs 合約"} C2 --> E style A fill:#ECEFF1,stroke:#333,stroke-width:2px style B fill:#4CAF50,color:#fff style C fill:#2196F3,color:#fff style D fill:#F44336,color:#fff,stroke-width:3px style E fill:#F44336,color:#fff,stroke-width:3px

為何會產生矛盾

這個悖論產生的根本原因在於，兩個不同的規則系統（法律與合約）做出了互相矛盾的判斷。

法律規則：服從法庭的判決。
合約規則：服從「第一次贏得法庭訴訟時支付」的條件。

通常情況下，法律和合約分別作為獨立的領域運作，但由於普羅泰戈拉將「支付學費」作為訴訟的爭議點，這場審判的結果本身就影響了合約的條件，使得這兩個系統陷入了自我指涉（self-referential）的迴圈中。

法學家們的解答

古羅馬法學家奧魯斯·格利烏斯（Aulus Gellius）對這個問題提出了以下的解決方案。

「法庭應該做出對尤阿特洛斯有利的判決（無需支付）。因為合約的條件確實尚未滿足。但是，在這場判決之後，普羅泰戈拉可以再次起訴尤阿特洛斯。因為尤阿特洛斯在第一次訴訟中勝訴，合約的條件已經滿足了。在第二次訴訟中，普羅泰戈拉將會勝訴。」

換句話說，如果試圖「在一次審判中同時解決」悖論就會產生矛盾，但如果「分兩次」處理就能夠化解矛盾，這就是這個解答的精髓。

與自我指涉悖論的關聯

普羅泰戈拉悖論與「說謊者悖論（『這句話是謊言』）」和「羅素悖論」具有相同的自我指涉結構。某個命題（審判的結論）影響了決定其自身真假的條件（合約的達成）。

這類悖論與現代計算機科學中的「停機問題（無法編寫出一個能判斷任意程式是否會停止的程式）」以及哥德爾不完備定理等，揭示邏輯與計算根本侷限的問題有著深厚的關聯。

普羅泰戈拉悖論是一個來自2400年前的警告，它告訴我們，人類制定的規則系統（如法律或合約）可能會因為巧妙的自我指涉而從內部崩潰。

祖母綠是綠色，還是「綠藍（Grue）」色？：古德曼的新歸納之謎

Thu, 10 Sep 2026 21:00:00 +0900

我們透過「過去的經驗」來預測「未來」。「太陽昨天也從東方升起，所以明天也會從東方升起吧」「至今為止看到的祖母綠全都是綠色，所以接下來挖掘出來的祖母綠也會是綠色吧」

這樣的推論被稱為「歸納法」，是所有科學的基礎。然而在1955年，哲學家納爾遜·古德曼（Nelson Goodman）構想出了一個奇特的顏色概念，指出這種歸納法存在著根本性的缺陷。這就是**「綠藍（Grue）」悖論**。

新顏色「綠藍（Grue）」的定義

古德曼將「綠色（Green）」與「藍色（Blue）」結合，定義了一種新的性質（顏色）「綠藍（Grue）」，如下所示：

綠藍（Grue）的定義： 某個物體是「綠藍」色，意味著如果在特定時間 $t$（例如西元2030年1月1日）之前被觀察到，它就是「綠色（Green）」；如果在時間 $t$ 之後被觀察到，它就是「藍色（Blue）」。

$$ \text{Grue} = \begin{cases} \text{Green} & (\text{時間} < t) \\ \text{Blue} & (\text{時間} \ge t) \end{cases} $$

根據這個定義，現在（時間 $t$ 之前）你手中拿著的綠色祖母綠，不僅是「綠色」，同時也是「綠藍色」。

為什麼這是一個悖論？

當我們試圖預測未來時，悖論就產生了。至今為止人類觀察到的所有祖母綠都是「綠色」。因此，我們使用歸納法做出以下預測：

假設A：「所有的祖母綠都是『綠色』」

但是，請等一下。至今為止觀察到的祖母綠都是在時間 $t$ 之前的，所以它們應該也都是「綠藍色」。因此，從完全相同的觀察數據中，我們也可以得出以下預測：

假設B：「所有的祖母綠都是『綠藍色』」

如果遵循歸納法的規則，過去所有的觀察支持假設A的強度，與支持假設B的強度是「完全一樣」的。

graph TD A["過去的觀察：所有的祖母綠都是綠色"] -->|同時| B["過去的觀察：所有的祖母綠都是『綠藍色』"] A --> C["歸納預測 A：未來的祖母綠也會是『綠色』"] B --> D["歸納預測 B：未來的祖母綠也會是『綠藍色』"] C --> E["時間 t 之後依然保持綠色"] D --> F["時間 t 之後會變成『藍色』！"] style C fill:#4CAF50,stroke:#333,color:#fff style D fill:#2196F3,stroke:#333,color:#fff style F fill:#F44336,stroke:#333,color:#fff,stroke-width:2px

祖母綠會變成藍色嗎？

如果假設B是正確的，那麼當時間 $t$ 到來的那一瞬間，全世界所有的祖母綠都必須同時變成「藍色」（根據綠藍色的定義）。

我們直覺上會認為「不可能有這麼荒謬的事。假設B只是不自然的文字遊戲，假設A（綠色）肯定才是正確的」。

然而，古德曼的提問更具深度。「綠色」與「綠藍色」，這兩個假設都完全符合過去的數據，但為什麼我們只將「綠色」的預測視為正當，而排除「綠藍色」的預測呢？其「邏輯基礎」究竟是什麼？

對「自然齊一性」的挑戰

為了解決這個問題，可能會有人提出反駁：「我們應該使用像『綠色』這樣單純的概念，而不該使用像『綠藍色』這種包含時間的複雜概念。」

但是古德曼反而指出，如果我們定義一種顏色叫「藍綠（Bleen：在時間 $t$ 之前是藍色，之後是綠色）」，那麼「綠色」這個概念本身，就會變成「在時間 $t$ 之前是綠藍，之後是藍綠」這種依賴時間的複雜概念。也就是說，要以哪個詞彙作為「基礎」，不過是我們語言習慣的問題罷了。

古德曼的「綠藍」悖論（新歸納之謎）證明了，科學理論並非單純僅由客觀數據來決定，而是強烈依賴於我們「使用了什麼樣的概念框架（語言）來理解這個世界」。

即使在AI和機器學習的領域中，即便訓練數據相同，根據「模型的結構（關注哪些特徵）」，對未來的預測也會變得截然不同。作為「過度擬合（Overfitting）」和「偏見（Bias）」的問題，這個悖論在現代依然具有重要的意義。

移除一粒沙子後，沙堆何時不再是沙堆？：沙堆悖論

Thu, 10 Sep 2026 21:00:00 +0900

假設在你面前有一座由一萬粒沙子堆成的漂亮沙堆。任何人看到都會認為這是一座「沙堆」。現在從中移除一粒沙子。剩下 9,999 粒。這還是沙堆對吧？再移除一粒。剩下 9,998 粒。這也仍然是沙堆。

讓我們繼續重複這個操作。僅僅移除一粒沙子，「沙堆」不應該就變成「非沙堆」。然而，如果不斷重複這個邏輯，最終只會剩下一粒沙子。

一粒沙子算是「沙堆」嗎？

當然，沒有人會把一粒沙子稱為「沙堆」。然而，我們從未否定過「移除一粒沙子，沙堆仍然是沙堆」這個前提。邏輯在某處出了問題，但究竟是在第幾粒時沙堆不再是沙堆的呢？

這就是源自公元前四世紀古希臘哲學家歐布利德斯的**「沙堆悖論（索瑞特斯悖論）」**。

邏輯結構

這個悖論可以用以下三段論的形式來表達。

前提一：一萬粒沙子的集合是「沙堆」。 前提二：從沙堆中移除一粒沙子，它仍然是「沙堆」。結論：因此，一粒沙子也是「沙堆」。

前提一和前提二，各自單獨來看都非常合理。然而，反覆套用前提二，就會推導出明顯錯誤的結論。

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

為什麼這個悖論無法解決

沙堆悖論的核心在於，「沙堆」這個詞本質上是模糊的。「沙堆」不存在「幾粒以上才算沙堆」這樣明確的定義（閾值）。這類概念被稱為**「模糊謂詞（vague predicate）」**。

我們的日常語言充斥著這類模糊的詞彙。

**「個子高」**是指幾公分以上？身高 180 公分的人算「個子高」。少 1 公釐呢？再少 1 公釐呢？
**「有錢人」**是指資產多少以上？100 億日圓算「有錢人」。少 1 日圓呢？
**「禿頭」**是指幾根以下？0 根算「禿頭」。長出 1 根呢？

這些都與沙堆悖論具有完全相同的結構。

哲學家們的探討方法

1. 認識論方法（界線確實存在）

這個方法主張：「實際上沙堆與非沙堆之間確實存在明確的界線，只是人類沒有能力認知到它而已。」例如，「5,837 粒是沙堆，但 5,836 粒就不是沙堆」這樣精確的界線是存在的，只是我們無從得知。

這在邏輯學上雖然很清晰，但大多數人在直覺上會對這個立場感到不自然。

2. 模糊邏輯（漸進式真值）

古典邏輯只有「真或假」兩個選項，但模糊邏輯允許取「0 到 1 之間的任意值」。

例如：

一萬粒沙子的「沙堆度 = 1.0（完全是沙堆）」
5,000 粒的「沙堆度 = 0.7」
100 粒的「沙堆度 = 0.1」
1 粒的「沙堆度 = 0.0（完全不是沙堆）」

這個方法很實用，但悖論並沒有被完全消解。因為「沙堆度 0.7 和 0.699 的差別是什麼？」這樣新的模糊性又會產生。

3. 超賦值語義學（Supervaluationism）

這個思路是針對「沙堆」這個詞，同時考慮所有合理的可能界線。如果在所有界線下都被判定為「沙堆」，那就是「確定是沙堆」；如果在所有界線下都被判定為「非沙堆」，那就是「確定不是沙堆」；意見分歧的區域則判定為「不確定」。

對現代社會的影響

沙堆悖論不僅僅是文字遊戲，它在現實的法律和政策領域也會引發嚴重的問題。

成年年齡：17 歲又 364 天是「孩子」，18 歲零天是「成人」。一天之間本質上改變了什麼？
貧窮線：年收入比基準金額少 1 日圓就是「貧窮」，多 1 日圓就是「非貧窮」。
環境法規：污染物排放量超過標準值 0.001 毫克即為違法。剛好等於標準值則為合法。

人類的語言和思維本質上就包含著模糊性，試圖用明確的二元對立來劃分世界，本身可能就是不合理的。沙堆悖論是一個困擾哲學家超過 2400 年、揭示人類智識根本局限的悖論。