【摘要】 塔斯基将真理概念定义为:在对象语言O中一闭语句是真的,当且仅当,它被所有的对象序列所满足。该定义的含义是,如果将该闭语句分解成开语句后,其中的自由变元能被某些对象序列所满足,则再将开语句合成为闭语句,其闭语句就被所有序列所满足,于是可断定该语句是真的。塔斯基的语义性真理定义既保留了亚里士多德古老真理定义的直观含义,又避免了在语义封闭的语言中导致悖论。其定义既成为经典逻辑的语义学基础,广泛应用与能用一阶语言所表达的科学领域中的句子集中,同时定义本身也是运用一阶逻辑对概念进行分析的典范。更多还原

【Abstract】 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 centralization 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.更多还原