《亚里士多德的三段论》

波兰逻辑学家J．卢卡西维茨应用现代逻辑方法研究亚里士多德三段论的一部名著，全名是《从现代形式逻辑观点看亚里士多德的三段论》，1951年出版。商务印书馆1981年出版了中译本。该书揭示了传统逻辑和亚里士多德逻辑中三段论的区别，提出：一个亚里士多德的三段论是一个蕴涵式，而不是一条推理规则，亚里士多德的三段论体系是一个公理系统。该书批评了历史上对亚里士多德的三段论的曲解，高度评价了亚里士多德的成就，并在二值逻辑的基础上构造了一个形式化的三段论演算的公理系统。这个系统有4条公理，还有代入、分离规则，以及14条命题演算的定理作辅助定理，在此基础上推出了所有对当、换位的定律和24个三段论的式。该书还建立了一个排斥系统，这个系统有两条公理和两条排斥规则，在此基础上排除了三段论各格中所有不正确的式。该书在出版后立即受到国际学术界的好评，被称为逻辑史上划时代的著作。卢卡西维茨因此被誉为研究亚里士多德的最高权威。直到70年代初期，才开始有人对该书的解释从体系上提出批评。但是学术界始终承认，该书是研究亚里士多德逻辑的最有价值的经典著作之一。