从现代逻辑观点看亚里士多德的三段论

§0 引言亚里士多德的直言三段论在逻辑史上具有不朽的价值。国际知名学者卢卡西维兹在《亚里士多德的三段论》(商务印书馆1981年版)中,从现代逻辑观点对之作了创造性的研究,开辟了用现代逻辑的工具研究逻辑史的新道路。但是,在亚里士多德的理论中有一些重要问题需进一步研究。本文第一部分讨论这些问题,提出了与卢卡西维兹的研究结果迥然不同的新观点。第二部分根据亚里士多德的原文,重新构造了亚里士多德三段论的一个自然演绎系统,证明了一切有效式,排斥了一切无效式,并且十分简单地解决了判定问题。