真理的語義理論

真理的語義理論（Semantic theory of truth）聲稱對某個命題為真的任何斷言，可以只作為形式上的需要而做出來，不管表達命題自身用了什麼語言。

真理的語義概念，以不同的方式同符合和緊縮的概念有關，是由波蘭邏輯學家Alfred Tarski在1930年代出版的著作引發的。Tarski在《On the Concept of Truth in Formal Languages》中嘗試公式化一種新的真理的理論來解決說謊者悖論。在其中他做出了很多數學發現，最著名的是塔斯基不可定義性定理，它類似於哥德爾不完全定理。粗略的說，它聲稱一個給定語言的句子的真理概念不能在這個語言內被一致性的定義出來。

T-模式

要公式化有關語言學事情的理論，為了避免語義悖論比如說謊者悖論，區分你談話用的所謂對象語言和你使用的所謂元語言，一般是必須的。在下面，引用起來的句子如"P"總是對象語言的句子。所有沒有引用起來的東西都是元語言的。Tarski的實質充分條件，也叫做約定T或T-模式，聲稱真理的任何可行的理論必須包含它，對於一個語言的所有句子P有：

(1) "P"為真，當且僅當p。

（這裡的p簡寫了由目標語言的句子"P"所表達的，元語言中的命題。）

例如

(2) "雪是白的"為真，當且僅當雪是白的。

（2）的前半部分關於句子"雪是白的"。後半部分是關於雪的一個事實。這些句子（1和2等）被叫做"T-句子"。它們看起來平凡的原因是，對象語言和元語言是同一種語言，在這裡是漢語。而下面的也是T-句子：

(3) "Der Schnee ist weiß"（德語）為真，當且僅當雪是白的。

（注意按Tarski最初的公式化，這個理論只適用於形式語言是重要的。他感覺自然語言太複雜和不正規而不適合形式處理。但是Tarski的方法被唐納德·戴維森擴展為自然語言的意義理論的方法，這涉及到把"真理"當作原始的而不是定義的概念。(參見真理條件語義）。

真理

Tarski發展的這個理論，給出了真理的歸納定義為如下。

對於包含~（"非"）、&（"與"）、v（"或"）和量詞（"所有"和"存在"）的語言L，Tarski的真理的歸納定義為如下：

• (i)否定~A為真，當且僅當A不為真。
• (ii)合取A&B為真，當且僅當A為真並且B為真。
• (iii)析取A v B為真，當且僅當A為真或者B為真。
• (iv)全稱陳述"對於所有x有A(x)"為真，當且僅當每個對象都滿足"A(x)"。
• (v)存在陳述"存在x有A(x)"為真，當且僅當至少有一個對象滿足"A(x)"。

它們解釋了（建造自連結詞和量詞）複雜句子的真理條件如何被歸約到它們的構件的真理條件。最簡單的構件是原子句子。真理的當代語義定義原子句子的真理為如下：

• (vi)原子句子F(x1,...,xn)為真（有關於指派值到變量x1, ..., xn），如果變量的相應的值具有謂詞F所表達的關係。

Tarski自己定義原子句子的真理的方式，不使用來自語義的任何技術術語，比如上面的"所表達的"。這是因為他希望以真理的方式定義這些語義術語，所以如果在真理自身的定義中使用其中之一將是循環的。Tarski的真理的語義概念在現代邏輯和當代語言哲學中扮演了重要角色。Tarski的語義理論是否應當被算做符合論或緊縮論是有爭議的。Tarski自己好像有意作為對經典符合論的精緻。

參見

• 公式 (數理邏輯)
• 模型論
• 邏輯的語義
• 真理
• T-模式

延伸閱讀

• Simon Blackburn and Keith Simmons, eds., 1999. Truth. Oxford University Press, ISBN 0198752504.
• Wilfred Hodges, 2001. Tarski's truth definitions （頁面存檔備份，存於網際網路檔案館）. In the Stanford Encyclopedia of Philosophy.
• Richard Kirkham, 1992. Theories of Truth. Bradford Books, ISBN 0262611082.
• Alfred Tarski, 1944. The Semantic Conception of Truth and the Foundations of Semantics （頁面存檔備份，存於網際網路檔案館）. Philosophy and Phenomenological Research 4.

外部連結

• Tarski's Truth Definitions （頁面存檔備份，存於網際網路檔案館）（an entry of Stanford Encyclopedia of Philosophy （頁面存檔備份，存於網際網路檔案館））
• Alfred Tarski, 1944. The Semantic Conception of Truth and the Foundations of Semantics （頁面存檔備份，存於網際網路檔案館）. Philosophy and Phenomenological Research 4.