算术、真与悖论

• 作者: 熊明
• 来源期刊: 中国哲学年鉴
• 学科: 哲学
• 关键词: 塔斯基 形式语言 可定义性 悖论 推广形式 描述性 系统梳理
• 年，卷（期）: 2018,（1）
• 页码范围: 368-368
• 页数: 1页
• 分类号: B

摘要

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