T-模式

維基百科,自由的百科全書

T-模式(也叫做約定T)是位於 Alfred Tarski真理的語義理論的任何實現的核心位置的歸納定義,表達了真理在邏輯運算符上的交換性。[1]

T-模式經常用自然語言表達,但它們很容易接納多類謂詞邏輯模態邏輯的形式化;比如叫做 T-理論的公式化。T-理論構成了哲學邏輯中很多基礎工作的基礎,它們被應用於分析哲學中很多重要爭論。它們也是在模型論背後的基礎直覺;或者說模型論實現了它們。

參見[編輯]

註釋[編輯]

  1. ^ Wolfgang Künne. Conceptions of truth. Clarendon Press. 2003: 18 [2017-10-16]. ISBN 978-0-19-928019-3. (原始內容存檔於2017-01-19). 

外部連結[編輯]