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

摘要

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