亚里士多德的错误观点_《河南大学》2011年硕士论文

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

《河南大学》 2011年

亚里士多德三段论系统研究

郑伟  

【摘要】：亚里士多德三段论系统是历史上第一个自然演绎系统,是建立在类的传递基础上的逻辑。文章从全称命题在亚里士多德三段论自然演绎系统中的重要性以及历史上学者对亚里士多德三段论中直言命题的翻译出发,在简要回顾历史上关于亚里士多德三段论系统的研究之后,重新构建亚里士多德三段论自然演绎系统,最后证明此系统的判定能力、可靠性和相容性。 文章共分四个部分: 第一部分,介绍全称命题对亚里士多德三段论自然演绎系统的重要性,全称命题是组成亚里士多德三段论的基本命题形式之一,并且是亚里士多德三段论演绎性质的保证。 第二部分,纵观现代逻辑对亚里士多德直言命题的翻译,发现亚里士多德直言命题是带两个量词的直言命题形式,而并非是只带一个量词的直言命题形式。并且发现,“并非”和“不是”在亚里士多德三段论自然演绎系统中都不可缺少。 第三部分,从四个方面重新构建亚里士多德三段论自然演绎系统:初始符号、形成规则、推理规则和有效式的证明。 第四部分,从有效式系统的判定能力、有效式系统的可靠性和有效式系统的相容性等三个方面对此系统进行反思。

【关键词】：
【学位授予单位】：河南大学
【学位级别】：硕士
【学位授予年份】：2011
【分类号】：B812
【目录】：

下载全文 更多同类文献

CAJ全文下载

(如何获取全文？ 欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式

【相似文献】

中国期刊全文数据库 前10条

1 刘明元;陈治龙;;从谓词逻辑的观点看传统词项逻辑推理中的空词项[J];毕节学院学报;2011年06期

2 王力钢;;一种基于模态语境的分析性刻画新方案[J];西南大学学报(社会科学版);2011年04期

3 樊明亚,朱小阳;师专逻辑教材改革研究[J];中国大学教学;1999年06期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中国重要会议论文全文数据库 前10条

1 张家龙;;论《墨经》中“侔”式推理的有效式[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年

2 缪四平;;试论复称三段论及其凡恩图解判定[A];1996年逻辑研究专辑[C];1996年

3 王靖华;;华沙学派主要逻辑思想概述[A];1996年逻辑研究专辑[C];1996年

4 黄卫星;;运用FoxBASE研究“EI三段论”规则[A];1994年逻辑研究专辑[C];1994年

5 黄卫星;;三段论规则的符号化[A];1996年逻辑研究专辑[C];1996年

6 吴格明;;关于三段论格的规则[A];1994年逻辑研究专辑[C];1994年

7 陈江;;论回溯推理的几种具体类型[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

8 朱玉堦;周光明;;“E、I”三段论与传统三段论[A];1993年逻辑研究专辑[C];1993年

9 杜国平;;金岳霖逻辑观述评[A];2000年逻辑研究专辑[C];2000年

10 雷康;;词项检视法简介[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

中国硕士学位论文全文数据库 前4条

1 郑伟;亚里士多德三段论系统研究[D];河南大学;2011年

2 李志国;非形式逻辑中论证的评估标准[D];河南大学;2004年

3 郭美云;辛提卡IF一阶逻辑研究[D];西南师范大学;2003年

4 雷宇;证词逻辑初探[D];西南大学;2011年

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