異質字悖論ji6 zat1 zi6 bui3 leon6英文heterological paradox [1] / Grelling-Nelson paradox)係有關語義自指嘅一個悖論

上圖有兩隻 Blue(英文藍色噉解)噉嘅文字,上面嘅 Blue 本身係藍色所以係自質字,而下面嘅 Blue 本身係紅色所以係異質字。

背景 編輯

内文:自質字異質字
睇埋:自指定義

首先,思考語言學上講到嘅自質字異質字概念。

  • 自質字[英 1]:如果話一隻形容詞係自質字,即係話佢描述緊自己具有嘅特性,例如
    • 英文字 English(可以係英文嘅或者英格蘭嘅噉解)就係自質字,因為隻字描述緊嗰樣特性-英文嘅-係描述緊佢自己有嘅特性[2]
    • 又或者英文字 Hellenic嚟自希臘嘅噉解)噉-隻字詞源上係由古希臘文 Ἑλληνικός羅馬字:ellhnikos)嗰度嚟嘅,所以隻字都算係描述緊佢自己有嘅特性[3]
  • 異質字[英 2]:如果話一隻形容詞係異質字,即係話佢唔係描述緊自己,例如英文字 misspelled串錯咗噉解)就係異質字,因為隻字並冇串錯,唔具有隻字描述緊嗰樣特性(串錯咗呢樣特性)。

定義上,一隻字應該冇可能同時係自質字又係異質字。呢點係邏輯上講嘅排中律[英 3]-排中律係古典邏輯最出名嘅法則之一,主張是但攞句陳述嚟睇,一係句陳述真確,一係句嘢嘅 negation 真確。

悖論 編輯

噉問題嚟喇[4][5]

英文『heterological』呢隻字,本身係自質字定異質字呢?

呢條問題就噉望落似答唔到:

  • 答「係自質字」嘅話,
    1. 「『Heterological』呢隻字係自質字」→
    2. 噉「heterological」理應係描述緊佢自己 →
    3. 「Heterological」呢隻字理應具有「heterological」呢樣特性 →
    4. 有「heterological」呢樣特性,就理應係異質字(同點 1 出現矛盾)。
  • 答「係異質字」嘅話,
    1. 「『Heterological』呢隻字係異質字」→
    2. 噉「heterological」理應唔係描述緊佢自己 →
    3. 「Heterological」呢隻字理應唔具有「heterological」嘅特性 →
    4. 冇「heterological」呢樣特性,就理應唔係異質字(同點 1 出現矛盾)。

-無論答乜,都會引致矛盾。

異質字悖論呢個諗頭最早响 1908 年有人提及[4]。到咗廿一世紀初,邏輯學同語言學等領域對於呢條問題要點解答,仲未有乜共識[1]

睇埋 編輯

英詞 編輯

  1. autological word / homological word
  2. heterological word
  3. law of excluded middle

編輯

  1. 1.0 1.1 Palomäki, J. (2013). The Word "Word" and the Concept "Word" Three Solutions to Grelling's Paradox. Dialogue and Universalism, (1), 143-149.
  2. "homological", The Oxford Dictionary of Philosophy (2005), ed. Simon Blackburn, 2nd edition. Oxford University Press
  3. 17 Words that Describe Themselves. Mental Floss.
  4. 4.0 4.1 Grelling, K.; Nelson, L. (1908). "Bemerkungen zu den Paradoxien von Russell und Burali-Forti". Abhandlungen der Fries'schen Schule II. Göttingen. pp. 301–334. Also in: Nelson, Leonard (1974). Gesammelte Schriften III. Die kritische Methode in ihrer Bedeutung für die Wissenschaften. Hamburg: Felix Meiner Verlag. pp. 95-127.
  5. Volker Peckhaus: The Genesis of Grelling's Paradox, in: Ingolf Max / Werner Stelzner (eds.), Logik und Mathematik: Frege-Kolloquium Jena 1993, Walter de Gruyter, Berlin 1995 (Perspektiven der analytischen Philosophie, 5), pp. 269–280
  6. Church, Alonzo (1936). "An Unsolvable Problem of Elementary Number Theory". American Journal of Mathematics. 58 (58): 345-363.