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

Tarski's Definition of Truth,Semantics and Logical Consequencel

作　　者：朱建平[1] 

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

出　　处：《华侨大学学报（哲学社会科学版）》2014年第2期56-70,共15页Journal of Huaqiao University(Philosophy & Social Sciences)

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

关 键 词：塔斯基 真理定义 语义学 逻辑后承 

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