传统逻辑直言命题推理的扩充

发布时间：2017-06-28 13:03

  本文关键词：传统逻辑直言命题推理的扩充，由笔耕文化传播整理发布。

【摘要】：传统逻辑的直言推理包涵易被忽略的内容,文中力图揭示这些内容;一旦用一阶逻辑形式化直言推理以后,在得到精确性的同时,又失去了思维的直觉,对扩展思维方法并无好处。但这种推理还可以用现代数学的图论进行扩充,发掘更多的连通关系;最后还可以用知识库理论扩充,以让传统逻辑发挥更大的作用。
【作者单位】： 兰州大学哲学社会学院;
【关键词】： 直言推理 形式化 谓词逻辑 有向图 Prolog语言
【分类号】：B812
【正文快照】： 一、隐藏的七种关系直言命题推理处理的是S类与P类之间的外延关系，这种关系可用五种欧拉图来描述，如图1，用四个命题描述为:SAP，SEP，SIP，SOP。这是大家熟悉的知识。口，口图15类与P类之间关系依据直言命题的推理规则，可进行熟知的决换推理[‘]，，如下:推理1 SAP*推理2 SE

【共引文献】

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

1 胡记芳;形式逻辑应用题一题多解法探讨[J];温州大学学报;1999年04期

中国博士学位论文全文数据库 前1条

1 赵敏;我国现代大学教师管理制度伦理研究[D];华中科技大学;2007年

【相似文献】

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

1 林胜强;;思想的形式化 形式化的思想——读《数理逻辑的思想和方法》[J];思维与智慧;1993年03期

2 罗仕国;走出形式化的困境[J];河池师专学报;2003年03期

3 马希文;有关“知道”的逻辑问题的形式化[J];哲学研究;1981年05期

4 许梅,刘永富;运用语义分析方法重新解决逻辑的判定[J];社会科学辑刊;2002年03期

5 樊明亚;;直言逻辑与谓词逻辑的对比研究[J];上饶师范学院学报;1989年06期

6 李廉;辩证逻辑的“形式化”与“非形式化”[J];哲学动态;1992年08期

7 张小燕,孙学君;皮亚杰论逻辑认识论[J];中山大学学报(社会科学版);2003年S1期

8 朱习军;有向图及其在逻辑上的应用[J];泰安师专学报;1998年06期

9 金顺福;关于辩证逻辑形式化问题[J];广州大学学报(社会科学版);2002年03期

10 杜文静;;谓词逻辑在人工智能中的应用[J];河南机电高等专科学校学报;2006年06期

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

1 刘壮虎;;复合谓词的逻辑系统[A];2000年逻辑研究专辑[C];2000年

2 刘壮虎;;几类性质词的逻辑特征[A];第二届中国南北哲学论坛暨“哲学的当代意义”学术研讨会论文集[C];2005年

3 李娜;;我讲《数理逻辑》课程的方法[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

4 刘宗棠;;论辩逻辑的复兴与创新——三论“承认”[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

5 陈其楼;潘正华;;谓词逻辑中有关函数及其部分性质的形式描述[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年

6 孟晓青;;Topos理论的哲学意义以及辩证法的形式化[A];1994年逻辑研究专辑[C];1994年

7 陈晓平;;也谈周延规则的普适性问题[A];1998年逻辑研究专辑[C];1998年

8 胡龙彪;;论建立统一的逻辑科学体系[A];1997年逻辑研究专辑[C];1997年

9 张金成;;辩证逻辑形式化公理系统ZC[A];1994年逻辑研究专辑[C];1994年

10 毛翊;;邻域语义学[A];1994年逻辑研究专辑[C];1994年

中国重要报纸全文数据库 前5条

1 辛望旦;悖论的意义与理性形式的演化[N];社会科学报;2000年

2 陈波;逻辑学与理性精神[N];光明日报;2003年

3 宁莉娜;从非日常思维的价值维度看逻辑方法的走向[N];光明日报;2004年

4 沈跃春;现代逻辑学及其发展趋势[N];人民日报;2004年

5 王健平;不能缺少人文逻辑[N];浙江日报;2004年

中国博士学位论文全文数据库 前1条

1 聂大海;语言指称的同一性与必然性[D];吉林大学;2011年

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

1 卢海;前谓词经验与一般性判断的构造[D];西北师范大学;2011年

2 孙丽娜;言语交际中的语用推理述评[D];燕山大学;2009年

3 武庆荣;索引词研究述评[D];西南大学;2009年

4 王佳君;CTD悖论研究[D];华东师范大学;2009年

5 刘素姣;一阶谓词逻辑在人工智能中的应用[D];河南大学;2004年

6 谢耘;论证概念的理论探究[D];华东师范大学;2006年

7 段宏立;道义逻辑[D];西南大学;2006年

8 文红峰;论逻辑后承与逻辑真[D];湘潭大学;2008年

9 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年

10 姚从军;古典命题逻辑与模态命题逻辑[D];河南大学;2005年

  本文关键词：传统逻辑直言命题推理的扩充，由笔耕文化传播整理发布。

本文编号：493910