塔斯基的真定义、语义学与逻辑后承  

Tarski's Definition of Truth,Semantics and Logical Consequence

作　　者：朱建平[1] 

机构地区：[1]苏州大学政治与公共管理学院,江苏苏州215123

出　　处：《合肥工业大学学报（社会科学版）》2014年第2期42-52,共11页Journal of Hefei University of Technology(Social Sciences)

摘　　要：塔斯基关于真理和逻辑后承的里程碑式的著作是对现代语义学研究的最重要的贡献。塔斯基用满足和归纳的方式给出的真理的递归定义,建立在语义模型、逻辑真和逻辑后承基础上的循序渐进的逻辑句法定义构成了当代语义学理论的核心部分。诸如模型论语义学、可能世界语义学、戴维森的意义理论、蒙太格的内涵语义学,甚至作为生成语法的分支的逻辑形式(LF)等无一不体现或者渗透着塔斯基原理。Tarski＇s great work on truth and logical consequence is the most important contribution to modern semantics.Tarski proposes the recursive definition of truth in terms of satisfaction and induction.The step-by-step definition of logical syntax based on the semantic model,logical truth and logical consequence,is the core of contemporary semantic theories.Model-theoretic semantics,possible world semantics,Davidson＇s theories of meaning and Montague＇s intensional semantics and even logical form（LF）which is a branch of generative grammar,all incorporate Tarskian principles.

关 键 词：塔斯基的真理定义 语义学 逻辑词汇和非逻辑词汇 

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