T-模式
T-模式（也叫做約定T）是位於 Alfred Tarski 的真理的語義理論的任何實現的核心位置的歸納定義，表達了真理在邏輯運算符上的交換性。[1]
T-模式經常用自然語言表達，但它們很容易接納多類謂詞邏輯或模態邏輯的形式化；比如叫做 T-理論的公式化。T-理論構成了哲學邏輯中很多基礎工作的基礎，它們被應用於分析哲學中很多重要爭論。它們也是在模型論背後的基礎直覺；或者說模型論實現了它們。
參見
[編輯]註釋
[編輯]- ^ Wolfgang Künne. Conceptions of truth. Clarendon Press. 2003: 18 [2017-10-16]. ISBN 978-0-19-928019-3. （原始內容存檔於2017-01-19）.
外部連結
[編輯] | 這是一篇與邏輯學相關的小作品。您可以透過編輯或修訂擴充其內容。 |