三段论亚里士多德ppt_【哲学论文】亚里士多德三段论系统研究.pdf

  本文关键词：亚里士多德三段论系统研究，由笔耕文化传播整理发布。

河南大学 硕士学位论文 亚里士多德三段论系统研究 姓名：郑伟 申请学位级别：硕士 专业：逻辑学 指导教师：郭桥；李振江 2011-05 摘 要 亚里士多德三段论系统是历史上第一个自然演绎系统，，是建立在类的传递基础上的 逻辑。文章从全称命题在亚里士多德三段论自然演绎系统中的重要性以及历史上学者对 亚里士多德三段论中直言命题的翻译出发，在简要回顾历史上关于亚里士多德三段论系 统的研究之后，重新构建亚里士多德三段论自然演绎系统，最后证明此系统的判定能力、 可靠性和相容性。 文章共分四个部分： 第一部分，介绍全称命题对亚里士多德三段论自然演绎系统的重要性，全称命题是 组成亚里士多德三段论的基本命题形式之一，并且是亚里士多德三段论演绎性质的保 证。 第二部分，纵观现代逻辑对亚里士多德直言命题的翻译，发现亚里士多德直言命题 是带两个量词的直言命题形式，而并非是只带一个量词的直言命题形式。并且发现，“并 非”和“不是”在亚里士多德三段论自然演绎系统中都不可缺少。 第三部分，从四个方面重新构建亚里士多德三段论自然演绎系统：初始符号、形成 规则、推理规则和有效式的证明。 第四部分，从有效式系统的判定能力、有效式系统的可靠性和有效式系统的相容性 等三个方面对此系统进行反思。 关键词：三段论系统，演绎，可靠性，相容性 I

  本文关键词：亚里士多德三段论系统研究，由笔耕文化传播整理发布。