6.16.2008

T-schema

T-schema(也被叫做「Convention T」)是一個直覺上的常識,然而,它被重視地使用在理論裡,是源於Alfred Tarski的真理的語意論(the semantic conception of truth)。T-schema是一種句子的格式︰

┌p┐為真,若且唯若p

顯然,所有具有這樣的格式的句子,都會是真的,例如︰

「雪是白的」為真,若且唯若雪是白的

「2008年謝長廷選贏馬英九」為真,若且唯若2008年謝長廷選贏馬英九

「愛因斯坦是韓國人」為真,若且唯若愛因斯坦是韓國人

因此,Tarski認為T-schema非常充分地捕捉了真理這個概念。事實上,他甚至更進一步主張說,每一個真理論都必須要蘊含所有符合T-schema的句子,這樣的要求被稱為實質適當條件「material adequacy condition」。

 

T-schema在邏輯上可以被表達成這樣

┌p┐為真 ≡ p

因此,它蘊含了下面這兩個邏輯推論規則︰

┌p┐為真→p

p→┌p┐為真

在適當的條件下,接受這兩個邏輯規則意味著我們必須面對說謊者悖論。因此,有一些哲學家企圖藉由修改T-schema來解消悖論,例如Anil Gupta和Nuel Belnap

 

 

Bibliography
王文方 2006 古樸塔及貝爾那普的真理修正理論述評 《歐美研究》36-1.

Tarski, A. 1944. The semantic conception of truth and the foundation of semantics.

6 則留言:

  1. 你好
    那請問"若且為若"這詞,如果用原文/英文來闡述的話是....?

    謝謝你的回答 好奇的BEN上

    回覆刪除
  2. 請問「若且唯若」(if and only if)和「唯若」(only if)有什麼不一樣?其他像日常語言的「只當…」、「只有在…」和這個有什麼不同嗎?

    回覆刪除
  3. Anonymous:

    這樣講不知道有沒有幫助:

    if X then Y = X only if Y
    X if and only if Y = (if X then Y) and (if Y then X)

    回覆刪除
  4. 4F說法怪怪的...

    我的理解是:
    X if Y = if Y then X
    X only if Y = (if Y then X) and (if ~Y then ~X) = (if Y then X) and (if X then Y) = X if and only if Y

    回覆刪除
  5. "A match can be ignited only if there is oxygen" does not imply that "if there is oxygen, then a match can be ignited".

    A simple counter example:

    When there is oxygen, a wet match (which is absolutely a match) still cannot be ignited.

    Therefore, X only if Y ≢ [(if Y then X) and (if ¬Y then ¬X)] because [(if Y then X) and (if ¬Y then ¬X)] implies (if Y then X) whereas (X only if Y) does not imply (if Y then X).

    回覆刪除