亚里士多德的三段论 平装汉译世界学术名著丛书

                                      汉译世界学术名著丛书
                                           出版说明
　　我馆历来重视移译世界各国学术名著。从五十年代起，更致力于翻译出版马克思主义诞生以前的古典学术著作，同时适当介绍当代具有定评的各派代表作品。幸赖著译界鼎力襄助，三十年来印行不下三百余种。我们确信只有用人类创造的全部知识财富来丰富自己的头脑，才能够建成现代化的社会主义社会。这些书籍所蕴藏的思想财富和学术价值，为学人所熟知，毋需赘述。这些译本过去以单行本印行，难见系统，汇编为丛书，才能相得益彰，蔚为大观，既便于研读查考，又利于文化积累。为此，我们从1981年至2000年先后分九辑印行了名著三百六十余种。现继续编印第十辑。到2004年底出版至四百种。今后在积累单本著作的基础上仍将陆续以名著版印行。由于采用原纸型，译文末能重新校订，体例也不完全统一，凡是原来译本可用的序跋，都一仍其旧，个别序跋予以订正或删除。读书界完全懂得要用正确的分析态度去研读这些著作，汲取其对我有用的精华，剔除其不合时宜的糟粕，这一点也无需我们多说。希望海内外读书界、著译界给我们批评、建议，帮助我们把这套丛书出好。

　　　　　　　　　　　　   　　　          商务印书馆编辑部
　　　　　　　　　　　　　　　　　　         2003年10月

    本书第一版没有包含对亚里士多德模态三段论的解释。我不能从一些已知的模态逻辑系统的观点去研究亚里士多德关于必然性和可能性的观念，因为，在我看来，所有这些系统都是不正确的。为了解决这个困难的问题，我只得建立自己的模态逻辑系统。我于1951年在爱尔兰皇家科学院和1952年在贝尔法斯特的女王大学的讲课中，讲述了这部解释亚里士多德观念的模态逻辑系统的初稿，而完全的系统则发表在1953年出版的《计算系统杂志》上。我的模态逻辑系统和这类逻辑的任何其他系统都有区别。从这个系统的观点出发，我可以说明亚里士多德模态逻辑三段论中的很多困难，并且纠正其中很多错误。
    据我所知，已有三十多篇论文和评论对我这本论亚里士多德三段论的书表示了好评，这些论文和评论以英文、法文、德文、希伯来文、意大利文和西班牙文在各国发表。我很早就想找到一个机会讨论一下我的评论者所发表的一些批评意见，但是在这一版中，由于第一版的本文已经付印，只能增加关于模态逻辑的那几个章节。我非常感谢克拉连顿出版社让我增加了上述章节。
　　　　　　　　　　　　　　　　　　　　　　　　                                                            杨•卢
                                               1955年6月30日于都柏林

    本书是波兰著名逻辑学家卢卡西维茨的一部重要著作。作者的目的是用现代数理逻辑的观点解释亚里士多德逻辑最重要的部分——三段论理论。本书全面、系统地考察了亚氏三段论理论，绘出了亚氏三段论理论的严格的形式系统。
    本书曾对逻辑史的研究产生重大影响，对于把数理逻辑方法运用到其他领域也具有重要意义。本书是了解现代逻辑不可不读的参考书。

    本书述评
    第一版原序
    第二版原序
    本书所引用的亚里士多德的原著与注释的版本
    第一章 亚里士多德三段论系统的要素
　　     §1．亚里士多德式三段论的正确形式
　　     §2．前提和词项
　　     §3．为什么单一词项被亚里士多德略去了
　　     §4．变项
　　     §5．三段论的必然性
　　     §6．什么是形式逻辑
　　     §7．什么是形式化
    第二章 亚里士多德三段论系统的断定命题
　　     §8．断定命题与推论规则
　　     §9．三段论的格
　　     §10．大项、中项和小项
　　     §11．关于一个错误的历史
　　     §12．前提的次序
　　     §13．一些现代注释家的错误
　　     §14．加仑的四个格
    第三章 亚里士多德三段论系统
　　     §15．完全的和不完全的三段论
　　     §16．词项逻辑与命题逻辑
　　     §17．换位法证明
　　     §18．归谬法证明
　　     §19．显示法证明
　　     §20．排斥的形式
　　     §21．一些未解决的问题
    第四章 用符号形式表达的亚里士多德系统
　　     §22．符号系统的说明
　　     §23．演绎理论
　　     §24．量词
　　     §25．三段论系统的基本要素
　　     §26．三段论的断定命题的推导
　　     §27．排斥的表达式的公理和规则
　　     §28．我们的公理和规则不充分
    第五章 判定问题
　　     §29．不能判定的表达式的数目
　　     §30．斯卢派斯基的排斥规则
　　     §31．演绎的等值式
　　     §32．化归为初等表达式
　　     §33．三段论系统的初等表达式
　　     §34．三段论系统的一个算术的解释
　　     §35．结束语
    第六章 亚里士多德的模态命题逻辑
　　     §36．导言
　　     §37．模态函项和它们的相互关系
　　     §38．基本模态逻辑
　　     §39．扩展定律
　　     §40．亚里士多德对扩展的M-定律的证明
　     　§41．命题之间的必然联系
　　     §42．“实质”蕴涵还是“严格”蕴涵?
　　     §43．分析命题
　　     §44．一个亚里士多德的悖论
　　     §45．亚里士多德的偶然性
    第七章 模态逻辑系统
　　     §46．真值表方法
　　     §47．C—N—δ—p系统
　　     §48．δ-定义
　　     §49．模态逻辑的四值系统
　　     §50．必然性和模态逻辑的四值系统
　　     §51．成对的可能性
　　     §52．偶然性和模态逻辑的四值系统
　　     §53．其他某些问题
    第八章 亚里士多德的模态三段论
　　     §54．有两个必然前提的各式
　　     §55．有一个必然前提和一个实然前提的各式
　　     §56．有一个必然前提和一个实然前提的被排斥的各式
　　     §57．争论的解决
　　     §58．有可能前提的各式
　　     §59．偶然命题的换位律
　　     §60．纠正亚里士多德的错误
　　     §61．有偶然前提的各式
　　     §62．模态逻辑的哲学涵义

    索 引