对我国两个著名的数理逻辑系统的评析——为建构我国的数理辩证逻辑系统献言

发布时间：2018-10-17 12:41

【摘要】：从"数理辩证逻辑的对象问题"、"数理辩证逻辑与经典数理逻辑的关系问题"、"数理辩证逻辑的常项问题"三个方面来评析,赵总宽教授的《数理辩证逻辑导论》一书建构的逻辑系统更宜称为非经典逻辑中的扩展逻辑。以桂起权教授等著的《次协调逻辑与人工智能》一书为样本,对次(弗)协调逻辑系统进行评析的结果表明,该系统的根本缺陷在于混淆了"逻辑矛盾"、"谈判矛盾"、"辩证矛盾"三个不同的概念,从而对不矛盾律、司脱克规则的否定也是不当的。
[Abstract]:It is analyzed from three aspects: the object problem of mathematical dialectical logic, the relationship between mathematical dialectical logic and classical mathematical logic, and the constant term problem of mathematical dialectical logic. An introduction to Mathematical Dialectical Logic by Professor Zhao Zhouquan the logic system constructed in this book is more suitable to be called extended logic in non-classical logic. Taking Professor Gui Qiquan's book subcoordinated Logic and artificial Intelligence as a sample, the results of an analysis of the second (Fur) Coordination Logic system show that The fundamental defect of the system is that it confuses three different concepts: logical contradiction, negotiation contradiction and dialectical contradiction, thus negating the law of non-contradiction and the rule of Stark.
【作者单位】： 河南大学哲学与公共管理学院;
【分类号】：B813

【共引文献】

相关期刊论文 前10条

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

2 郭开仲;消错逻辑[J];广东工业大学学报;1997年04期

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

4 戴青云,唐立中;元数学对计算机科学的启示[J];计算机工程与应用;2003年02期

5 于海飞;量子逻辑述评[J];兰州大学学报(社会科学版);2005年01期

6 郭开仲,刘世勇;模糊错误逻辑分解转化词与内涵否定词的逻辑关系[J];模糊系统与数学;2002年01期

7 徐盛桓;含意推导思维形态的变化和发展[J];外语学刊;1998年01期

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

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

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

相关博士学位论文 前1条

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

相关硕士学位论文 前9条

1 刘世勇;基于时空变化的消错学研究及其在决策中的应用[D];广东工业大学;2002年

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

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

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

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

6 郑束蕾;基于逻辑学的多媒体电子地图集设计研究[D];中国人民解放军信息工程大学;2005年

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

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

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

，

本文编号：2276691