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

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

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

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

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

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

框里的這句話不是真的

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

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

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

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

“滿足”是理解塔爾斯基真之定義的一個關(guān)鍵，也是語義研究中不可缺少的一個概念，塔爾斯基是在給出“滿足”的解釋后定義“真”的。由于塔爾斯基是相對于類演算作出對“滿足”的解釋的，所以他的解釋具有很強的技術(shù)性，采用的是遞歸方法，如果沒有類演算的知識為背景，僅僅給出他對“滿足”的解釋，那簡直就不知所云。即便有類演算這種背景知識，要理解它也不是一件輕而易舉的事。好在塔爾斯基后來又給了“滿足”一個通俗的解釋：如果當我們用給定對象的名稱替換給定函項中的自由變項時，給定函項變成真語句，那么給定對象便滿足了給定函項。比如說，“雪”滿足函項“x是白的”，因為用“雪”替代函項中的變項x后所得到的語句“雪是白的”是一個真語句。

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

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

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

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

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

S不是真句子

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

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

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

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

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

S是真句子,當且僅當,S不是真句子。

這顯然是一個悖論。

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

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