真谓词的不可定义性问题的根源

逻辑学研究 2020 年第 5 期， 48–60          文章编号： 1674-3202(2020)-05-0048-13

作者：周志荣

摘 要： 塔斯基的真之定义理论确定了“实质的恰当性”与“形式的正确性”标准，进而蕴涵了语言分层原则、组合性原则和本质上的丰富性原则。虽然为了证明无穷阶的普遍类理论语言或一阶皮亚诺算术语言的真谓词的不可定义性定理，塔斯基借助了循环性悖论，但真谓词的不可定义性定理并不局限于悖论性或循环性的语言。造成其真谓词不可定义的真正根源在于它们的元语言不符合真之定义理论的标准，尤其是“本质上的丰富性”原则。

关键词： 真之定义；循环性；说谎者悖论；雅布罗悖论；塔斯基定理

中图分类号： B81                    文献标识码： A