第1章 辩证逻辑的现代发展 1
1.1 形式化是当代辩证逻辑的发展方向 1
1.2 数理辩证逻辑的研究对象和方法 5
1.3 数理辩证逻辑的学科性质和作用 11
1.4 数理辩证逻辑与经典数理逻辑的关系 15
第2章 属性集和两种类理论 21
2.1 共同属性类的理论 21
2.2 共同属性类的关系理论 32
2.3 整体互补属性集合论 49
2.4 互补属性集合的关系理论 64
2.5 互补结构整体类的理论 79
第3章 数理辩证命题逻辑 85
3.1 辩证原子命题及其命题函项和命题变项 85
3.2 辩证复合命题形式及其真值函项 90
3.3 辩证命题形式的真值类型和真值表判定方法 105
3.4 辩证命题推理的基本规则和相关定义 114
3.5 辩证命题逻辑的基本定理、证明和作用 126
3.6 辩证复合命题形式的范式判定方法 137
3.7 辩证复合命题形式的真值树判定方法 153
第4章 数理辩证谓词逻辑 160
4.1 辩证谓词逻辑形式及其语言表达形式 160
4.2 辩证谓词逻辑表达式的语义解释 170
4.3 辩证谓词逻辑量化主谓式的真值表判定方法 190
4.4 辩证逻辑量化主谓式的推论规则和定理 215
4.5 辩证逻辑量化主谓式的范式判定方法 240
4.6 辩证逻辑量化主谓式的真值树判定方法 260
5.1 DPA系统的形式语言LDP 265
第5章 辩证逻辑命题演算公理系统DPA 265
5.2 DPA系统及其论证和定理的定义 269
5.3 DPA系统中导出规则和基本定理 274
5.4 DPA系统的演绎定理和归纳定理 290
5.5 DPA系统中外延展开式扩充定理 313
5.6 DPA系统中内涵缩写式扩充定理 339
第6章 DPA系统的语义解释和元定理 388
6.1 DPA系统的语义解释 388
6.2 DPA系统的可靠性和协调性 404
6.3 DPA系统的完全性 409
6.4 DPA系统的可表达性和可判定性 421
第7章 辩证谓词演算系统DQA 427
7.1 DQA系统的形式语言LDQ 427
7.2 DQA系统形式证明形式定理 432
7.3 DQA系统中合式定理和导出规则 435
7.4 DQA系统的演绎定理和归纳定理 442
7.5 DQA系统中内涵缩写式扩充定理 450
7.6 DQA系统中外延展开式扩充定理 474
第8章 DQA系统的语义解释和元定理 491
8.1 DQA系统的语义解释 491
8.2 DQA系统的可靠性和协调性 501
8.3 DQA系统的完全性 507
8.4 DQA系统的可表达性和可判定性 508
第9章 数理辩证逻辑应用概论 515
9.1 数理辩证逻辑与现代科学方法论——兼评D．C．菲立普的《社会科学中的整体论思想》 515
9.2 数理辩证逻辑与人工智能程序设计——兼评德雷福斯的《人工智能的极限计算机不能做什么》 526
参考文献 538