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

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

关于塔斯基的T型等值式

本文阐述了波兰逻辑学家塔斯基,关于形式语言中真句子的意义的重要组成部分T型等值式及其深远的意思。

“根据”:一种解决说谎者悖论的新方案

“根据”是近二十年形而上学研究中的一个重要概念,通常被定义为刻画了一个事物凭借另一个事物而成立。“凭借性”决定了“根据关系”中的两个事物在基础性和优先性上分属不同的层次,这本质上体现了一种特殊的分层思想。如果以塔尔斯基解决说谎者悖论的语言分层思想为借鉴,利用“根据”所体现的分层思想重新刻画塔尔斯基的(T)型等值式并进行推导,可以得到一种解决说谎者悖论的新方案,同时也可以给出一种对“真”概念的新理解。