趙 震

(安徽大學(xué) 哲學(xué)系，合肥 230601)

說謊者悖論中的T-模式

趙 震

(安徽大學(xué) 哲學(xué)系，合肥 230601)

T-模式是塔斯基提出的與真有關(guān)的一個(gè)重要模式，即“x 是真的當(dāng)且僅當(dāng) p”，其中 p 是一個(gè)句子，x 是這個(gè)句子的名字。因其非常符合“真”這個(gè)詞的直觀而成為現(xiàn)代邏輯真理論的一條重要規(guī)則。說謊者悖論的產(chǎn)生都與T-模式或其等價(jià)式有關(guān)。所以研究說謊者悖論必須研究T-模式。T-模式包含兩個(gè)關(guān)鍵詞：“當(dāng)且僅當(dāng)”和“真”。文章討論了這兩個(gè)關(guān)鍵詞在說謊者悖論及其解悖方案中的理解，以及與T-模式有關(guān)的另一條規(guī)則“(IP)規(guī)則”。

說謊者悖論；T-模式；(IP)規(guī)則；真理論

說謊者悖論是一類很有意思的悖論，其產(chǎn)生原因尚不能精確確定，但是似乎都與T-模式有關(guān)。T-模式是說謊者悖論產(chǎn)生的重要原因，本文主要討論說謊者悖論及其解決方案中的T-模式。

一、說謊者悖論的例子

首先看一些說謊者悖論的例子。說謊者悖論的例子有很多，這里介紹幾個(gè)典型代表：

例(1) 不是真的。

(例1)

這個(gè)句子的真值是什么？如果它是真的，根據(jù)(1)自身它是假的；如果它不是真的，根據(jù)(1)它是真的。用邏輯的方法可以把這個(gè)推理描述如下：

1.(1) = (1)不是真的。 (已知)

2.(1)不是真的。 (假設(shè))

3.(1)不是真的不是真的。 (1,2,等值置換)

4.并非 (1) 不是真的。 (3,(T)*(T)是指T-模式，下同。,等值置換)

5.(1) 不是真的并且并非 (1) 不是真的。

6.(1) 是真的。 (2-5,歸謬法)

7.(1) 不是真的是真的。 (1,6,等值置換)

8.(1) 不是真的。 (7,(T) )

9.(1) 是真的并且 (1) 不是真的。

上面這個(gè)直接帶有自指的說謊者悖論被稱為“簡單的說謊者”，這個(gè)例子還有一些變體，它們沒有直接的自指，但是有間接的自指，比如下面這個(gè)例子：

A:B不是真的。

B：A是真的。

(例2)

使用相似的推理可以得出：如果A是真的，那么B不是真的，因而A不是真的；如果A不是真的，那么B不是真的不是真的，所以B是真的，因此A是真的。所以A是真的當(dāng)且僅當(dāng)A不是真的。同樣的推理也可以得到B是真的當(dāng)且僅當(dāng)B不是真的。

上面的幾個(gè)例子的一個(gè)典型特點(diǎn)就是都包含自指和否定，這似乎說明說謊者悖論都與這二者有關(guān)，但是下面的庫里 (H.Curry) 悖論就沒有否定，至少表面上沒有否定。

令K是后面的這個(gè)句子的縮寫：

True(〈K〉)→地球是平的。

(例3)

1.K?(True(〈K〉)→⊥) (K 的構(gòu)造)

2.True(〈K〉)?(True(〈K〉)→⊥)

(1,(T),等值置換)

3.True(〈K〉)→(True(〈K〉)→⊥)

(2,?-)

4.(True(〈K〉)(True(〈K〉))→⊥

(3,一階邏輯定理)

5.True(〈K〉)→⊥

6.(True(〈K〉)→⊥)→True(〈K〉)

(2,?-)

7.True(〈K〉) (5,6,MP)

8.⊥ (5,7,MP)

從上面的例子看，雖然不是所有的說謊者悖論都包含否定(至少表面上不包含否定)，但是它們都包含自指。這讓人感覺似乎說謊者悖論必須有自指。但是，并非如此，下面這個(gè)雅布羅悖論的例子將表明可以不使用自指也能構(gòu)造出說謊者悖論。

設(shè)想一個(gè)無窮的句子序列 (S1),(S2),(S3)……每一個(gè)句子說的都是接下來的句子都是不真的：

(S1) 任給k>1,Sk是不真的

(S2) 任給k>2,Sk是不真的

?

假設(shè)有Sn是真的，如果Sn說的是真的，那么任給k>n，Sk是不真的。因此(a)Sn+1是不真的，并且(b)任給m>k+1，Sm是不真的。根據(jù)(b)，Sn+1所說的恰是這種情況，而這與(a)相矛盾。所以，任給n，序列中的句子Sn是不真的。但是這又恰說明任給n，Sn是真的。因此，對于任何n，Sn是真的當(dāng)且僅當(dāng) Sn不是真的。很明顯，這個(gè)例子里并沒有自指，但是，依然產(chǎn)生了與“真”有關(guān)的悖論。這個(gè)悖論表明我們可以不需要自指而僅需要非良基性就能構(gòu)造出悖論。

從上面的例子中可以看出，說謊者悖論的產(chǎn)生往往伴隨著自指、否定、T-模式，以及一階邏輯[1]。但是，其中自指不是語義悖論產(chǎn)生的必要條件，因?yàn)橛胁缓灾傅难挪剂_悖論；否定也不是語義悖論產(chǎn)生的必要條件，因?yàn)橛胁缓穸?至少表面上沒有否定)的庫里悖論；一階邏輯也不是語義悖論產(chǎn)生的必要條件，因?yàn)閲?yán)格地說只是某些相關(guān)推理規(guī)則才會(huì)在悖論的推導(dǎo)過程中起作用，而這些推理規(guī)則并不一定只屬于一階邏輯，在別的邏輯中也可能有相同的有效推理[2]。而且，即使換了規(guī)則也還有可能用別的規(guī)則推出悖論。而T-模式(或者它的等價(jià)式)則是所有語義悖論產(chǎn)生的必要條件，所有說謊者悖論的構(gòu)造都需要用到T-模式(或其等價(jià)式)。下面討論T-模式。

二、T-模式中的“當(dāng)且僅當(dāng)”

T-模式這個(gè)詞最初是塔爾斯基在其著名的論文TheSemanticConceptandtheFoundationsofSemantics中提出的:“……我們形成這個(gè)句子的名字，并且用另一個(gè)字母，比如說‘x’，代替它?，F(xiàn)在我們問‘x 是真的’和 ‘p’ 這兩個(gè)句子之間的邏輯關(guān)系是什么。很明顯，從我們有關(guān)真的基本概念的觀點(diǎn)看，這兩個(gè)句子是等價(jià)的。換句話說，下面的等價(jià)式是成立的：

(T) x 是真的當(dāng)且僅當(dāng) P

我們把任何這樣的等價(jià)式(p 被‘真’這個(gè)詞所指稱的語言中任何句子所代替，x 被這個(gè)句子的名字所替代)都稱作‘(T)型等價(jià)式’?！盵3]這里，塔爾斯基并沒有直接提出T-模式這個(gè)詞，但是接下來他又指出：“應(yīng)該強(qiáng)調(diào)的是，表達(dá)式(T)自身(它并不是一個(gè)句子，而只是一個(gè)句子模式)以及(T)型的任何特例都不能被當(dāng)做真的定義。我們只能說用具體的句子替代P、用這個(gè)句子的名字替代 x 所得到的每一個(gè)(T)型等價(jià)式都只被當(dāng)做真的一個(gè)部分定義，這解釋了這一個(gè)具體句子的真之所在。在某種意義上，普遍定義需要所有這些部分定義的邏輯合取。”[3]從這里可以看出，T-模式本身并不是一個(gè)句子，而是類似于邏輯中公理模式的東西。

T-模式并不是對象語言中的模式，而是元語言中的模式，P是句子P在元語言中對應(yīng)的翻譯，x 是P在元語言中的名字。T-模式的例子比如著名的“‘雪是白的’是真的當(dāng)且僅當(dāng)雪是白的”。所有具有T-模式這種模式的句子被稱作對象語言在元語言中的 T-雙值條件句 (T-biconditionals)，簡稱T-雙值條件句。

上面是用自然語言表達(dá)的T-模式，在形式語言中可以有更嚴(yán)格的表述，比如通常用哥德爾編碼來表示一個(gè)句子的名字，用T表示真謂詞，這樣T-模式就可以表示為：

當(dāng)然這只是T-模式的形式表述的一種方式，而不是唯一方式。其他的表述方式可能與這種方式不一樣，但是它們的本質(zhì)都是一樣的，即“任給句子 P，x 是真的 iff.P(其中，x 是句子 P 的名字)”這個(gè)思想。用塔爾斯基自己的話說就是：“當(dāng)我們可以斷定或拒絕‘雪是白的’的時(shí)候，必須同時(shí)斷定或拒絕‘“雪是白的”是真的’?！盵3]

其實(shí)，在塔爾斯基那里，這個(gè)T-模式是不能被滿足的，否則可以構(gòu)造出說謊者悖論。為此要區(qū)分元語言和對象語言，并且把T-模式分割成可數(shù)無窮多個(gè)的Tn-模式，而且真正被滿足的是這可數(shù)無窮個(gè)Tn-模式。關(guān)于T-模式(或者Tn-模式)的代入例中“當(dāng)且僅當(dāng)”有兩類不同的理解[4]，一類是語義上的理解，一類是語形上的理解。語義的理解又有兩種理解：

(1)任給Ln中句子φ，σn+1(Tn(t))=1 iffσn(t)=「φ?并且σn+1φ,其中「φ?是Lm(m

(2)任給Ln中句子φ，σn+1) iff.σnφ。其中σn+1是元語言Ln+1的模型，σn是對象語言Ln的模型。這也就是說，“φ是真n的”在Ln+1中是真的當(dāng)且僅當(dāng)有一個(gè)Ln的模型σn使得φ在σn中解釋為真。這里需要兩個(gè)模型，一個(gè)是元語言的模型σn+1，一個(gè)是對象語言的模型σn。

語形的理解也可以有兩種，為此先假定一個(gè)元語言Ln+1的理論S:

塔爾斯基本人對這里的“當(dāng)且僅當(dāng)”的理解是語形意義上的第(2′)種理解。

三、T-模式中的“真”

關(guān)于T-模式中的“T”也有不同的意義和理解方式，下面將一一介紹。

“真”這個(gè)詞在自然語言(以英語為例)中有兩種用法，一是作為謂詞，比如“Whatyousaidistrue”；一是作為算子，比如 “Itistruethat…”后一種用法類似于“可能”或“必然”等模態(tài)詞。通常都把“可能”“必然”等詞處理為算子，并進(jìn)而發(fā)展出很多理論來?！罢妗边@個(gè)詞顯然也是可以這樣處理的，而且由此可以得到與算子真有關(guān)的T*-模式如下：

T*(φ) ?φ

這里的算子T*其實(shí)就相當(dāng)于一個(gè)同一算子，在這種情況下的T*-模式不會(huì)導(dǎo)致說謊者悖論，因?yàn)樗阕又荒軕?yīng)用于句子(而且是先在的句子)而不能應(yīng)用于詞，從而既可以避免自指的發(fā)生又可以避免非良基的情況出現(xiàn)。一般而言，說謊者悖論中用到的T-模式中的 “T” 是謂詞意義上的真，而不是算子意義上的真*真謂詞和真算子的區(qū)分在以往的討論中也有過出現(xiàn)，比如費(fèi)弗曼 (S.Feferman) 在Toward Useful Type-Free Theories. I這篇文章中就提到過。。

雅布羅認(rèn)為(謂詞意義上的)真這個(gè)詞有強(qiáng)和弱兩層意思[5]。弱的真觀念是指句子φ和“φ是真的”在所有情況下都有相同的值。即使當(dāng)“φ是真的”有既不真也不假的值時(shí)φ也是既不真也不假，或者當(dāng)“φ是真的”是既真又假時(shí)φ也是既真又假。反過來，φ 取任何值“φ是真的”也取相同的值。強(qiáng)的真觀念是指“φ是真的”和φ之間的取值并不是完全一樣的，比如，當(dāng)φ的取值是既不真也不假的時(shí)候“φ是真的”可能是取值為假。一般來說，弱的真觀念比強(qiáng)的真觀念包含更多的信息，并且當(dāng)語言的邏輯資源足夠豐富的時(shí)候，弱的真觀念可以定義強(qiáng)的真觀念。說謊者悖論中用到的T-模式中的“T”一般是弱的真觀念意義上的真。

此外，“真”這個(gè)詞還有絕對意義和相對意義之分。絕對意義上的真是指相對于現(xiàn)實(shí)世界或者反映現(xiàn)實(shí)世界的模型來說的真；而相對意義上的真是指相對于通常意義上的模型是真的，即“模型中的真”。與絕對意義上的真相對的現(xiàn)實(shí)世界(或者反映現(xiàn)實(shí)世界的模型)的定義域不是一個(gè)集合，而是一個(gè)真類；與相對意義上的真相對的模型的定義域是一個(gè)集合。這里所說的T-模式中的“T”就其本意來說是絕對意義上的“真”，但是因?yàn)檫@種意義上的“真”會(huì)導(dǎo)致悖論，所以作為一種解悖方案中的T-模式中的“真”卻是相對意義上的真，即相對于某個(gè)模型類來說的T-模式。說謊者悖論中的 T-模式中的“T”一般來說有絕對意義上的“真”也有相對意義上的“真”。

需要強(qiáng)調(diào)的是，相對于模型的真和在這個(gè)模型中語義值為 t并不是必然等同的。雖然在大多數(shù)邏輯中都是把一個(gè)句子在這個(gè)模型中的語義值為 t定義為這個(gè)句子在這個(gè)模型中為真，但是也有例外，比如普瑞斯特 (Priest) 的方案中不僅語義值為 t的句子是真的，而且有第三值(p)的句子也被當(dāng)做是真的，即t和p都是LP中的指定值。

一般來說，構(gòu)造說謊者悖論的時(shí)候用到的T-模式往往是謂詞意義上的、強(qiáng)的、絕對或相對意義上的“真”[6]。而各種解悖方案中的T-模式中的“真”則是上面說的謂詞意義上的、弱的、相對意義上的“真”。

四、T-模式與(IP)規(guī)則

與T-模式有關(guān)的另一個(gè)重要概念是(IP)規(guī)則，即：如果句子C和D幾乎一樣，只是在一個(gè)句子中出現(xiàn)句子“A”的地方另一個(gè)句子中出現(xiàn)“T(「A?)”，那么可以從C推出D并且從D推出C。

在經(jīng)典邏輯中IP規(guī)則與T-模式是等價(jià)的，但是同時(shí)它們也是有問題的。最大的問題就是可能導(dǎo)致悖論，比如說謊者悖論。T-模式一經(jīng)提出就被當(dāng)做是體現(xiàn)了“真”的某種本質(zhì)。既然T-模式如此重要，但又可能導(dǎo)致悖論，所以絕大多數(shù)解悖方案所要做的一個(gè)很重要的工作就是如何在盡量多地保留T-模式的本質(zhì)的前提下解決悖論。當(dāng)然這只是“大多數(shù)”，也有“少數(shù)”解悖方案是直接修改或間接修改T-模式。而在解決說謊者悖論的處理過程中，往往為了一些目的或處于某些考慮而不能保證二者始終等價(jià)。

在各種解決說謊者悖論的方案中T-模式與(IP)規(guī)則往往不能同時(shí)成立。在經(jīng)典的真理論(即塔爾斯基的真理論)中二者都不成立。有的真理論中T-模式不成立但(IP)成立，比如克里普克的理論；在有的真理論中(IP)不成立但T-模式成立，比如普瑞斯特的理論；而在有的理論中二者(在某種意義上)都成立，比如菲爾德 (H.Field) 的理論。菲爾德把包含(IP)和T-模式的真理論稱作素樸真理論[7]或經(jīng)典真理論[8]。

在塔斯基的真理論中，T-模式和(IP)規(guī)則都不成立，成立的是無數(shù)多個(gè)Ti-模式和與之相應(yīng)的(IP)規(guī)則。塔斯基的理論保留了足夠多的推理能力，但是卻損失了一些表達(dá)力，比如不能自己說自己真或不真。在克里普克的極小固定點(diǎn)真理論中，(IP)規(guī)則成立，但是T-模式并不成立；其代價(jià)是推理能力和表達(dá)力都變?nèi)?，比如同一律、排中律，以及由之推出的其他一些一階邏輯定理都不再成立。另外，在其中無法表達(dá)排除性否定。普瑞斯特的雙面真理論可以使T-模式成立，但是卻不能使(IP)規(guī)則成立；其代價(jià)是推理能力變?nèi)?，比如MP規(guī)則、矛盾律、爆炸律以及由之推出的其他一階定理都不再有效；菲爾德的真理論可以使T-模式和(IP)規(guī)則同時(shí)成立，但是它的T-模式中的“當(dāng)且僅當(dāng)”已經(jīng)不再是由否定和析取定義的等值，而且他的方案有極大的特設(shè)性。一個(gè)既能使T-模式和(IP)規(guī)則同時(shí)成立，又能保留足夠強(qiáng)的推理能力和表達(dá)力的真理論依舊尚未出現(xiàn)。

[1] 趙震.說謊者悖論中的自指與否定[J].重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)).2016.30(1):27-30.

[2] 陳曉平.語義悖論、直觀悖論和決策悖論——關(guān)于悖論的分類和解決[J].重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)).2016,30(9):6-13.

[3] TARSKI A.The semantic concept and the foundations of semantics[J].Philosophy and Phenomenological Research,1944,4(3):344-361.

[4] HALBACH V.Tarski hierarchies[J].Erkenntnis,1995,43(3):339-367.

[5] YABLO S.Truth and reflection[J].Journal of Philosophical Logic,1985,14(3):297-349.

[6] 胡義昭.作為真值談?wù)摼涞恼f謊者[J].重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)).2016,30(12):13-17.

[7] FIELD H.Saving truth from paradox[M].New York:Oxford University Press,2008:12.

[8] FIELD H.Saving the truth schema from paradox[J].Journal of Philosophical Logic,2002,9(1):6-7.

(責(zé)任編輯 張佑法)

The T-Schema in the Liar Paradox

ZHAO Zhen

(Department of Philosophy, Anhui University, Hefei 230601, China)

The T-schema, which is introduced by Tarski, is a very significant rule of modern truth theory. It is that “x is true if and only if p”, where p is a sentence and x is the name of the sentence. The T-schema corresponds very well to the common sense of the word “true”, so it is widely discussed in the study of the Liar paradox and modern truth theory. The liar paradox is related to the T-schema or its equivalent form. There are two key words in the T-schema: “if and only if” and “true”. This paper mainly talks about how to understand the two concepts in the Liar paradox and its solutions. Besides, the relationship between the T-schema and the (IP) rule will also be discussed in this essay.

the liar paradox; T-schema; (IP) rule; truth theory

2017-02-07 基金項(xiàng)目：安徽省高校人文社會(huì)科學(xué)研究項(xiàng)目“說謊者悖論與形式真理論”(SK2016A0082)；安徽大學(xué)博士科研啟動(dòng)經(jīng)費(fèi)項(xiàng)目“悖論相關(guān)問題研究”(J01001319，子項(xiàng)目代碼J10113190101)；安徽大學(xué)哲學(xué)系“固本強(qiáng)基”資助項(xiàng)目“當(dāng)代分析哲學(xué)家邏輯思想研究”

趙震(1984—)，男，河北滄州人，講師，博士，研究方向：悖論與真理論。

趙震.說謊者悖論中的T-模式[J].重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué))，2017(3):20-24.

format：ZHAO Zhen.The T-Schema in the Liar Paradox[J].Journal of Chongqing University of Technology(Social Science)，2017(3):20-24.

10.3969/j.issn.1674-8425(s).2017.03.004

B81

A

1674-8425(2017)03-0020-05