格雷林悖论:说自己不形容自己的词
“heterological(异形容的)”指“不形容自身的形容词”。那它形容自己吗?若形容,则它不形容;若不形容,则它形容。自指的又一张网。
题目
定义:一个形容词若不能形容它自己,就叫异形容的(heterological)。例如“红色”不是红色的,所以“红色”是异形容的;“短的”这个词本身不短,也是异形容的;而“中文的”是中文的,就不是异形容的。
请问:“异形容的”这个词本身,是不是异形容的?
答案与解析
又掉进自指坑:
- 若“异形容的”是异形容的 → 那它不形容自身 → 它不该是异形容的。矛盾。
- 若“异形容的”不是异形容的 → 那它能形容自身 → 它恰恰是异形容的。又矛盾。
背后的数学
这是 1908 年格雷林(K. Grelling)与纳尔逊(L. Nelson)提出的格雷林-纳尔逊悖论,是罗素悖论在“语言/性质”层面的翻版:把“集合不属于自身”换成“形容词不形容自身”。它再次提醒,自然语言里“自指性质”极易引发不一致,形式系统必须小心隔离“对象层”与“元层”。