二 塔爾斯基邏輯語(yǔ)義真理論——突破傳統(tǒng)真理符合論

從分析哲學(xué)的發(fā)展史來(lái)看，真正推動(dòng)真理論的發(fā)展和轉(zhuǎn)向的，應(yīng)該屬于著名波蘭語(yǔ)言哲學(xué)家塔爾斯基。塔爾斯基的邏輯語(yǔ)義真理論推動(dòng)了形式真理的研究與發(fā)展，使真理論“朝著語(yǔ)言而生長(zhǎng)”，具有開(kāi)創(chuàng)性，值得借鑒。

（一）創(chuàng)立語(yǔ)言分層理論，提出著名的“T”語(yǔ)句等值式及條件

塔爾斯基看到了傳統(tǒng)真理符合論的問(wèn)題在于基本概念的模糊不清，容易產(chǎn)生歧義，而且極易產(chǎn)生悖論。為了克服以上缺陷，他繼承弗雷格邏輯語(yǔ)句分析理論，反對(duì)哲學(xué)中的心理主義和傳統(tǒng)的本體論形而上學(xué)，避開(kāi)認(rèn)識(shí)論關(guān)于事態(tài)與語(yǔ)句之間“符合”與否的問(wèn)題；剔除所有為假定義的語(yǔ)義性和意向性的概念如意義、信仰等，把哲學(xué)的中心任務(wù)框定為人工語(yǔ)言的語(yǔ)句分析，在《形式化語(yǔ)言中的真理概念》一文中提出了著名的語(yǔ)義真理論和語(yǔ)言的分層理論，即把人工語(yǔ)言第一次明確劃分為對(duì)象語(yǔ)言和元語(yǔ)言，從而避免語(yǔ)義悖論的出現(xiàn)。對(duì)象語(yǔ)言是指談?wù)撏獠渴澜缈陀^對(duì)象性質(zhì)及相互關(guān)系的語(yǔ)言，其詞匯主要有支撐外在對(duì)象的名稱、性質(zhì)和關(guān)系的謂詞，它為第一層次的語(yǔ)言；元語(yǔ)言是指用來(lái)談?wù)搶?duì)象語(yǔ)言的語(yǔ)言，其詞匯有指稱對(duì)象語(yǔ)言的名稱及指稱對(duì)象性質(zhì)的謂詞，諸如“真”或者“假”，它是比對(duì)象語(yǔ)言高一層次的語(yǔ)言。當(dāng)人們說(shuō)“Snow is white”時(shí)，用的就是談?wù)摽陀^對(duì)象的對(duì)象語(yǔ)言；當(dāng)人們說(shuō)“‘Snow is white’是真的”時(shí)，就是用的談?wù)搶?duì)象語(yǔ)言的元語(yǔ)言。塔爾斯基在對(duì)語(yǔ)言進(jìn)行分層的基礎(chǔ)上為真理下了一個(gè)定義，即建立了一個(gè)等值式，這就是被世人稱為“T語(yǔ)句”的命題分析句式：

 

“T……X是真的，當(dāng)且僅當(dāng)P。”或者表述為：“S是真的當(dāng)且僅當(dāng)P。”其例句為：

“Snow is white是真的當(dāng)且僅當(dāng)雪是白的”。（英語(yǔ)表示對(duì)象語(yǔ)言，漢語(yǔ)表示元語(yǔ)言）

 

這里P可用“真的”這個(gè)謂詞相聯(lián)系的任何句子代替，而X可以由這句子的名稱代替。或者說(shuō)，P可以替換為對(duì)象語(yǔ)言中的句子，X則可以替換為P的名稱。

在塔爾斯基這里，S真意味著P，作為元語(yǔ)言的S的真要靠P來(lái)保證，那么P就是S的成真條件。或者說(shuō)，對(duì)象語(yǔ)言中的任何一句話“X”的成真條件就是客觀存在的P；那么，雪是白的（P）就是“雪是白的”這句話的成真條件。這說(shuō)明，塔爾斯基的哲學(xué)信念就是“真理=意義”。“雪是白的”這句話的意義就在于“‘雪是白的’為真”。之所以說(shuō)一個(gè)語(yǔ)句為真的理由在于現(xiàn)實(shí)中有一個(gè)客觀的東西，并因此而使該命題為真。塔爾斯基之所以這么做，是試圖避免使用類似“指稱”這種語(yǔ)義學(xué)概念。

在這里“P”由任何一個(gè)可與“真的”這個(gè)謂詞相聯(lián)系的語(yǔ)句替換，相應(yīng)地X則由這個(gè)語(yǔ)句的名稱替換。問(wèn)題在于，這個(gè)等值式用在自然語(yǔ)言里就會(huì)導(dǎo)致悖論出現(xiàn)。為了避免出現(xiàn)悖論，一個(gè)可以接受的真定義應(yīng)該滿足兩個(gè)條件：第一個(gè)條件為實(shí)質(zhì)的充分性或者內(nèi)容的適當(dāng)性；第二個(gè)條件是形式的正確性。由于自然語(yǔ)言不符合要求，就只好轉(zhuǎn)向人工語(yǔ)言，并且規(guī)定與“真的”相聯(lián)系的句子P為對(duì)象語(yǔ)言，其他的部分如語(yǔ)句的名稱、邏輯詞項(xiàng)等則為談?wù)搶?duì)象語(yǔ)言的語(yǔ)言，即元語(yǔ)言。為了保證元語(yǔ)言能言說(shuō)對(duì)象語(yǔ)言，必須滿足兩個(gè)要件：一是元語(yǔ)言足夠豐富；二是對(duì)象語(yǔ)言必須全部在元語(yǔ)言中出現(xiàn)，或者說(shuō)對(duì)象語(yǔ)言能翻譯為元語(yǔ)言。

（二）利用“滿足概念”和“遞歸程序”使等值式兩端相連接

怎樣才能使等值式中的“P”與“真的”相連呢？塔爾斯基的法寶是利用“滿足概念”和“遞歸程序”來(lái)達(dá)到。他認(rèn)為，假定“P”為“X大于等于Y所替換”，那么我們只要知道X大于Y或X等于Y中的一個(gè)就行了。很顯然，用“2”和“1”或者“3”和“2”分別代入“X”和“Y”都可以。這是因?yàn)椤?”和“1”滿足“X大于Y”，也就滿足“X大于Y或等于Y”。如果一個(gè)表達(dá)式或語(yǔ)句被所有對(duì)象的名稱所滿足，便是真的，否則就不是真的。這樣語(yǔ)句的真的定義就構(gòu)造出來(lái)了，T語(yǔ)句也就成立了。可以看出，塔爾斯基的“真”定義的論證建立在二個(gè)基本概念上，即滿足和翻譯。通過(guò)滿足概念，使“P”得以確定；通過(guò)翻譯概念，使T語(yǔ)句和等值式得以建立。也可以說(shuō)，T語(yǔ)句等值式與意義概念的關(guān)系密不可分，并以此為基礎(chǔ)。這一點(diǎn)已經(jīng)由戴維森明確點(diǎn)破：“沒(méi)有必要掩飾在塔爾斯基已表明其構(gòu)造方式的那種真的定義與意義概念之間的明顯聯(lián)系。這種聯(lián)系就是：真的定義通過(guò)給出每個(gè)真語(yǔ)句的充分必要條件而起作用，而給出真值條件也就是給出一個(gè)語(yǔ)句的意義的一種方式。知道一種語(yǔ)言的語(yǔ)義性真理概念，便是知道了一個(gè)語(yǔ)句（任何一個(gè)語(yǔ)句）為真是怎么一回事，而這就等于理解了這種語(yǔ)言。”

塔爾斯基的語(yǔ)義真理論的T語(yǔ)句分析理論，啟示了后來(lái)的哲學(xué)家在真理問(wèn)題上“朝著語(yǔ)言而生長(zhǎng)”。而局限性也非常明顯，其真理概念僅限于精確的形式語(yǔ)言即人工語(yǔ)言，建立在嚴(yán)格的“真”與“假”二值邏輯基礎(chǔ)之上，與人們?nèi)粘＝煌鶎?shí)踐中的自然語(yǔ)言及其真理性不相關(guān)。這就給后來(lái)的哲學(xué)家探討自然語(yǔ)言的真理問(wèn)題提供了空間。