塔尔斯基(T)型等值式成立吗?

Do Tarski Biconditionals Stand on Firm Ground?

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

When discussing the semantics definition of truth,Tarski put forward the well-known e-quivalence of the form（T）：X is true,if and only if P,in which P stands for any sentence,and X stands for the name of the sentence. The typical example is that“snow is white”is true,if and only if snow is white. The equivalence of the form（T）deviated from the correspondence theory of truth, and provided an important resource to the deflation of truth. However,it needs to be pointed out that in the equivalence of the form（T）P which stands for any sentence and refers to fact is generalized as a common sentence form,and the equivalence of the form（T）is not equivalent after strict semantic analyzed.