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).
外部連結
[編輯]這是一篇與邏輯學相關的小作品。您可以透過編輯或修訂擴充其內容。 |