本书是国家社科基金项目“不协调理论的推理机制研究”（批准号：10BZX054）的成果总结。该项目于2010年6月立项，结项成果为“系列论文”，该项目于2012年11月结项，鉴定等级为“很好”。本书是在相关系列论文的基础上进一步拓展、完善并进行系统化整理而完成的。本书首先对靠前外各种弗协调逻辑及其相关研究进行了系统的考察。在此基础上提出自己解决不协调理论推理问题的方案.
第一章绪论1
1.1司各脱法则1
1.2国内外相关研究概述2
1.3弗协调逻辑的基本策略4
1.4逻辑的本质7
1.5研究内容与结构安排8
第二章对当关系逻辑10
2.1否定的类型10
2.2对当关系逻辑的理论缘起11
2.3对当关系逻辑18
2.4对当关系逻辑的判定问题26
2.5对当关系逻辑的扩充及其应用33
第三章知识蕴涵命题逻辑41
3.1知识蕴涵41
3.2知识蕴涵命题逻辑公理系统44
3.3可靠性和完全性50
3.4可判定性53
第四章知识蕴涵模态逻辑60
4.1模态语言60
……
杜国平：江苏省盱眙县人，教授，博士生导师。2000年6月毕业于中国社会科学院研究生院逻辑学专业，获哲学博士学位；2009年12月毕业于南京航空航天大学计算机应用技术专业，获工学博士学位。曾任南京大学哲学系副教授、教授，南京大学哲学系逻辑室主任，南京大学哲学系党委委员。现任中国社会科学院哲学研究所教授，中国逻辑学会副会长兼秘书长、中国逻辑学会应用逻辑专业委员会主任。主要从事逻辑学专业研究，研究方向为现代逻辑及其应用。
