艾尔布朗语义下的真谓词  

Study on the Truth Predicate in Herbrand Semantics

作　　者：熊明[1] 

机构地区：[1]华南师范大学政治与行政学院,广东广州510631

出　　处：《湖北大学学报（哲学社会科学版）》2014年第5期39-43,148,共5页Journal of Hubei University(Philosophy and Social Science)

基　　金：国家社会科学基金青年资助项目:10CZX036

摘　　要：艾尔布朗语义是一种不同于塔斯基语义的一阶语言解释。本文对艾尔布朗语义下的真理论进行初步探讨,试图比较艾尔布朗语义下和塔斯基语义下真谓词的异同。相同之处比如在两种语义下都可使用说谎者悖论得到塔斯基定理。不同的地方有:亚布鲁悖论在塔斯基非标准模型中可以得到满足,但是在艾尔布朗语义中却是不可满足的。此外,语言分层的思想在塔斯基语义中一般情况下难以扩展到超穷阶段,而在艾尔布朗语义中类似具有累积效应的分层甚至在第二阶段就必须终止。Herbrand semantics is an interpretation of first-order language, which is different from the Tarski semantics in many respects.This paper considers the truth predicate in Herbrand semantics in contrast to that in Tarski semantics. The main objective is to make a sense of difference. Tarski's theorem can be similarly testified in Herbrand semantics just as in Tarski semantics. On the other hand, Yablo's paradox is satisfiable in non-standard Tarski semantics for the first-order Peano arithmetic, but it is not in Herbrand semantics. In addition, the linguistic hierarchies for the truth predicate generally cannot be defined at the transfinite stages in Tarski semantics, but it is even worse in Herbrand semantics: the cumulative hierarchies have to be terminated at the second stage.

关 键 词：艾尔布朗语义 塔斯基语义 T-模式 亚布鲁悖论 真谓词 

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