可拓逻辑
维基百科,自由的百科全书
数理逻辑不研究带有矛盾前提的问题。但是,人们天天要与矛盾打交道,天天要处理各种各样的矛盾问题。因此,不但要研究不矛盾的逻辑,还要研究带有矛盾前提的逻辑。
可拓逻辑正是一种研究如何化矛盾为不矛盾的逻辑。通俗地说,它研究如何在矛盾前提下,通过某种变换,得到不矛盾的结论。因此,可拓逻辑是研究化矛盾问题为不矛盾问题的逻辑,是可拓学的逻辑基础。它有三个特点:
[编辑] 参考资料
- 《物元模型及其应用》,科学技术文献出版社, 2000
- 《从物元分析到可拓学》,科学技术文献出版社,1995
- 《可拓工程方法》,科学出版社,1997
- 《可拓逻辑初步》,科学出版社,2003
- 《extension engineering methods》,Science Press, Beijing,2003
- 可拓论及其应用,科学通报,1999,44(7)
- 可拓工程研究,中国工程科学,2000,2(12)