亚里士多德三段论系统的研究。pdf.pdf

摘 要 亚里士多德三段论系统是历史上第一个自然演绎系统，是建立在类的传递基础上的 逻辑。文章从全称命题在亚里士多德三段论自然演绎系统中的重要性以及历史上学者对 亚里士多德三段论中直言命题的翻译出发，在简要回顾历史上关于亚里士多德三段论系 统的研究之后，重新构建亚里士多德三段论自然演绎系统，最后证明此系统的判定能力、 可靠性和相容性。 文章共分四个部分： 第一部分，介绍全称命题对亚里士多德三段论自然演绎系统的重要性，全称命题是 组成亚里士多德三段论的基本命题形式之一，并且是亚里士多德三段论演绎性质的保 证。 第二部分，纵观现代逻辑对亚里士多德直言命题的翻译，发现亚里士多德直言命题 是带两个量词的直言命题形式，而并非是只带一个量词的直言命题形式。并且发现，“并 非”和“不是”在亚里士多德三段论自然演绎系统中都不可缺少。 第三部分，从四个方面重新构建亚里士多德三段论自然演绎系统：初始符号、形成 规则、推理规则和有效式的证明。 第四部分，从有效式系统的判定能力、有效式系统的可靠性和有效式系统的相容性 等三个方面对此系统进行反思。 关键词：三段论系统，演绎，可靠性，相容性 I ABSTRACT The Aristotelian syllogism is the first natural deduction system in history, established on the basis of kind of delivery.Starting from the standpoint of the significance of universal proposition in the Aristotelian syllogism and the interpretation of proposition in historical texts ，through the brief review of the study done in the field concerned，this dissertation reconstructs Aristotelian syllogism natural deduction system ,and further demonstrates the ability of determine reliability and compatibility of Aristotelian syllogism natural deduction system. The dissertation consists of four chapters: Chapter one is a brief introduction of the importance of universal proposition to Aristotelian syllogism natural deduction system. We argue that universal proposition is one of the basic preposition form of Aristotelian syllogism and it guarantee the deductive feature of Aristotelian syllogism. Chapter two makes an overall review of the studies on the interpretation of proposition in history. We find that the Aristotel proposition is a kind of proposition with two quantifiers instead of one，and the words “no” and “not” are indispensable and essen