论经典逻辑的局部修正——以弗协调逻辑为例

发布时间：2017-08-23 11:14

  本文关键词：论经典逻辑的局部修正——以弗协调逻辑为例

  更多相关文章： 经典逻辑 局部修正 弗协调逻辑 关系

【摘要】：为了适应新的需要,经典逻辑应在原有系统的基础上,建立新系统,提出新型的语义解释。弗协调逻辑可以对经典逻辑进行进一步的修正,但这种修正是局部的,并非根本性的。经典逻辑与弗协调逻辑是"前身"与"延伸"的关系,弗协调逻辑包含了经典逻辑,可以取代经典逻辑。
【作者单位】： 广东工业大学文法学院;
【关键词】： 经典逻辑 局部修正 弗协调逻辑 关系
【基金】：教育部人文社会科学青年项目(10YJC72040002)
【分类号】：B81-06
【正文快照】： 以亚里士多德词项逻辑与斯多葛学派命题逻辑为基础的传统逻辑一直占据统治地位,直到19世纪后半叶,德国数学家弗雷格在《概念文字》一书中表述了第一个具有现代形式的命题演算公理系统,现代逻辑就此诞生。命题演算和谓词演算构成了经典逻辑,也称之为一阶逻辑,它很快就取代了传

【共引文献】

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

1 李秀敏;论亚相容逻辑中的“矛盾”——达科斯塔的亚相容逻辑思想述评[J];安徽大学学报(哲学社会科学版);2005年01期

2 张秉福;逻辑递归性及其哲学思考[J];南京航空航天大学学报(社会科学版);2005年01期

3 薛伟江;后现代主义哲学思维方式的特征——从自组织动力学的观点看[J];社会科学辑刊;2004年03期

4 张秉福;逻辑递归性的哲学思考[J];信阳师范学院学报(哲学社会科学版);2004年05期

5 和宝珍;李牡琼;;从内涵的角度谈专名[J];宜宾学院学报;2006年04期

6 杨武金;弗协调逻辑及其理论特征[J];中共南京市委党校南京市行政学院学报;2004年02期

7 桂起权,陈自立;解罗斯悖论之谜——规范逻辑的一个新公理系统RA简述[J];中山大学学报(社会科学版);2003年S1期

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

1 张池平;多传感器信息融合方法及其在空间目标识别中的应用[D];哈尔滨工业大学;2006年

2 龙小平;可能世界中的名称和同一性[D];西南大学;2007年

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

1 伍晓敏;基于VSK-t逻辑的Agent形式化模型[D];云南师范大学;2004年

2 琚乔月;法律专家系统的逻辑学探析[D];河南大学;2005年

3 蔡家琴;论司法推理[D];河南大学;2005年

4 丁永强;规范逻辑的法律思考[D];河南大学;2005年

5 张明娜;语义悖论消解研究[D];河北大学;2006年

6 应毅;次协调数据库研究[D];南京航空航天大学;2006年

7 章江花;基于BDI-VSK-T逻辑的Agent系统形式化模型的研究[D];云南师范大学;2006年

8 郭向阳;现代专名指称理论初探[D];河南大学;2007年

9 陈庆芝;言语行为理论及其意义观研究[D];华南师范大学;2007年

10 李贞元;论达米特的反实在论意义理论[D];华南师范大学;2007年

【相似文献】

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

1 郭建萍;;殊途同归的意义理论——逻辑视野中的戴维森与达米特意义理论[J];哲学动态;2011年06期

2 罗翊重;;对哥德尔定理的辩证逻辑形式化解读[J];昆明学院学报;2011年04期

3 赵鹏;姚从军;;三值逻辑系统的分析与比较[J];毕节学院学报;2011年06期

4 丁春晓;张兴芳;;模糊逻辑系统公理真度分析[J];模糊系统与数学;2011年03期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

1 弓肇祥;季冠芳;;哲学逻辑的几个理论问题[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

2 张金成;;变换经典逻辑的时空——《数理辩证逻辑导论》读后[A];1996年逻辑研究专辑[C];1996年

3 郭世铭;;多主体认知逻辑系统(语法部分)[A];1998年逻辑研究专辑[C];1998年

4 蔡曙山;;学科交叉与现代逻辑的发展[A];小康社会：文化生态与全面发展——2003学术前沿论坛论文集[C];2004年

5 任晓明;崔清田;;逻辑多元论与逻辑在人文科学中的应用研究——兼谈《次协调逻辑与人工智能》[A];2003年逻辑研究专辑[C];2003年

6 张金成;;论系统DPA的基础及辩证模拟[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

7 郭世铭;;二重命题逻辑系统■_4[A];1993年逻辑研究专辑[C];1993年

8 刘奋荣;;缺省逻辑如何研究非单调推理？[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

9 苏愉仁;贾春华;;弗协调逻辑与《金匮要略》“方证论治系统”[A];仲景医学求真（续三）[C];2009年

10 陈小平;刘贵全;郭宝贵;;一个意图后承的形式理论[A];2000年逻辑研究专辑[C];2000年

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

1 华南师范大学政治与行政学院 胡泽洪;哲学逻辑的发展趋势及其对我们的启示[N];光明日报;2008年

2 陈波;人工智能 当代逻辑发展的动力[N];光明日报;2000年

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

4 沈跃春;繁荣和发展逻辑科学[N];安徽日报;2007年

5 中山大学逻辑与认知研究所 熊明辉;逻辑与认知[N];社会科学报;2002年

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

1 王庆平;逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D];陕西师范大学;2012年

2 刘奋荣;非单调推理的逻辑研究[D];中国社会科学院研究生院;2001年

3 余俊伟;弗协调逻辑应用于道义逻辑的研究[D];中国社会科学院研究生院;2001年

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

1 卢延鑫;逻辑学在计算机科学中的应用[D];上海社会科学院;2008年

2 聂成丽;奎因与模态逻辑的发展[D];苏州大学;2009年

3 周步晟;模态逻辑中事物模态引起的相关问题研究[D];苏州大学;2008年

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

5 郝旭东;次协调逻辑初探[D];河南大学;2004年

6 李丽;模糊时序命题逻辑系统的语义[D];辽宁师范大学;2005年

7 张文琴;克里普克解悖方案研究[D];华东师范大学;2007年

8 宋航;克里普克逻辑悖论思想研究[D];燕山大学;2008年

9 刘飞;非单调推理及其应用[D];河南大学;2011年

10 吴齐兴;西方谬误研究的历史考察与反思[D];南京大学;2011年

，

本文编号：724707