演绎后承概念的逻辑分析

塔尔斯基从句法方面引入了演绎后承概念,并界定了演绎后承的一般抽象性质。大量关于非经典逻辑演绎后承关系的研究,均来自对塔尔斯基演绎后承概念的反思和批判。塔尔斯基演绎逻辑后承与语义逻辑后承是两个不同又密切相关的概念,目前尚缺乏对这两个概念的统一研究。本文对塔尔斯基演绎后承与非经典演绎后承之间的关系进行了逻辑分析,认为探索非经典逻辑的塔尔斯基演绎后承的性质,恰恰能够涵盖对两者的统一研究。