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

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（局限性）可視化了。

語義學 on kenji.blog