亚里士多德的三段论
1981-5
商务印书馆
卢卡西维茨
279
无
《亚里士多德的三段论》是波兰著名逻辑学家卢卡西维茨的一部重要著作。作者的目的是用现代数理逻辑的观点解释亚里士多德逻辑最重要的部分——三段论理论。《亚里士多德的三段论》全面、系统地考察了亚氏三段论理论，绘出了亚氏三段论理论的严格的形式系统。《亚里士多德的三段论》曾对逻辑史的研究产生重大影响，对于把数理逻辑方法运用到其他领域也具有重要意义。《亚里士多德的三段论》是了解现代逻辑不可不读的参考书。
作者：(波兰)卢卡西维茨 李先Kun 译者：李真
本书述评第一版原序第二版原序本书所引用的亚里士多德的原著与注释的版本第一章 亚里士多德三段论系统的要素 1、亚里士多德式三段论的正确形式 2、前提和词项 3、为什么单一词项被亚里多德略去了 4、变项 5、三段论的必然性 6、什么是形式逻辑 7、什么是形式化第二章 亚里士多德三段论系统的断定命题 8、断定命题与推论规则 9、三段论的格 10、大项、中项和小项 11、关于一个错误的历史 12、前提的次序 13、一些现代注释家的错误 14、加仑的四个格第三章 亚里士多德三段论系统 15、完全的和不完全的三段论 16、词项逻辑与命题逻辑 17、换位法证明 18、归谬法证明 19、显示法证明 20、排斥的形式 21、一些未解决的问题第四章 用符号形式表达的亚里士多德系统第五章 判定问题第六章 亚里士多德的模态命题逻辑第七章 模态逻辑系统第八章 亚里士多德的模态三段论索引
版权页：关于亚里士多德的三段论，不同的逻辑学家有不同的看法。例如说，肖尔兹教授认为“亚里士多德逻辑可以说是一种谓词的或概念的逻辑，也可以说是类的逻辑。”著名的美籍波兰逻辑学家塔尔斯基却认为“整个的旧的传统逻辑几乎可以完全简化为类与类之间的基本关系的理论。即是说，简化为类的理论中的一个小部分。”卢卡西维茨教授不同意以上两种看法。.他认为，亚里士多德的三段论体系是名词（词项）逻辑，它的形式是：所有的S都是P，这里S、P这些字母只能代人名词，如“人”、“动物”、“哲学家”等等。本书作者和德国逻辑学家肖尔兹教授都认为，亚里士多德知道有命题逻辑，并且直观地应用了它。据肖尔兹教授说，由于他没有找到命题逻辑的推论规则，所以没有发展它。他的学生德奥弗拉斯特斯和欧德谟斯，最早用假言三段论的推理扩展了亚里士多德的逻辑，从而奠定了命题逻辑的基础。在他们之后约半个世纪的斯多亚派，在历史上第一次发展了命题逻辑的体系。
《亚里士多德的三段论》曾对逻辑史的研究产生重大影响，对于把数理逻辑方法运用到其他领域也具有重要意义。《亚里士多德的三段论》是了解现代逻辑不可不读的参考书。
无