周志荣

（中南财经政法大学哲学院，湖北武汉430073）

“逻辑后承”是逻辑学的核心概念。早在1936年以德文发表的《论逻辑后承概念》一文中，塔斯基就专门且明确地讨论了这个概念。他借助所谓的“科学语义学”（即模型论语义学）的技术给出了逻辑后承概念的定义，并认为他的定义最能符合我们关于通常的后承概念的直觉。尽管受到塔斯基的影响，模型论方法已经成为逻辑学家们研究各种逻辑性质的重要工具，但塔斯基对逻辑后承的模型论定义在外延上是否等价于直觉上的通常的后承概念，这一点仍然存在争议。埃彻门第批评塔斯基的定义缺乏外延恰当性，既有“过度（overgeneration）”问题也有“不及（undergeneration）”问题（Etchmendy，1990，148，150）。这两方面的问题皆归咎于该定义对逻辑后承的错误的还原，即把逻辑后承概念还原为具体论证的保真性，这致使它无法为论证的逻辑有效性提供独立的概念性保障（Etchmendy，2008，267）。本文将针对埃彻门第的批评，围绕外延的恰当性和概念分析的恰当性这两个方面为塔斯基的定义提出辩护。

一、塔斯基的模型论定义

塔斯基对逻辑后承概念的定义起点在于合乎我们关于通常的后承概念的直觉。在他看来，如果一个语句X是从语句集K逻辑地推出的，那么通常在直觉上，不可能K中的语句都是真的而X却是假的。逻辑后承的必然性决定了它是形式的，即“这种关系不能以任何方式被经验知识所影响，……后承关系不能因在这些语句中指称对象的指示词被指称其他对象的指示词所替换而受到影响”（Tarski，1936，212）。