[1]张金成.容纳矛盾逻辑系统与悖论[J].智能系统学报,2012,7(3):206-213.
ZHANG Jincheng.A logic system which accommodates contradictions and paradoxes[J].CAAI Transactions on Intelligent Systems,2012,7(3):206-213.
点击复制
ZHANG Jincheng.A logic system which accommodates contradictions and paradoxes[J].CAAI Transactions on Intelligent Systems,2012,7(3):206-213.
容纳矛盾逻辑系统与悖论
《智能系统学报》[ISSN 1673-4785/CN 23-1538/TP] 卷:
7
期数:
2012年第3期
页码:
206-213
栏目:
学术论文—人工智能基础
出版日期:
2012-06-25
- Title:
- A logic system which accommodates contradictions and paradoxes
- 文章编号:
- 1673-4785(2012)03-0206-08
- Keywords:
- logic system; contradiction; paradox; positive field; inverse field; fixed field; paraconsistent logic system
- 分类号:
- TP18; O141
- 文献标志码:
- A
- 摘要:
- 分析了目前各种容纳矛盾逻辑系统的不足，提出了正域、反域、不动域的概念，进而发现悖论是逻辑思维领域的不动点，建立了一个容纳矛盾的逻辑系统S，并给出了系统S的语义模型，证明了系统S的元定理.在系统S中，命题演算被分成3个独立的域，正域、反域中所有经典逻辑的定理与演算模式都是有效的；不动域是一个包含矛盾的域，在不动域中，可以证明悖论是一个定理.系统S与Da Costa的次协调逻辑系统Cn相比较，它不但可以容纳矛盾，并且可以把矛盾解释清晰.以此逻辑系统为基础，可以建立一个容纳矛盾的数学基础.
- Abstract:
- The insufficiencies of various currently used logic systems which accommodate contradictions were analyzed in this paper. The concepts of a positive field, inverse field, and fixed field were put forward, and the paradox was found to be the fixed point in the field of logical thinking. A new logic system S accommodating the contradictions and a semantic model of the system S were built, and then the metatheorem of system S was proven. In the system S, the propositional calculus was divided into three separate fields. All the schemes of calculus and theorems of classical logic were valid in the positive or inverse fields. The paradox, including the contradiction nature, could be proven as a theorem in the fixed field. Compared with the Da Costa paraconsistent logic system Cn, the system S can not only accommodate the contradictions, but also interpret them clearly. Based on this logic system, a foundation of mathematics which accommodates contradictions can be established.
- 参考文献/References:
-
［1］S. C. 克林．元数学导论［M］. 莫绍揆，译．北京：科学出版社, 1984.
［2］桂起权．次协调逻辑与人工智能［M］．武汉：武汉大学出版社, 2002.
［3］傅章秀．几何基础［M］．北京：北京师范大学出版社, 1984.
［4］HAMILTON A G. Logic for mathematicians［M］. Cambridge, UK: Cambridge University Press, 1978.
［5］江泽涵．不动点类理论［M］．北京：科学出版社, 2011.
［6］张奠宙，顾鹤荣．不动点定理［M］．沈阳：辽宁教育出版社, 1995.
［7］汪芳庭．数学基础［M］．北京：科学出版社, 2001.
［8］何华灿．泛逻辑学原理［M］．北京：科学出版社, 2001.
［9］桂起权，陈晓平．辩证逻辑形式化的研究纲领［J］．云南社会科学, 1992(5): 4349.
［10］胡世华，陆钟万．数理逻辑基础［M］．北京：科学出版社, 1981.
备注/Memo
收稿日期： 2011-10-24.
通信作者：张金成. E-mail: 656790205@qq.com.
作者简介：张金成，男，1966年生，主要研究方向为悖论、容纳矛盾的逻辑、数学基础，发表学术论文12篇.
更新日期/Last Update:
2012-09-05