說謊者悖論們

說謊者悖論是困擾邏輯學家和哲學家最久的悖論之一，它的結構很簡單，卻顯示出幾個普遍被認為毫無問題的幾個基本概念之間的不一致（inconsistence）。

說謊者悖論在歷史上有許多變種，以下簡單列出他們的特徵，希望將來能有時間一一討論。

Simple Liar （詳細資料）

前提	T-schema、萊布尼茲定律、Modus Ponens、歸繆法（如果由P可以導出矛盾，P不為真）、二值原則（排中律）
語句	P=「P is false」。
結果	P為真而且P不為真。
敘述	這個悖論在多值邏輯下無法導出矛盾。

Strengthened Liar （詳細資料）

前提	T-schema、萊布尼茲定律、Modus Ponens、歸繆法
語句	P=「P is not true」。
結果	P為真而且P不為真。
敘述	當代說謊者悖論的標準款式，當哲學家提到說謊者悖論，大多指的是這一種。

Contingent Liar

前提	T-schema、萊布尼茲定律、Modus Ponens、歸繆法
語句	A說「所有的克里特島人說的每一句話都是假話」（=P）。 A是克里特島人。 除了P這句話之外，所有的克里特島人說的每一句話都不為真。
結果	P為真而且P不為真。
敘述	這個悖論是最古老的版本，也是唯一除了關於語言表達力的事實之外，還需要其它偶然事實作為前提的版本。

Curry’s Paradox

前提	T-schema、萊布尼茲定律、Modus Ponens、歸繆法
語句	P=「If P is true, then Q」。
結果	Q為真，不管Q代表什麼句子。
敘述	可以用來證明上帝和粉紅色皮卡丘的存在。

Yablo’s Paradox

前提	T-schema、萊布尼茲定律、Modus Ponens、歸繆法
語句	P1=「for any Pi, if i > 1, Pi is not true.」 P2=「for any Pi, if i > 2, Pi is not true.」 P3=「for any Pi, if i > 3, Pi is not true.」 ︰ ︰ ︰ Pn=「for any Pi, if i > n, Pi is not true.」 ︰ ︰
結果	對於所有Pn來說，Pn為真而且Pn不為真。
敘述	這個悖論不自我指涉（self-reference）。

說謊者悖論之所以讓哲學家感到困擾，是因為它蘊含矛盾。而在絕大多數的邏輯系統下，矛盾會蘊含任何事情。如果這個悖論是無法避免的，這些能夠從矛盾推論出任何事情的邏輯系統就無法用來捕捉人類的推論直覺，因為我們顯然不會僅因為P=「P is not true」這種句子的存在就相信任何事情。

總地來說，要構成說謊者悖論，我們需要

1. T-schema
2. 萊布尼茲定律
3. Modus Ponens
4. 歸繆法
5. 一個表達力強到足以造出悖論語句的語言

T-schema認為所有具有「P為真，若且唯若P」這種形式的句子都為真；萊布尼茲定律主張如果P=Q，那麼Q會擁有所有P擁有的性質*1；Modus Ponens幾乎出現在所有邏輯系統裡，規定由「P」、「if P then Q」可以推出「Q」；歸繆法使得我們可以藉由推論出矛盾來證明某個句子為假；大致上，一個語言只要具有真述詞（「..為真」、「..為假」）以及自己的句子的名字，就可以造出符合悖論要求的語句。這些前提要嘛是直覺上完全沒問題的真理，要嘛是某些思考活動賴以為生的推論規則，要嘛是明顯的事實。要放棄它們之中的任何一個，都必須要有很大的決心和很強的自圓其說的能力。

註解

*1︰如果你讀了我關於萊布尼茲定律的介紹，會發現在這裡要構成悖論不需完整的萊布尼茲定律，只要有同一的不可區分性定律就夠了。

Reference

中正大學08年春王文方教授《真理論》課程內容