跳转到内容

T-模式

维基百科，自由的百科全书

这是T-模式的当前版本，由Easterlies​（留言 | 贡献）编辑于2022年11月29日 (二) 10:14 （→外部链接：​ 增加或调整分类）。这个网址是本页该版本的固定链接。

(差异) ←上一修订 | 最后版本 (差异) | 下一修订→ (差异)

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）. 

外部链接

[编辑]
检索自“https://zh.wikipedia.org/w/index.php?title=T-模式&oldid=74834299”