語義悖論（Semantical Paradox）是一類悖論。
基本介紹
- 中文名：語義悖論
- 所屬學科：哲學和邏輯學
- 英文名：Semantical Paradox
定義,悖論分類,解悖方案,
定義
語義悖論（Semantical Paradox）指的是語言哲學用語。指一種涉及標示、定義和真理等語義概念套用的邏輯矛盾。著名的例子是“說謊者悖論”:如果這句話是假的，那么它就不是謊話，即它又是真的；如果這句話是真的，那么它就是謊話，即它又是假的。
悖論分類
英國數學家、哲學家兼經濟學家弗蘭克·拉姆齊(FrankPlumpton Ramsey) 於1925最早把悖論區分為邏輯悖論和語義悖論(英文:Semantical Paradox)兩個類別, 見文獻的第二章邏輯與數學基礎(The FoundationsofLogic and Mathematics)。羅素悖論屬於前一類，說謊者悖論屬於後者。
拉姆齊認為，邏輯矛盾(Logical contradictions)涉及數學或邏輯術語(例如類，數)，因此表明我們的邏輯或數學存在問題。而語義矛盾(Semantical contradictions)除純邏輯術語外還涉及“思想”，“語言”，“符號”等概念, 根據拉姆齊的觀點，它們是經驗性(非形式)術語。語義矛盾也被稱為認識論矛盾(epistemological contradictions)。《斯坦福哲學百科全書》”悖論與當代邏輯“條目中介紹， 拉姆齊的這種方法被認為是目前的標準的分類方法（“Ramsey introduced the by-now standard distinction between logical and epistemological contradictions”）。
解悖方案
羅素的分支類型論
英國哲學家羅素用他提出的分支類型論來排除這種悖論。認為悖論起源於自我指稱的惡性循環，為了避免這種惡性循環，應區分類和個體(類的分子)。它們屬於不同類型。同時，同一類型的謂詞(命題函項)又區分為不同的價。 羅素在1908年提出惡性循環原則(Vicious-Circle Principle)並且表述如下：“無論是什麼，如果涉及了某集合的全部內容，一定不得屬於該集合。(Whatever involves all of a collection must not be one of the collection.)”。羅素使用惡性循環原則的主要動機是針對邏輯悖論和語義悖論。
然而在套用於普通的非正式定義時，惡性循環原則沒有提供一種將有意義的東西與無意義的東西區別開來的清晰方法。 儘管如此，“惡性循環原則”還是給出了對合法概念和定義的特定解釋的有效動機，這在羅素提出的“分枝類型理論”(Russell’s Ramified Type Theory)中得到體現。
塔爾斯基的真理論
