○朱建平

(苏州大学政治与公共管理学院，江苏苏州 215123)

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

○朱建平

(苏州大学政治与公共管理学院，江苏苏州 215123)

塔斯基关于真的语义学定义和逻辑后承的里程碑式的著作是对现代语义学研究最重要的贡献。塔斯基用满足和归纳的方式给出的真的递归定义，循序渐进的句法定义，语义模型的概念，逻辑真和逻辑后承的概念等一系列理论和方法构成了当代语义学理论的核心部分。诸如模型论语义学、可能世界语义学、戴维森的意义理论、蒙太格的内涵语义学，甚至作为生成语法的分支的逻辑形式(LF)等无一不体现或者渗透着塔斯基原理和思想。

塔斯基;真理定义;语义学;逻辑后承

塔斯基的第二个目标是研究逻辑方法论，用塔斯基的说法是元数学。元数学(又称元逻辑)研究的是在一逻辑框架(一阶和高阶数理逻辑)中理论(特别是数学理论)的形式性质以及逻辑框架本身的性质。真的概念在元逻辑研究中(例如，在哥德尔完全性和不完全性定理中)扮演着重要的角色。然而由于这一概念会产生悖论。因而，塔斯基的第二个目标是证明“真”概念可以在元逻辑中一致性地被使用。［Vaught，1974］

达到这样一个目标并不要求一个明确的真定义。的确，在论文中塔斯基考虑了对这一问题的各种其他处理，诸如把真概念作为初始符号，给出一种公理的刻画等。通过一个明确的可消除的定义方式把真概念引入理论中只是满足上述挑战的一种方式。……