蕴涵理论研究—从《墨经》到《制约逻辑》.pdf

蕴涵理论研究 ——从《墨经》到《制约逻辑》 摘要：蕴涵是逻辑学中的一个重要概念，对于它的意义的不同理解和把握，会导致对推 理前后件之间关系的不同说明与刻划，并最终导致性质和功能有别的不同逻辑系统的构建和 产生．从某种意义上说，蕴涵的演进构成了整个逻辑科学尤其是现代逻辑发展的历史． 不同的逻辑系统尽管在形式上有某种可对译性，但仍可依据其所奠基的“蕴涵”理论的不 同而体现其实质的特异性．如海丁(Heyting)的直觉主义命题逻辑系统H通过所谓的‘‘哥德 尔转换”可以在经典逻辑中获得新的解释，并且，通过一定的程序，直觉主义命题逻辑还可以 在模态系统S4中得到解释．然而，直觉主义命题系统通常被认为是经典命题系统的真子系 统，s4被认为是经典命题系统的扩充系统．于是问题产生了：经典命题系统、直觉主义命 题系统和S4之间究竟是一种什么样的关系?进而，推理前后件之间究竟是一种什么样的 关系?各种蕴涵理论是否清晰而恰当地刻画了推理前后件之间的关系?不同的逻辑系统之 间的可比性到底体现在哪里?真正的充分条件关系究竟是函数的还是非函数的?推理的构 成要素有哪些，或者说推理如何可能?笔者不仅拟从逻辑哲学层面回答上述问题，从逻辑史 的角度去区分，澄清和阐明不同意义的蕴涵及其相互关系