格雷林悖论:说自己不形容自己的词

“heterological(异形容的)”指“不形容自身的形容词”。那它形容自己吗?若形容,则它不形容;若不形容,则它形容。自指的又一张网。

分类
逻辑悖论
难度
烧脑
标签
格雷林、自指、异形容、悖论
格雷林悖论:说自己不形容自己的词 · 漫画配图
漫画 · 格雷林悖论:说自己不形容自己的词

题目

定义:一个形容词若能形容它自己,就叫异形容的(heterological)。例如“红色”不是红色的,所以“红色”是异形容的;“短的”这个词本身不短,也是异形容的;而“中文的”是中文的,就不是异形容的。

请问:“异形容的”这个词本身,是不是异形容的?

答案与解析

又掉进自指坑:

  • 若“异形容的”是异形容的 → 那它形容自身 → 它不该是异形容的。矛盾。
  • 若“异形容的”不是异形容的 → 那它形容自身 → 它恰恰是异形容的。又矛盾。

背后的数学

这是 1908 年格雷林(K. Grelling)与纳尔逊(L. Nelson)提出的格雷林-纳尔逊悖论,是罗素悖论在“语言/性质”层面的翻版:把“集合不属于自身”换成“形容词不形容自身”。它再次提醒,自然语言里“自指性质”极易引发不一致,形式系统必须小心隔离“对象层”与“元层”。