论塔斯基的语义性真概念  

On the True Conception of Tarski's semantics

作　　者：孙明湘[1] 李建华 汪慧英[1] 

机构地区：[1]中南大学哲学系,湖南长沙410083 [2]湖南科技大学期刊社,湖南湘潭411201

出　　处：《湖南科技大学学报（社会科学版）》2007年第1期53-58,共6页Journal of Hunan University of Science and Technology(Social Science Edition)

基　　金：湖南省哲学社会科学基金资助项目(06YB62)

摘　　要：塔斯基将真理概念定义为:在对象语言O中一闭语句是真的,当且仅当,它被所有的对象序列所满足。该定义的含义是,如果将该闭语句分解成开语句后,其中的自由变元能被某些对象序列所满足,则再将开语句合成为闭语句,其闭语句就被所有序列所满足,于是可断定该语句是真的。塔斯基的语义性真理定义既保留了亚里士多德古老真理定义的直观含义,又避免了在语义封闭的语言中导致悖论。其定义既成为经典逻辑的语义学基础,广泛应用与能用一阶语言所表达的科学领域中的句子集中,同时定义本身也是运用一阶逻辑对概念进行分析的典范。Truth is defined by Tarski that a shut sentence is true in an object language only if it is satisfied by all object languages. The definition means that if the shut language is resolved to be an open language, the free variables of which are satisfied by some object sequences, and the open language is composed to be a shut language, which is satisfied by all sequences, then it is affirmed that the sentence is true. The definition of Tarski＇s semantics truth not only reserves the intuitive meaning of Aristotelian ancient truth, but avoids the paradox in semantically close language. It becomes the semantic base of classical logic and the extensive application and practice of sentence centralizaion expressed by the first order language in scientific area; at the same time, the definition itself is a mirror of analyzing conception by applying the first order logic.

关 键 词：塔斯基 语言分层 满足 真理 

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