塔爾斯基[Alfred Tarski，1902-1983]波蘭裔美國(guó)邏輯學(xué)家、語(yǔ)言學(xué)家和哲學(xué)家。1924年在華沙大學(xué)獲數(shù)學(xué)博士學(xué)位，1939年移居美國(guó)，1945年加入美國(guó)籍。代表作是《形式化語(yǔ)言中真這個(gè)概念》，該文完成1931年，發(fā)表于1933。該文不僅開(kāi)創(chuàng)了現(xiàn)代邏輯的語(yǔ)義學(xué)研究，奠定了他在邏輯學(xué)和語(yǔ)言學(xué)中的重要地位。該文還是塔爾斯基用語(yǔ)義分析方法解決哲學(xué)問(wèn)題的重要成果，他關(guān)于真理的定義在語(yǔ)言哲學(xué)中產(chǎn)生了很大的影響，從而也奠定了他在語(yǔ)言哲學(xué)中的地位。

真理概念是語(yǔ)義學(xué)的最重要的概念之一，因?yàn)閺哪撤N意義上說(shuō)，了解一個(gè)命題就在于了解這一命題為真的條件。然而，真理這一概念又是十分含混的，歷史上哲學(xué)家們對(duì)于真理有過(guò)許多種不同的解釋?zhuān)�有真理符合論、真理融貫論、真理�?shí)用論、真理冗余論等等。其中最有影響的是符合論。符合論的基本思想是：語(yǔ)句的真在于它與客體、與世界的關(guān)系，在于它與客體在世界中的存在方式或存在狀況的符合與對(duì)應(yīng)。符合即為真，否則為假。實(shí)在論和可知論是符合論的前提。

真理符合論可以追溯到亞里士多德。亞里士多德在《形而上學(xué)》中對(duì)“真”有過(guò)一段著名的論述：“凡以不是為是、是為不是者這就是假，凡以實(shí)為實(shí)、以假為假者，這就是真�！眮喞锸慷嗟碌倪@一論述還可以用現(xiàn)代哲學(xué)術(shù)語(yǔ)表述為“語(yǔ)句之為真在于它與現(xiàn)實(shí)一致”，或表述為“語(yǔ)句是真的，如果它是指示一種存在著的事態(tài)”。塔爾斯基認(rèn)為，無(wú)論是亞里士多德的表述，還是現(xiàn)代哲學(xué)的表述，都不是十分精確和清楚的，都可能導(dǎo)致各種各樣的誤解，因而，它們都不能成為一個(gè)滿意的真理的定義。

符合論是我們對(duì)真理的一種直覺(jué)看法，怎樣把這種直覺(jué)看法精確地表述出來(lái)呢？“T型等式”就是塔爾斯基給出的一種精確表述。所謂“T型等式”，是指“（T）X是真的，當(dāng)且僅當(dāng)p”這樣的等式。其中字母p表示任意一個(gè)句子，X表示該句子的名稱(chēng)。塔爾斯基強(qiáng)調(diào)，對(duì)于一個(gè)“X是真的”形式的表達(dá)式，如果我們用一個(gè)句子或其它任何不是名稱(chēng)的東西去替換X，那就不能使它成為一個(gè)有意義的句子，因?yàn)橐粋�(gè)語(yǔ)句的主語(yǔ)只能是名詞或者名詞性的表達(dá)式。也就是說(shuō)，“真”是針對(duì)句子而言的，我們只能說(shuō)“雪是白的”是真的，而不能說(shuō)雪是白的是真的。這里的引號(hào)是不能去掉的，就如同“u2018巧克力u2019不是甜的”中巧克力的引號(hào)不能去掉一樣，當(dāng)我們說(shuō)“巧克力是甜的”時(shí)，我們所要表述的是“巧克力”這個(gè)語(yǔ)詞所指稱(chēng)的對(duì)象具有“甜的”這樣一種屬性，而“u2018巧克力u2019不是甜的”的意思是“巧克力”這個(gè)名稱(chēng)不具有“甜的”這一屬性。一個(gè)語(yǔ)詞加上引號(hào)表示的是該語(yǔ)詞的名稱(chēng)，一個(gè)句子加上引號(hào)表示的是該句子的名稱(chēng)。塔爾斯基根據(jù)T型等值式給出了一個(gè)非常著名的論斷：“雪是白的”是真的，當(dāng)且僅當(dāng)雪是白的。塔爾斯基還指出，T型等值式雖然是對(duì)真理的直覺(jué)看法的精確表述，但是無(wú)論是T型等值式本身，還是它的任何特定事例都不是這里的定義。我們只能說(shuō)，由某個(gè)特殊句子代替“p”，這個(gè)句子的名稱(chēng)代替“X”所獲得的具體的T型等值式，可以看作是真理的部分定義，它解釋了這一具體語(yǔ)句為真的條件。在某種意義上，一般性定義應(yīng)是所有這些部分定義的合取。

粗略地講，語(yǔ)義學(xué)是研究語(yǔ)言的表達(dá)式和這些表達(dá)式所指稱(chēng)的對(duì)象之間關(guān)系的一門(mén)學(xué)問(wèn)�！罢妗薄ⅰ爸甘尽�、“滿足”、“定義”等都是典型的語(yǔ)義學(xué)概念。從古至今，語(yǔ)義學(xué)概念在哲學(xué)家、邏輯學(xué)家和語(yǔ)言學(xué)家們的討論中發(fā)揮了重要作用。不過(guò)，長(zhǎng)久以來(lái)，這些概念一直受到某種程度的懷疑，從歷史的角度來(lái)看，可以認(rèn)為這種懷疑是完全公正的。因?yàn)�，盡管語(yǔ)義學(xué)的概念在日常語(yǔ)言中被使用時(shí)其意義似乎是相當(dāng)清楚的，但所有試圖以精確的一般形式來(lái)說(shuō)明其意義的努力又都以失敗而告終。更糟糕的是，各種包含了這些概念而在其他方面看來(lái)十分正確并且以十分明顯的前提為基礎(chǔ)的論證，常常導(dǎo)致自相矛盾。說(shuō)謊者悖論就是一個(gè)絕好的例證。

說(shuō)謊者悖論有各種各樣的表述，可以表述為“我正在說(shuō)謊”，也可以表述為“我正在說(shuō)的這句話是假的”或“我正在說(shuō)的這句話不是真的”。這里的矛盾何在呢？為簡(jiǎn)明起見(jiàn)，我們用　下面的一句話來(lái)分析：

框里的這句話不是真的

并用“S”來(lái)代表這句話。根據(jù)T型等值式，我們可以得到這樣一個(gè)具體的等式：“S”是真的，當(dāng)且僅當(dāng)框里的那句話不是真的。由于我們已用S來(lái)表示框里的那句話，所以，可以用S替代等式中的“框里的那句話”，于是，我們得到了一個(gè)明顯矛盾的等式：“S”是真的，當(dāng)且僅當(dāng)S不是真的。不要把這一悖論看作是詭辯或笑料，不要低估這一悖論的重要性。我們必須找出它的原因來(lái)。

是什么原因?qū)е铝苏f(shuō)謊者悖論呢？塔爾斯基回答說(shuō)：是語(yǔ)義的封閉性。所謂語(yǔ)義封閉性，是指在那些構(gòu)成悖論的語(yǔ)言中，除了它們的表達(dá)式外，還包含有這些表達(dá)式的名稱(chēng)以及象“真的”這樣的涉及這種語(yǔ)言的語(yǔ)義學(xué)詞項(xiàng)�！拔覀円寻岛�地假定，悖論在其中構(gòu)成的語(yǔ)言不僅包含了這種語(yǔ)言的表達(dá)式，也包含了這些表達(dá)式的名稱(chēng)，同時(shí)還包含了諸如指稱(chēng)這種語(yǔ)言中的詞項(xiàng)u2018真的u2019這樣的語(yǔ)義學(xué)詞項(xiàng)；我們還假定所有決定這個(gè)詞項(xiàng)的適當(dāng)使用的語(yǔ)句都能在這種語(yǔ)言中得到斷定。具有這些性質(zhì)的語(yǔ)言以后將被稱(chēng)為是u2018語(yǔ)義上封閉的u2019�！�

塔爾斯基認(rèn)為，只要我們放棄使用語(yǔ)義學(xué)上封閉的語(yǔ)言，悖論就不會(huì)出現(xiàn)了。不使用這樣的語(yǔ)言，應(yīng)該使用什么樣的語(yǔ)言呢？為此，塔爾斯基提出了著名的“語(yǔ)言層次理論”。該理論的基本思想是：必須區(qū)分“對(duì)象語(yǔ)言”和“元語(yǔ)言”；關(guān)于一語(yǔ)句的真、假的表述必須用層次高于這種語(yǔ)言的語(yǔ)言來(lái)表述。對(duì)象語(yǔ)言是用來(lái)談?wù)搶?duì)象的性質(zhì)及相互關(guān)系的語(yǔ)言，元語(yǔ)言是談?wù)搶?duì)象語(yǔ)言的語(yǔ)言�！皩�(duì)象語(yǔ)言”和“元語(yǔ)言”的區(qū)分只具有相對(duì)的意義，低層次的元語(yǔ)言可能是更高層次元語(yǔ)言的對(duì)象語(yǔ)言。按照該理論的要求去做的話，就避免了一個(gè)語(yǔ)句自己表述自己的真假，達(dá)到了消除悖論的目的。

塔爾斯基的目標(biāo)是要給“真句子”下一個(gè)在實(shí)質(zhì)上是適當(dāng)?shù)�、在形式上是正確的定義。塔爾斯基認(rèn)為，要給“真句子”下這樣的定義，必須借助于元語(yǔ)言的表達(dá)式，元語(yǔ)言的層次要高于作為研究對(duì)象的語(yǔ)言層次，如果元語(yǔ)言的層次至多等于該語(yǔ)言自身的話，這樣的定義就不能成立。由于日常語(yǔ)言的語(yǔ)義是封閉性的，想要在日常語(yǔ)言體系中為“真句子”這個(gè)詞建立一個(gè)滿意的定義是不可能的。于是，塔爾斯基把注意力轉(zhuǎn)向了形式語(yǔ)言，在形式語(yǔ)言中給出了“真”的定義：x∈Tr，當(dāng)且僅當(dāng)x∈S并且每一個(gè)類(lèi)的無(wú)限序列都滿足x 。塔爾斯基用Tr 表示真句子所組成的類(lèi)，x∈Tr 表示x是一個(gè)真句子，用x∈S表示x是一句子，是一個(gè)沒(méi)有自由變?cè)�的句子函�?xiàng)。

“滿足”是理解塔爾斯基真之定義的一個(gè)關(guān)鍵，也是語(yǔ)義研究中不可缺少的一個(gè)概念，塔爾斯基是在給出“滿足”的解釋后定義“真”的。由于塔爾斯基是相對(duì)于類(lèi)演算作出對(duì)“滿足”的解釋的，所以他的解釋具有很強(qiáng)的技術(shù)性，采用的是遞歸方法，如果沒(méi)有類(lèi)演算的知識(shí)為背景，僅僅給出他對(duì)“滿足”的解釋?zhuān)�那�?jiǎn)直就不知所云。即便有類(lèi)演算這種背景知識(shí)，要理解它也不是一件輕而易舉的事。好在塔爾斯基后來(lái)又給了“滿足”一個(gè)通俗的解釋?zhuān)喝绻��?dāng)我們用給定對(duì)象的名稱(chēng)替換給定函項(xiàng)中的自由變項(xiàng)時(shí)，給定函項(xiàng)變成真語(yǔ)句，那么給定對(duì)象便滿足了給定函項(xiàng)。比如說(shuō)，“雪”滿足函項(xiàng)“x是白的”，因?yàn)橛谩把�”替代函�?xiàng)中的變項(xiàng)x后所得到的語(yǔ)句“雪是白的”是一個(gè)真語(yǔ)句。

塔爾斯基為什么不直接用遞歸方法直接給“真”下定義，而要通過(guò)“滿足”來(lái)定義“真”呢？塔爾斯基解釋道：雖然復(fù)合語(yǔ)句由簡(jiǎn)單的語(yǔ)句函項(xiàng)所構(gòu)成，但并非總是來(lái)自簡(jiǎn)單的語(yǔ)句，所以并沒(méi)有專(zhuān)門(mén)適用于語(yǔ)言的一般性遞歸方法。

塔爾斯基的真理理論奠定了邏輯語(yǔ)義學(xué)的基礎(chǔ)。塔爾斯基的語(yǔ)言層次論的影響也很大，今天西方許多處理語(yǔ)義悖論的方法都與它大同小異。

邏輯哲學(xué)的基本問(wèn)題是邏輯與客觀現(xiàn)實(shí)的關(guān)系問(wèn)題,即邏輯真理是否反映客觀現(xiàn)實(shí)?邏輯學(xué)的始祖亞里士多德提出了著名的真理符合論,認(rèn)為邏輯規(guī)律是客觀現(xiàn)實(shí)的反映。塔爾斯基把它概括為一句話:“語(yǔ)句之真在于它與現(xiàn)實(shí)相一致�！比R布尼茨首先對(duì)亞里士多德的真理符合論提出了挑戰(zhàn),提出了二元真理論,他認(rèn)為,有兩種真理,一種是推理的真理,一種是事實(shí)的真理。正是在真理符合論和真理二元論長(zhǎng)期爭(zhēng)議的背景下,塔爾斯基另辟蹊徑,第一次提出了語(yǔ)義真理論,并由此創(chuàng)建了邏輯語(yǔ)義學(xué),在世界哲學(xué)界產(chǎn)生了極其廣泛而深遠(yuǎn)的影響。

1931年3月,塔爾斯基用波蘭文撰寫(xiě)了《形式化語(yǔ)言中的真理概念》一文。該文主題十分明確,一開(kāi)始就開(kāi)宗明義地說(shuō):“本文幾乎全部是獻(xiàn)給一個(gè)問(wèn)題———真理的定義的。它的任務(wù)是,針對(duì)一種給定的語(yǔ)言,建立一個(gè)實(shí)質(zhì)上適的、形式上正確的關(guān)于u2018真句子u2019這個(gè)詞的定義�！睘榱吮ＷC定義的科學(xué)性和可信性,塔爾斯基提出了合適的定義必須滿足的兩個(gè)條件:一是實(shí)質(zhì)適當(dāng)性,二是形式正確性,并對(duì)這兩個(gè)條件的涵義作了明確的規(guī)定。簡(jiǎn)言之,實(shí)質(zhì)適當(dāng)性是指能成功地把握被下定義詞項(xiàng)的日�；蛑庇^意義,即能抓住古典符合論真理定義所蘊(yùn)藏的內(nèi)涵。形式正確性是指能把清晰明確的定義詞項(xiàng)無(wú)歧義地運(yùn)用于被定義詞項(xiàng)的外延。

塔爾斯基真理論的目標(biāo)是對(duì)真句子作一實(shí)質(zhì)上適當(dāng)、形式上正確的定義。為了把對(duì)真理的定義局限于句子,他曾作過(guò)如下解釋:謂詞“真的”有時(shí)用于某種心理現(xiàn)象,比如判斷和信念;有時(shí)用于某種物理客體,即語(yǔ)言表達(dá)式,具體地說(shuō)就是句子;有時(shí)用于某種被稱(chēng)為“命題”的觀念實(shí)體。由于若干原因,把“真的”這個(gè)詞項(xiàng)用于句子是最方便妥當(dāng)?shù)摹＿@里所說(shuō)的“句子”是指的直接陳述句,含義十分清楚。因此,我們可以把陳述句看作“真的”的應(yīng)用域,即它的外延。至于謂詞“真的”的內(nèi)涵則涉及對(duì)象的內(nèi)容,問(wèn)題比較復(fù)雜。塔爾斯基認(rèn)為,“真的”這個(gè)詞項(xiàng),如同日常語(yǔ)言中的一些其它詞項(xiàng)那樣,是多義的,用法含糊。在他看來(lái),那些討論過(guò)這個(gè)概念的哲學(xué)家們也沒(méi)能幫助消除這種含糊性。他選擇了亞里士多德的真理概念作為討論詞項(xiàng)“真的”的意義的起點(diǎn)。因?yàn)閬喞锸慷嗟碌恼胬砀拍钆c直觀比較接近。用現(xiàn)代哲學(xué)術(shù)語(yǔ),亞里士多德的論斷可以表述為:語(yǔ)句之真在于它與現(xiàn)實(shí)相一致(或相符合)。如果把語(yǔ)句的所指看作“事態(tài)”,那么它又可表述為:一個(gè)語(yǔ)句是真的,如果它指稱(chēng)一種存在事態(tài)。塔爾斯基認(rèn)為,這些表述都不是足夠精確和清楚的,無(wú)論如何,它們中沒(méi)有一個(gè)能夠成為一個(gè)滿意的真理定義。他考察了一個(gè)具體例子:“雪是白的”這個(gè)句子在什么條件下為真,在什么條件下為假。看來(lái)似乎很明顯,如果以古典的真理概念為基礎(chǔ),我們會(huì)說(shuō):如果雪是白的,那么這個(gè)句子是真的;如果雪不是白的,那么這個(gè)句子就是假的。于是,假若真理定義要與我們的想法一致,那么它就必須蘊(yùn)涵下面這個(gè)等值式:語(yǔ)句“雪是白的”為真,當(dāng)且僅當(dāng)雪是白的。注意,這里是說(shuō)“必須蘊(yùn)涵”,這是塔爾斯基真理定義的關(guān)鍵。我們看到,雪是白的這四個(gè)字在等值式的兩邊都出現(xiàn),出現(xiàn)在左邊時(shí)它帶引號(hào),出現(xiàn)在右邊時(shí)則無(wú)引號(hào)。右邊無(wú)引號(hào)的是句子本身,左邊有引號(hào)的是句子的名稱(chēng)。為什么左邊要用句子的名稱(chēng)呢?原因是從語(yǔ)法的角度看,一個(gè)句子的主語(yǔ)只能是名詞性的表達(dá)式。對(duì)于一個(gè)“X是真的”形式的表達(dá)式,如果我們用一個(gè)句子去替換X ,或用其它任何不是名稱(chēng)的東西去替換X ,那就都不能使替換后的表達(dá)式成為一個(gè)有意義的句子,將句子加引號(hào)所得的句子叫做引號(hào)名稱(chēng)。如果把上面的討論一般化,用字母P代替任一句子,用字母X代替該句子的名稱(chēng),于是,從我們對(duì)真理的基本觀點(diǎn)來(lái)看,兩個(gè)句子“P”和“X是真的”之間應(yīng)有等值的邏輯關(guān)系,換言之,下面的等值式成立: ( T) :X是真的,當(dāng)且僅當(dāng)P。塔爾斯基稱(chēng)之為T(mén)型等值式。他認(rèn)為,如果一個(gè)真理定義蘊(yùn)涵這一類(lèi)的等值式,那就滿足了真理定義的令人滿意的首要條件:在實(shí)質(zhì)上適當(dāng)。須要注意的是, T型等值式本身不是一個(gè)語(yǔ)句,而只是一種語(yǔ)句模式,所以它不是真理的定義,而是單獨(dú)句子的成真條件,可以看作真理的部分定義。在某種程度上,一般的定義是所有這些部分定義的合取,由于一般來(lái)說(shuō)一語(yǔ)言中的語(yǔ)句是無(wú)窮的,所以這種合取是一種無(wú)窮的合取。塔爾斯基認(rèn)為,在具體構(gòu)造真理定義之前,有必要對(duì)普通語(yǔ)言中的真句子定義作一翻剖析,他說(shuō):“為了把讀者引向我們的主題,對(duì)普通語(yǔ)言中關(guān)于真的定義,作一短暫的考察似乎是適當(dāng)?shù)摹！彼麖目疾煺f(shuō)謊者悖論開(kāi)始�，F(xiàn)在我們用符號(hào)S作為下列句子的縮寫(xiě):

S不是真句子

這樣,憑經(jīng)驗(yàn),我們可以建立

(1)“S不是真句子”等同于S

現(xiàn)在對(duì)S和它的引號(hào)名稱(chēng)“S”建立T等式,可以得到:

(2)“S不是真句子”是真句子,當(dāng)且僅當(dāng),S不是真句子。

將(1)和(2)結(jié)合可以得到:

S是真句子,當(dāng)且僅當(dāng),S不是真句子。

這顯然是一個(gè)悖論。

對(duì)上面這個(gè)例子加以分析,我們就會(huì)發(fā)現(xiàn)其中包含了兩種不同層次的語(yǔ)言,一種是語(yǔ)言發(fā)達(dá)式本身,即對(duì)象語(yǔ)言,另一種是用來(lái)談?wù)撉耙环N語(yǔ)言的語(yǔ)言,即元語(yǔ)言。元語(yǔ)言包括語(yǔ)言表達(dá)式的名稱(chēng)和語(yǔ)義學(xué)詞項(xiàng)“真的”。由于把兩種不同層次的語(yǔ)言混為一談,因而產(chǎn)生了說(shuō)謊者悖論。于是,塔爾斯基得出結(jié)論,在討論真理定義時(shí),我們必須用兩種不同層次的語(yǔ)言。真理定義本身以及它所蘊(yùn)含的全部T型等值式“X是真的,當(dāng)且僅當(dāng)P”,都要用元語(yǔ)言來(lái)表述。其中元語(yǔ)言符號(hào)“P”,都要用元語(yǔ)言來(lái)表述。其中元語(yǔ)言符號(hào)“P”代表對(duì)象語(yǔ)言中的任意一個(gè)語(yǔ)句。這表明“每個(gè)出現(xiàn)在對(duì)象語(yǔ)言中的語(yǔ)句也必須在元語(yǔ)言中出現(xiàn),換言之,元語(yǔ)言必須將對(duì)象語(yǔ)言作為部分包括在內(nèi)”。[ 3 ] (第257頁(yè))對(duì)于像日常語(yǔ)言那樣豐富的語(yǔ)言,在邏輯規(guī)律在其中成立的條件下,想無(wú)矛盾地使用“真句子”這個(gè)詞,看來(lái)十分成問(wèn)題,要想為它建立滿意的定義是不可能的。之所以如此,是因?yàn)槿粘ＵZ(yǔ)義具有普遍性,或稱(chēng)語(yǔ)義封閉性。于是,塔爾斯基把注意力轉(zhuǎn)向了形式化語(yǔ)言,并且選擇類(lèi)演算作為實(shí)例來(lái)展開(kāi)他的理論。類(lèi)演算是極為簡(jiǎn)單的形式化語(yǔ)言,詞匯有限,而且句法結(jié)構(gòu)簡(jiǎn)潔。在確定了形式化語(yǔ)言之后,塔爾斯基通過(guò)兩個(gè)步驟提出了他的真理定義。他首先定義了滿足,然后憑借滿足定義了真理。他之所以要先定義滿足,是因?yàn)闈M足下定義相對(duì)來(lái)說(shuō)困難較少,并且真理概念很容易從滿足概念中得到。那么,塔爾斯基是如何定義滿足的呢?他說(shuō):“滿足是任意對(duì)象與某些被稱(chēng)為u2018語(yǔ)句函項(xiàng)u2019的表達(dá)式之間的一種關(guān)系。像u2018X是白的u2019,u2018X大于Yu2019等就是這類(lèi)表達(dá)式�！崩�如:雪這個(gè)對(duì)象滿足語(yǔ)句函項(xiàng)“X是白的”, (3 ,2 ..)這個(gè)對(duì)象序列滿足語(yǔ)句函項(xiàng)“X大于Y”,如此等等。由于“滿足”是表示對(duì)象序列與語(yǔ)句函項(xiàng)之間的關(guān)系,而在塔爾斯基的形式語(yǔ)言中,最簡(jiǎn)單最基本的句法結(jié)構(gòu)是“包含”,因此,關(guān)于“滿足”的定義就是:任意兩個(gè)類(lèi)A和B滿足語(yǔ)句函項(xiàng)“X包含于Y”,當(dāng)且僅當(dāng)A包含于B。在對(duì)“滿足”下了定義之后,塔爾斯基開(kāi)始給真理下定義了。他說(shuō):“我們注意到,一旦獲得了滿足的一般定義,它也就自動(dòng)地適用于那些不包含自由變量的特殊語(yǔ)句函項(xiàng),即語(yǔ)句。最終可以看到,對(duì)于語(yǔ)句來(lái)說(shuō)只可能有兩種情形:或者語(yǔ)句被所有對(duì)象所滿足,或者不被任何對(duì)象所滿足。這樣,我們簡(jiǎn)單地通過(guò)下面的陳述就獲得了真理和虛假的定義,那就是,語(yǔ)句是真的如果它被所有對(duì)象所滿足,語(yǔ)句是假的如果情況相反�！焙�(jiǎn)言之,真理的定義就是: X是真語(yǔ)句,當(dāng)且僅當(dāng)X是一語(yǔ)句并且類(lèi)中每一無(wú)窮序列都滿足X。這樣,塔爾斯基以語(yǔ)言層次論為基礎(chǔ),以類(lèi)演算為形式語(yǔ)言,運(yùn)用遞歸定義的方法,先提出基本語(yǔ)句函項(xiàng)的滿足條件,再提出復(fù)合語(yǔ)句函項(xiàng)的滿足條件,最后借助“滿足”定義了真理。這個(gè)定義完全滿足了他自己提出的條件:實(shí)質(zhì)上適當(dāng),形式上正確,因而是科學(xué)的真理定義。

塔爾斯基運(yùn)用語(yǔ)義分析和現(xiàn)代邏輯分析的手段對(duì)亞里士多德的真理符合論作出了精確的解釋,創(chuàng)立了語(yǔ)義真理論,這是20世紀(jì)哲學(xué)的一個(gè)重大成果。塔爾斯基對(duì)語(yǔ)義學(xué)的貢獻(xiàn)最重要的一個(gè)方面就是提出了語(yǔ)言層次理論,將對(duì)象語(yǔ)言和元語(yǔ)言區(qū)分開(kāi)來(lái)。他認(rèn)為,這是一種避免悖論的方法,說(shuō)謊者悖論之所以產(chǎn)生,是因?yàn)閷?duì)象語(yǔ)言是語(yǔ)義封閉的、含有反身自用的語(yǔ)義概念。只有在元語(yǔ)言中,才能提及對(duì)象語(yǔ)言的表達(dá)式,才能談?wù)搶?duì)象語(yǔ)言的性質(zhì)和特點(diǎn),并構(gòu)造出對(duì)象語(yǔ)言語(yǔ)義概念的表達(dá)式的定義。在形式化語(yǔ)言中,一個(gè)實(shí)質(zhì)上適當(dāng)、形式上正確的關(guān)于真句子的定義只能借助元語(yǔ)言來(lái)實(shí)現(xiàn),因?yàn)樵�語(yǔ)言是比對(duì)象語(yǔ)言高一個(gè)層次的語(yǔ)言。所以,語(yǔ)言層次論的基本思想可以簡(jiǎn)單地概括為一句話:必須區(qū)分對(duì)象語(yǔ)言和元語(yǔ)言,關(guān)于一語(yǔ)句的真、假的表述,必須用層次上高于這種語(yǔ)言的語(yǔ)言來(lái)表述。