自我指涉 on kenji.blog

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

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年前的警告，它告訴我們，人類制定的規則系統（如法律或合約）可能會因為巧妙的自我指涉而從內部崩潰。

當詞語描述自身時：格雷林-納爾遜悖論

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

詞語是我們用來描述世界的工具，但當我們試圖用詞語來描述詞語本身時，邏輯有時會陷入意想不到的陷阱中。

1908年由庫爾特·格雷林（Kurt Grelling）和倫納德·納爾遜（Leonard Nelson）提出的**「格雷林-納爾遜悖論（Grelling-Nelson Paradox）」**，正是一個直指「以詞語定義詞語」極限的著名語義學悖論。

將詞語分為兩類

格雷林和納爾遜認為，可以將所有的形容詞（詞語）分為以下兩類：

自我描述的（Autological）: 該詞語本身具備其含義所指的性質。
非自我描述的（Heterological）: 該詞語本身不具備其含義所指的性質。

讓我們來看些例子

自我描述的詞語例子：

「短（short）」：這個詞語本身就很短。
「英語的（English）」：這個詞語本身就是英語。
「名詞（noun）」：這個詞語是一個名詞。
「五音節的（pentasyllabic）」：在英語中，「pen-ta-syl-lab-ic」剛好有五個音節。

非自我描述的詞語例子：

「長（long）」：這個詞語本身很短，並不長。
「德語的（German）」：這個詞語是中文（或英文），並不是德語。
「不可見的（invisible）」：這個詞語現在正清楚地顯示在螢幕或紙張上。

到目前為止，這看起來就像單純的文字遊戲。所有的詞語似乎都必定能被分類為「體現了自身含義」或「未體現自身含義」這兩種之一。

致命的問題：悖論的產生

那麼，這正是悖論的開端。讓我們來思考以下這個詞語：

「非自我描述的（Heterological）」這個詞語本身，是「自我描述的」還是「非自我描述的」呢？

對於這個問題，無論我們選擇哪一個答案，都會面臨矛盾。

情況1：假設「非自我描述的」是『自我描述的』

如果「非自我描述的（Heterological）」這個詞語是「自我描述的」，那麼根據定義，它必須「具備該詞語本身所指的性質」。然而，這個詞語的含義是「非自我描述的」。也就是說，如果它具備了「非自我描述的」性質，那麼它就是「非自我描述的」。 我們明明假設它是「自我描述的」，結果卻變成了「非自我描述的」。（產生矛盾）

情況2：假設「非自我描述的」是『非自我描述的』

如果「非自我描述的（Heterological）」這個詞語是「非自我描述的」，那麼根據定義，它「不具備該詞語本身所指的性質」。因為這個詞語的含義是「非自我描述的」，不具備這個性質，就意味著它是「自我描述的」。 我們明明假設它是「非自我描述的」，結果卻變成了「自我描述的」。（產生矛盾）

無論轉向哪一邊，邏輯都會崩潰。

graph TD A["單詞『非自我描述的』(Heterological)"] --> B{"被分類為哪一種？"} B -->|是自我描述的| C["定義：具備自身所指的性質"] C --> D["自身的含義為『非自我描述的』"] D --> E["結果：是非自我描述的！"] E -->|矛盾| B B -->|是非自我描述的| F["定義：不具備自身所指的性質"] F --> G["自身的含義為『非自我描述的』"] G --> H["結果：是自我描述的！"] H -->|矛盾| B style A fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style B fill:#FF9800,stroke:#333,stroke-width:2px,color:#fff style E fill:#F44336,stroke:#333,stroke-width:2px,color:#fff style H fill:#F44336,stroke:#333,stroke-width:2px,color:#fff

與數學、邏輯學的關聯：羅素悖論的親戚

這個悖論並非像「消失的一元謎題」那種簡單的計算錯誤或錯覺。它與動搖了數學基礎的羅素悖論（「所有不包含自身的集合所組成的集合，是否包含其自身？」）在本質上具有相同的結構。

格雷林-納爾遜悖論可以說是羅素悖論的語義學（詞語含義）版本。

集合論中的羅素悖論：

$$ R = \{ x \mid x \notin x \} $$

當我們定義了如上的集合時，若追問 $R \in R$ 還是 $R \notin R$，就會產生矛盾。

語義學中的格雷林-納爾遜悖論：當我們將 $Het(x)$ 定義為「單詞 $x$ 不具備性質 $x$（即非自我描述的）」時，

$$ Het(\text{"Het"}) \iff \neg Het(\text{"Het"}) $$

就會陷入上述的邏輯矛盾之中。

為什麼這個悖論如此重要？

當詞語指涉詞語本身（自我指涉）時，總是潛藏著發生如同無限迴圈般錯誤的危險。

這不僅僅是哲學或語言學的問題。在計算機科學與人工智慧領域，當程式試圖評估或修改自身的程式碼時，或是當自然語言處理模型在解譯語義矛盾時，同樣會面臨類似的邏輯障礙。

格雷林-納爾遜悖論是一個精彩的思維實驗，它成功地將「語言」這個系統本質上所內含的 Bug（局限性）可視化了。

貝里悖論：當試圖用「文字」來定義「數字」時產生的矛盾

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

1. 用文字表達數字

我們在日常生活中，不僅會使用「阿拉伯數字（1, 2, 3…）」，還會使用「文字（如中文或英文）」來表達數字。

例如，「$10$」這個數字，可以用各種文字來表達，如下所示：

「十」（1個字）
「五的兩倍」（4個字）
「一百的十分之一」（8個字）

像這樣，讓我們來考慮使用「中文字」來描述某個數字。我們對可使用的字數設定一個限制。這裡我們來考慮能夠用**「19個字以內」**的中文來表達的數字。

當然，用19個字以內能夠表達的數字是有極限的。因為中文字的種類是有限的，將它們排列成19個字以下的組合也是有限的（雖然會是一個天文數字，但並非無限）。

也就是說，必定存在著**「19個字以內的中文字絕對無法表達的巨大整數」**。

2. 悖論的誕生

那麼，接下來才是正題。「19個字以內的中文字無法表達的整數」有無數個。假設我們從那些無數個無法表達的數字中，找出了**「最小的一個（最小的整數）」**。

我們將這個數字設為 $X$。根據定義，$X$ 是「19個字以內的中文字無法表達的數字」中最小的一個，因此我們可以這樣稱呼它：

「在十九個中文字以內的長度裡無法被表達出來的最小整數」

讓我們來數一數這句話的字數：「在・十・九・個・中・文・字・以・內・的・長・度・裡・無・法・被・表・達・出・來・的・最・小・整・數」 …哎呀？這句話有25個字呢。這樣就超過「19個字」的限制了。

那麼，讓我們稍微在表達上花點心思，將它縮短一點：

「不能用十九個字以內表達的最小整數」

現在，請數數看這句中文的字數：

竟然只有「16個字」。

奇怪的事情發生了。我們現在居然用了「不能用十九個字以內表達的最小整數」這**「16個中文字」，把 $X$ 這個數字表達出來了**！

graph TD Define["定義：
X = 19個字以內無法表達的最小整數"] --> CheckLength{"『不能用十九個字以內表達的最小整數』
的字數是？"} CheckLength -->|16個字| Contradiction["矛盾！
X 竟然能用『16個字』表達！"] Contradiction --> Paradox["X 應該『無法用19個字以內表達』
卻『能用19個字以內（16個字）表達』"] style Contradiction fill:#ff9999,stroke:#333 style Paradox fill:#ff4444,color:#fff,stroke:#333,stroke-width:2px

$X$ 明明應該是「無法用19個字以內表達」的數字，但這個定義的文字本身，卻完美地用「16個字（19個字以內）」表達了 $X$。這就是**「貝里悖論（Berry Paradox）」**。

3. 是誰提出了這個悖論？

這個悖論是由一位名叫G.G. 貝里（G. G. Berry）的人在1904年提出，他當時是牛津大學的圖書館員。後來，20世紀代表性的天才數學家暨哲學家伯特蘭·羅素（Bertrand Russell）在自己的論文中介紹了它，因而廣為世界所知。

（※在英文的原版論文中，使用的是 “The least integer not nameable in fewer than nineteen syllables”（少於19個音節無法命名的最小整數）這樣的表達方式，是設計成以英文的音節數來成立這個悖論的。）

4. 為什麼會發生矛盾？

這個悖論的根本原因在於，我們平時使用的「自然語言（如中文或英文等）」具有模糊性和自我指涉性（自我提及）。

自然語言無法承受數學的嚴密性

在數學的世界裡，「定義數字」是一項非常嚴密的作業（會使用方程式或符號）。然而，在貝里悖論中，卻試圖用人類日常語言中的「能表達」與「無法表達」來定義數學對象（整數）。

日常語言非常強大且靈活，但也正因為這種靈活性，使得它能夠做出像「提及自身的字數」這樣高難度的雜技動作。結果就引發了「定義本身破壞了定義的規則」這種自我矛盾（自我指涉的悖論）。

「被命名」代表什麼意思？

此外，「能用16個字表達」這句話的定義也很模糊。「不能用十九個字以內表達的最小整數」這句話，並沒有直接指出特定的具體數字（例如 $987654321...$ 這樣的數字）。它只是間接地描述了「應該有一個滿足條件的數字」。

在數學上，「以可以直接計算的形式來表達」與「用文字陳述間接的條件」，這兩者必須被明確地區分。將這兩者混為一談並堅稱「用16個字表達出來了！」，這就是隱藏在其中的邏輯把戲。

5. 總結與對現代的影響

貝里悖論乍看之下似乎只是個「文字遊戲」或「腦筋急轉彎」。然而，這個問題卻成為讓20世紀的數學家們深刻體認到**「使用日常語言來建立數學基礎的危險性」**的契機。

「不能用文字來定義數字。數學必須完全由獨立且嚴密的符號來建構。」

這個悖論成為了通往最先進學問的重要路標，它與後來改變數學歷史的「哥德爾不完備定理（數學中存在絕對無法證明的真理）」，以及資訊科學中的「柯爾莫哥洛夫複雜性（探討資訊能被壓縮到多短的理論）」等都有著緊密的關聯。

僅僅16個中文字，就揭露了數學的極限。這就是貝里悖論的美妙之處。

突擊考試悖論：邏輯上「絕對不可能」舉行的考試之日

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

1. 老師的「絕對宣言」

某個星期五的放學路上，數學老師對著學生們宣布了一項可怕的宣告。

「下週一到週五的其中一天，我只會舉行一次『突擊考試』。 但是，如果在當天早上你們能夠確切預測『今天就是考試的日子』，那就不算是突擊，所以當天就不會舉行考試。」

聽到這項宣言，學生們都嚇得發抖。因為他們必須每天提心吊膽地度過，不知道考試到底什麼時候會舉行。然而，班上最聰明的A同學突然露出微笑並站了起來。

「大家放心吧。下週絕對不可能舉行突擊考試。這在邏輯上是不可能的！」

A同學充滿自信地，開始在黑板上寫下如下的「完美邏輯」。

2. A同學基於「完美邏輯」的證明

A同學的證明使用了一種稱為**「從星期五開始往回推算（反向推理）」**的數學技巧。

步驟1：消除星期五的可能性

假設星期一、二、三、四這四天都一直沒有舉行考試。那麼，剩下的日子只有「星期五」。在星期五早上的時候，學生們就能確切預測：「因為只剩下今天了，毫無疑問今天就是考試！」根據老師的宣言，「被預測到的日子就不會舉行」，因此在星期五舉行突擊考試在邏輯上是不可能的。 所以，絕對不會有星期五的考試。

步驟2：消除星期四的可能性

既然已經確定星期五沒有考試。這意味著，可能舉行考試的最後一天是「星期四」。假設星期一、二、三這三天都沒有舉行考試。那麼，剩下的可能性只有星期四（星期五已經被排除了）。在星期四早上的時候，學生們就能確切預測：「今天就是考試！」 所以，也絕對不會有星期四的考試。

步驟3：所有的星期都被消除

只要重複同樣的邏輯即可。如果沒有星期四，最後一天就會變成星期三。因此如果到星期二都沒有考試，星期三早上就能預測到，所以星期三也被排除了。星期三被排除，星期二也被排除，星期一也被排除。 結論：只要遵守老師的規則，無論是從星期一到星期五的哪一天，絕對不可能舉行突擊考試！

graph TD Fri["星期五的早上
（週一到週四無考試）"] -->|可預測「只剩星期五了」| NoFri["星期五無法考試"] Thu["星期四的早上
（週一到週三無考試）"] -->|可預測「因為沒有星期五所以只剩今天」| NoThu["星期四無法考試"] Wed["星期三的早上"] -->|可預測「因為沒有四五所以只剩今天」| NoWed["星期三無法考試"] Tue["星期二的早上"] -->|可同樣預測| NoTue["星期二無法考試"] Mon["星期一的早上"] -->|可同樣預測| NoMon["星期一無法考試"] NoFri -.-> Thu NoThu -.-> Wed NoWed -.-> Tue NoTue -.-> Mon style NoFri fill:#ff9999,stroke:#333 style NoThu fill:#ff9999,stroke:#333 style NoWed fill:#ff9999,stroke:#333 style NoTue fill:#ff9999,stroke:#333 style NoMon fill:#ff9999,stroke:#333

班上的學生們歡呼雀躍。A同學的邏輯看起來完美無瑕，毫無破綻。他們在週末盡情玩樂，完全沒有準備考試就迎來了星期一。

星期一……沒有考試。「看吧！」星期二……沒有考試。「A同學說得對！」

然後是星期三的早上。教室的門「喀啦！」一聲打開，老師走進來說：

「好，把桌上收乾淨。現在開始進行突擊考試！」

學生們陷入了恐慌。「為、為什麼！？星期三居然會有考試，我們完全沒有預測到！」

老師露出了微笑。 「看吧，你們沒能預測到吧？我的『宣言』完全正確，突擊考試也照規則成立了。」

3. 邏輯到底在哪裡出了錯？

明明A同學的證明看起來完美無缺，為什麼現實中卻成立了「完美的突擊考試」呢？這個問題原本被稱為「出乎意料的絞刑悖論（Unexpected hanging paradox）」，自從1940年代由瑞典數學家倫納特·埃克博姆（Lennart Ekbom）提出以來，就一直困擾著哲學家和邏輯學家。

事實上，對於這個悖論，目前還沒有一個「這就是唯一絕對正確答案」的統一見解。然而，存在著幾個有力的解決途徑。

途徑1：「知識悖論（認識論）」

A同學推理的最大陷阱在於，他將「老師的宣言是100%真實的」這個前提，納入了自己的預測之中。

老師的宣言由「下週會舉行考試（P）」和「能夠預測到的日子就不舉行（Q）」這兩個條件組成。如果到了星期五還沒有考試，學生會想「如果宣言是正確的，那只能是今天」，但同時也產生了懷疑的空間：「如果能預測是今天，就違反了宣言中的Q。那麼一開始P（舉行考試）這個宣言本身不就是謊言嗎？」

「老師的話絕對正確」的信念與「邏輯推論」發生衝突的結果，讓學生們抱持了「老師不會舉行考試」的錯誤結論（信念），結果導致了無論什麼時候出考卷，都會處於「出乎意料（突擊）」的狀態。

途徑2：「自我指涉悖論」

讓我們把老師的話轉換成邏輯式。假設老師的主張為 $S$。 $S = $ 「我會在某一天 $T$ 舉行考試。而且，你們無法預測到那一天 $T$。」

這個主張會因為學生們如何解讀它（宣言）而改變真假，具有**「自我指涉結構」**。就像「說謊者悖論（『這句話是謊言』）」一樣，它具有讓邏輯推論陷入無限迴圈的性質。

4. 潛藏在日常生活中的「突擊考試」

這個悖論不僅適用於數學，也適用於我們熟悉的日常生活中。

【驚喜派對的困境】

假設朋友宣布：「這個月，我們要在你生日的時候舉辦一場驚喜派對！」聽到這句話的你，每天都在預測：「是今天嗎？還是明天？」如果到了月底的最後一天還沒有派對，你就會推論：為了滿足「驚喜（無法預測）」的條件，最後一天絕對不可能舉辦…… 然而現實中，如果在月中某個適當的時候突然端出蛋糕，你還是會受到完美的驚喜：「真的嚇我一跳！」

5. 總結

「突擊考試悖論」完美地表現了將人類「知道（預測）」的狀態本身納入邏輯計算的困難度。

我們認為是「完美推論」的東西，說不定其實只是建立在「對方絕對會遵守規則」這種毫無根據的信念之上的空中樓閣。下次如果老師再說「我要進行突擊考試」時，最好的辦法似乎是別去玩弄邏輯，乖乖每天讀書才是最合理的。