次协调逻辑与人工智能

　　序
　　前言
　　第一编次协调逻辑及其基本原理
　　第一章次协调逻辑是从哪里来的
　　第一节次协调思想并不神秘：几个引例
　　第二节为什么会产生新逻辑
　　第三节次协调逻辑的现实原型
　　第四节悖论、二律背反与次协调逻辑
　　第五节“协调论”、“交际思维学”中的次协调思想
　　第二章次协调逻辑发展简史
　　第一节卢卡西维茨论亚氏矛盾律
　　第二节瓦西里也夫的“榻象逻辑”
　　第三节雅斯可夫斯基的“商讨逻辑”
　　第三章达科斯塔的次协调逻辑
　　第一节概述
　　第二节次协调命题演算C
　　第三节次协调谓词喾算与摹状词演算
　　第四节次协调集合论的基本思想
　　第四章次协调逻辑的其他分支
　　第一节为什么需要有次协调道义逻辑
　　第二节次协调道义演算C
　　第三节C的道义可能世界语义学
　　第四节为什么会有次协调辩证逻辑
　　第五节次协调辩证逻辑DL系统的公理
　　第六节次协调辨证逻辑DL系统的元定理
　　第七节次协调辩证逻辑DL系统的语义学
　　第八节次协调辩证逻辑DL系统的扩展
　　第九节次协调时态逻辑大意
　　第十节次协调逻辑在其他方面的发展
　　第五章次协调逻辑的哲学意义
　　第一节次协调逻辑与逻辑哲学
　　第二节次协调逻辑与辩证哲学
　　第二编创建次协调逻辑新系统的尝试
　　第六章基本构架——可用形式理论的符号表达
　　第一节推理关系符号的约定
　　第二节对“理发师悖论”与康托定理的形式化再分析
　　第三节可用形式理论的公理构架
　　第七章陷悖论逻辑Lpm及其扩展
　　第一节引论
　　第二节Lpm的语义与语义推理
　　第三节Lpm命题演算的证明论——极小化语义表推演
　　第四节Lpm命题演算的逻辑特性
　　……
　　第八章次协调性的相干逻辑PC（1）
　　第九章次协调性的相干逻辑PC（2）
　　第十章规范逻辑及法律逻辑的新系统
　　第十一章次协调性相干模糊逻辑PFZ
　　第十二章哲学逻辑其他新公理系统
　　第三编次协调逻辑在人工智能领域中的应用
　　第十三章次协调逻辑在不协调知识库中进行推理的理论与应用
　　第十四章次协调逻辑自动定理证明的理论与实现
　　附录

　　    这本《次协调逻辑与人工智能（AI）》，第一编写协调逻辑基本原理，包括历史背景、现实原型、次协调逻辑命题演算，谓词演算、道义演算以及在集合论与辩证逻辑中的初步应用等等，由作者所写。第二编一系列创新的次协调公理系统的绝大部分，大都出自陈立自的手笔。其中有相干、直觉主义、行为论、模糊、非单调等逻辑系统，还有辩证逻辑，我只是提供了些背景思想，引导他的兴趣转移到辩证逻辑形式化上来；技术方面只有小部分工作才属于作者的，但在文字上作者作了很多改写。陈自立认为，张清宇研究员的扣理逻辑公理系统或具有卡尔纳普式的业密性和形式美，然而陈本人却由于工程技术工作者的习惯性思维，迫使自己在建构形式体系时，时刻不忘记要面向计算机编程和机器实现。第三编在计算机人工智能方面的应用，则是由武汉大学计算机科学系朱福喜副教授担任。他在这方面有我年的工作经验，充分消化了da Costa的有关文献。
　　    本书作者的逻辑思想带有明显的非正统色彩，可能说我们特别喜欢非经典逻辑并属于逻辑学者听“第三世界”。