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

On Cause of the Problem of the Indefinability of Truth

作　　者：周志荣[1] Zhirong Zhou(School of Philosophy,Zhongnan University of Economics and Law)

机构地区：[1]中南财经政法大学哲学院

出　　处：《逻辑学研究》2020年第5期48-60,共13页Studies in Logic

基　　金：国家社会科学基金重大项目“逻辑真理论的历史源流、理论前沿与应用研究”(12ZDA025).

摘　　要：塔斯基的真之定义理论确定了“实质的恰当性”与“形式的正确性”标准,进而蕴涵了语言分层原则、组合性原则和本质上的丰富性原则。虽然为了证明无穷阶的普遍类理论语言或一阶皮亚诺算术语言的真谓词的不可定义性定理,塔斯基借助了循环性悖论,但真谓词的不可定义性定理并不局限于悖论性或循环性的语言。造成其真谓词不可定义的真正根源在于它们的元语言不符合真之定义理论的标准,尤其是“本质上的丰富性”原则。Tarski provided the criterion of formal correctness and of material adequacy with his theory of definition of truth,which implies further three principles:that of hierarchy,of compositionality and of essential richness.Although Tarski proved the undefinability theorem,which asserts directly that the truth predicate of LGTC(or LPA)is undefinable in itself,with the circular paradox.However,what is asserted in the theorem is not only applicable to paradoxical or circular languages.The real cause of the undefinability of truth is that their meta-language cannot satisfy these criterions and principles,especially that the meta-language is not essentially richer than its object language.

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

分 类 号：B81[哲学宗教—逻辑学]