第一章 次协调逻辑是从哪里来的 3
第一节 次协调思想并不神秘：几个引例 3
第二节 为什么会产生新逻辑 8
第三节 次协调逻辑的现实原型 11
第四节 悖论、二律背反与次协调逻辑 18
第五节 “协调论”、“交际思维法”中的次协调思想 26
第二章 次协调协逻辑发展史 32
第一节 卢卡西维茨论亚氏矛盾律 32
第二节 瓦西里也夫的“想象逻辑”*35+++第三节 雅斯可夫斯基的“商过逻辑” 37
第三章 达科塔的次协调逻辑 42
第一节 概述 42
第二节 次协调例题演算Cn 44
第三节 次协调谓词演算与摹状词演算 49
第四节 次协调集合论的基本思想 51
第四章 次协调逻辑的其他分支 61
第一节 为什么需要有次协调道义逻辑 61
第二节 次协调道义演算CD1 65
第三节 CD1的道义可能世界语义学 72
第四节 为什么会有次协调辩证逻辑 77
第五节 次协调辩证逻辑DL系统的公理 79
第六节 次协调辩证逻辑DL系统的元定理 82
第七节 次协调辩证逻辑DL系统的语义学 88
第八节 次协调辩证逻辑DL系统的扩展 92
第九节 次协调时态逻辑大意 95
第十节 次协调逻辑在其他方面的发展 99
第五章 次协调逻辑的哲学意义 105
第一节 次协调逻辑与逻辑哲学 105
第二节 次协调逻辑与辩证哲学 107
第六章 基本构架——可用形式理论的符号表达 117
第一节 推理关系符号的约定 117
第二节 对“理发师悖论”与康托定理的形式化再分析 123
第三节 可用形式理论的公理构架 136
第七章 限悖论逻辑Lpm及其扩展 152
第一节 引论 152
第二节 Lpm的语义与语义推理 155
第三节 Lpm例题演算的证明论——极小化语义表推演 168
第四节 Lpm例题演算的逻辑特性 180
第五节 Lpm的谓语演算的表推演 188
第六节 容错常识推理（I） 238
第八章 次协调性的相干逻辑RC（I） 260
第一节 相干逻辑的意义 260
第二节 相干逻辑：古典型逻辑的现代形式 262
第三节 RC（I）语义推理的公理系 266
第四节 RC（I）系统是古典型逻辑 279
第五节 古典自然推理RC（I）和“3R关系语义”的关系 287
第六节 量词的语义模型U与RC（I）语推理的关系 310
第七节 等词＝的语义推理及其模型 316
第八节 语义推理的可靠性与完全性 318
第九节 重言式的古典型逻辑RC（I） 319
第九章 次协调性的相干逻辑RC（II） 323
第一节 寻找相干逻辑的几何代数模型 323
第二节 相干逻辑RC（II）公式的语义 345
第三节 RC（II）的公里系统 356
第四节 一些重要定理的演译证明 378
第十章 规范逻辑及法律逻辑的新系统 393
第一节 为什么要研究规范逻辑 393
第二节 行为论的古典型逻辑RA 399
第三节 法律逻辑的新公理系统LLA（I） 415
第十一章 次协调性相干模糊逻辑RFZ 440
第一节 引言 440
第二节 模糊逻辑FZ的公理系统的引入 441
第三节 模糊逻辑FZ与经典逻辑BF的比较 446
第四节 FZ的谓词演算 463
第五节 FZ的可靠性 485
第六节 FZ例题演算的判定 496
第七节 RZ 命题演算的判定问题 503
第八节 非空模糊全域D及FZ的模型（D，E,＝） 505
第九节 相干模糊逻辑RFZ（次协调性的彻底解决） 512
第十二章 哲学逻辑其他新公理系统 522
第一节 直觉主义逻辑的新公理系统RH与RJ 522
第二节 次协调非单调逻辑PN 570
第三节 辩证逻辑公理系统DLA及DLB 597
第四节 辩证逻辑的新公理系统DRFL——尝试刻画《矛盾论》基本原理的一种形式语言 612
第一节 计算机与人工智能需要新逻辑 633
第十三章 次协调逻辑在不协调知识库中进行推理的理论与应用 633
第二节 专家系统与不协调知识库 638
第三节 广义Horn子句逻辑程序的语法 639
第四节 广义Horn子句逻辑程序的语义 645
第五节 前固定点的语义 651
第六节 合经典的广义Horn子句程序（GHP） 657
第七节 广义Horn子句程序的操作语义 663
第八节 对合经典GHP的线性定序非Horn子句归结 670
第九节 不协调的医学专家系统及投资决策系统 674
第十节 总结 677
第一节 自动推理的一般过程 678
第十四章 次协调逻辑自动定理证明的理论与实现 678
第二节 从谋杀案的不协调知识库说起 681
第三节 理论模型 683
第四节 次协调性的线性归结方法 688
第五节 不协调医学专家系统的再分析 697
第六节 次协调性下的推理实例 700
第七节 实现策略 703
第八节 结论 706
附录I 次协调逻辑研究之一：辩证法的对立统一原理（N.C.A达科斯塔、R.G.沃尔夫著,朱志方译） 707
附录II 次协调逻辑研究之二：量词与对立统一（N.C.A达科斯塔、R.G.沃尔夫著,朱志方译） 739
附录III 次协调数学（牛顿.C.A.,达科斯塔著,胡少文译） 749
附录IV 次协调逻辑国际会议概要(比利时根特,1997)(孙思译) 765