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.
你好
回覆刪除那請問"若且為若"這詞，如果用原文/英文來闡述的話是....?
謝謝你的回答 好奇的BEN上
BEN:
回覆刪除是「if and only if」
請問「若且唯若」(if and only if)和「唯若」(only if)有什麼不一樣？其他像日常語言的「只當…」、「只有在…」和這個有什麼不同嗎？
回覆刪除Anonymous：
回覆刪除這樣講不知道有沒有幫助：
if X then Y = X only if Y
X if and only if Y = (if X then Y) and (if Y then X)
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
"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).