塔尔斯基（T）型等值式成立吗？

摘要：

塔尔斯基在阐述关于“真”的语义学定义时，提出了著名的（T）型等值式：X 是真的，当且仅当 P。其中，P 为任意语句，X 则为该语句的名称。典型的例子如，“雪是白的”是真的，当且仅当雪是白的。（T）型等值式的提出，偏离了真之符合论的初衷，给真之紧缩论提供了重要的资源。然而，需要指出的是，（ T）型等值式把指向事实的语句泛化为一般的语句形式，通过对（T）型等值式两边严格的语义分析，（T）型等值式并非等值。

关键词：(T)型等值式、真的、紧缩论

分类号：B81.5(逻辑学(论理学))

资助基金：广东省优长学科、特色学科建设专项资助课题“现代逻辑背景下的真理论研究”2013YCTS10。

在线出版日期：2014-11-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：21-24