算术、真与悖论

该著通过系统梳理形式真理论,论证了形式真理论的发展事实上是“真在形式语言中的可定义性问题”与“悖论在形式语言中的可描述性问题”之间的“拉锯战”:有时人们因过于侧重在形式语言中定义真而拒悖论于形式语言之外,有时人们又过于侧重在形式语言中描述悖论而忽略了真的可定义性问题。作者通过引入塔斯基T—模式的一个推广形式,既可以在形式语言中对悖论作出明确的描述,又可以根据这样的描述性条件建立形式语言中的真可定义条件。