麦加拉——斯多葛蕴涵理论及其后世对它的继承和发展

蕴涵理论是逻辑学的一个重要理论.它是由麦加拉——斯多葛学派创立的.起初并不为人们所重视,而且还遭到古代乃至近、现代一些学者的贬谪.直到上世纪末本世纪初,数理逻辑学家弗雷格、皮亚诺和皮尔士等人重新发现了麦加拉——斯多葛逻辑的价值,才重新认识到蕴涵理论的意义,并给予丰富和发展.本文分为三大部分,试就蕴涵理论的一些问题进行分析探讨.一、麦加拉——斯多葛蕴涵理论的主要内容及其意义麦加拉——斯多葛蕴涵理论,是由麦加拉学派的第奥多鲁斯和费罗在关于条件命题的真值问题的争论中首先提出,尔后由斯多葛派加以丰富补充的.他们认为.一个条件命题是一个由两个原子命题组成的分子命题,两个原子命题是通过联结词“如果……那么……”(if)联结起来的.联结词“ if”表明,第二个命题(又称为后件)是从第一个命题(又称为前件)逻辑地导出(“follows”),正是关于“follows”(“导出”)的正确标准问题,在麦加拉——斯多葛学派中引起了很大的争论.由于对“follows”的不同解析便产生了如下四种蕴涵式: