<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>语义学 on kenji.blog</title><link>http://kenji.blog/zh-cn/tags/%E8%AF%AD%E4%B9%89%E5%AD%A6/</link><description>Recent content in 语义学 on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>zh-cn</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 21:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/zh-cn/tags/%E8%AF%AD%E4%B9%89%E5%AD%A6/index.xml" rel="self" type="application/rss+xml"/><item><title>当词语描述它自己：格雷林-纳尔逊悖论</title><link>http://kenji.blog/zh-cn/p/grelling-nelson-paradox/</link><pubDate>Thu, 10 Sep 2026 21:00:00 +0900</pubDate><guid>http://kenji.blog/zh-cn/p/grelling-nelson-paradox/</guid><description>&lt;img src="http://kenji.blog/p/grelling-nelson-paradox/img/grelling_nelson.jpg" alt="Featured image of post 当词语描述它自己：格雷林-纳尔逊悖论" />&lt;p>词语是用来描述世界的工具，但当我们试图用词语来描述词语本身时，逻辑有时会陷入意想不到的陷阱。&lt;/p>
&lt;p>由库尔特·格雷林（Kurt Grelling）和伦纳德·纳尔逊（Leonard Nelson）在1908年提出的**“格雷林-纳尔逊悖论（Grelling-Nelson Paradox）”**，正是一个著名的语义学悖论，它直接指出了“词语定义词语”时的局限性。&lt;/p>
&lt;h2 id="将词语分为两类">将词语分为两类
&lt;/h2>&lt;p>格雷林和纳尔逊认为，可以将所有的形容词（词语）分为以下两类：&lt;/p>
&lt;ol>
&lt;li>&lt;strong>自述性（Autological）&lt;/strong>：该词语本身具有其所表达的属性。&lt;/li>
&lt;li>&lt;strong>非自述性（Heterological）&lt;/strong>：该词语本身不具有其所表达的属性。&lt;/li>
&lt;/ol>
&lt;h3 id="让我们看一些例子">让我们看一些例子
&lt;/h3>&lt;p>&lt;strong>自述性词语的例子：&lt;/strong>&lt;/p>
&lt;ul>
&lt;li>&lt;strong>“短的（short）”&lt;/strong>：这个词语本身就很短。&lt;/li>
&lt;li>&lt;strong>“英语的（English）”&lt;/strong>：这个词语本身就是英语。&lt;/li>
&lt;li>&lt;strong>“名词（noun）”&lt;/strong>：这个词语是一个名词。&lt;/li>
&lt;li>&lt;strong>“五音节的（pentasyllabic）”&lt;/strong>：在英语中，“pen-ta-syl-lab-ic”包含五个音节。&lt;/li>
&lt;/ul>
&lt;p>&lt;strong>非自述性词语的例子：&lt;/strong>&lt;/p>
&lt;ul>
&lt;li>&lt;strong>“长的（long）”&lt;/strong>：这个词语本身很短，并不长。&lt;/li>
&lt;li>&lt;strong>“德语的（German）”&lt;/strong>：这个词语是中文（或英文），并不是德语。&lt;/li>
&lt;li>&lt;strong>“不可见的（invisible）”&lt;/strong>：这个词现在正清清楚楚地显示在屏幕或纸上。&lt;/li>
&lt;/ul>
&lt;p>到这里为止，这看起来仅仅像是文字游戏。所有的词语似乎都必然可以被归类为“体现了自身意义”或“未体现自身意义”这两种情况之一。&lt;/p>
&lt;h2 id="致命的问题悖论的产生">致命的问题：悖论的产生
&lt;/h2>&lt;p>那么，这就是悖论的开始了。让我们来思考以下这个词：&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>“非自述性（Heterological）”这个词本身，是自述性的，还是非自述性的呢？&lt;/strong>&lt;/p>
&lt;/blockquote>
&lt;p>面对这个问题，无论我们选择哪种答案，都会面临矛盾。&lt;/p>
&lt;h3 id="情况1假设非自述性是自述性的">情况1：假设“非自述性”是『自述性』的
&lt;/h3>&lt;p>如果“非自述性（Heterological）”这个词是“自述性”的，根据定义，这意味着它“具有该词语自身所表达的属性”。
然而，这个词的意义是“非自述性”。
也就是说，具有“非自述性”这个属性，意味着它是“非自述性”的。
&lt;strong>我们假设它是自述性的，结果它却变成了非自述性的。&lt;/strong>（矛盾）&lt;/p>
&lt;h3 id="情况2假设非自述性是非自述性的">情况2：假设“非自述性”是『非自述性』的
&lt;/h3>&lt;p>如果“非自述性（Heterological）”这个词是“非自述性”的，根据定义，这意味着它“不具有该词语自身所表达的属性”。
既然这个词的意义是“非自述性”，那么不具有这个属性，就意味着它是“自述性”的。
&lt;strong>我们假设它是非自述性的，结果它却变成了自述性的。&lt;/strong>（矛盾）&lt;/p>
&lt;p>无论倒向哪一边，逻辑都会崩溃。&lt;/p>
&lt;div class="mermaid">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&lt;/div>
&lt;h2 id="与数学和逻辑学的联系罗素悖论的亲戚">与数学和逻辑学的联系：罗素悖论的亲戚
&lt;/h2>&lt;p>这个悖论绝不仅仅是类似“消失的1美元之谜”那样简单的计算错误或错觉。它与动摇了数学基础的&lt;strong>罗素悖论&lt;/strong>（“所有不包含自身的集合的集合，是否包含自身？”）具有本质上相同的结构。&lt;/p>
&lt;p>格雷林-纳尔逊悖论可以说是罗素悖论在语义学（词语意义）上的版本。&lt;/p>
&lt;p>集合论中的罗素悖论：
&lt;/p>
$$ R = \\{ x \mid x \notin x \\} $$
&lt;p>
当定义了这样一个集合时，追问 $R \in R$ 还是 $R \notin R$ 就会产生矛盾。&lt;/p>
&lt;p>语义学中的格雷林-纳尔逊悖论：
当定义 $Het(x)$ 为“单词 $x$ 不具有属性 $x$（即非自述性）”时，
&lt;/p>
$$ Het(\text{"Het"}) \iff \neg Het(\text{"Het"}) $$
&lt;p>
就会陷入这样的逻辑矛盾中。&lt;/p>
&lt;h2 id="为什么这个悖论很重要">为什么这个悖论很重要？
&lt;/h2>&lt;p>当词语指涉词语自身（自我指涉）时，往往潜藏着像无限循环一样发生错误的危险。&lt;/p>
&lt;p>这不仅仅是哲学或语言学的问题。在计算机科学和人工智能领域，当程序试图评估或修改自身的代码时，或是自然语言处理模型在解释意义的矛盾时，也会面临类似的逻辑壁垒。&lt;/p>
&lt;p>格雷林-纳尔逊悖论是一个出色的思想实验，它将“语言”这一系统本质上所包含的漏洞（局限性）巧妙地可视化了。&lt;/p></description></item></channel></rss>