第1章 辩证逻辑的现代发展

1.1 形式化是当代辩证逻辑的发展方向

1.2 数理辩证逻辑的研究对象和方法

1.3 数理辩证逻辑的学科性质和作用

1.4 数理辩证逻辑与经典数理逻辑的关系

第2章 属性集和两种类理论

2.1 共同属性类的理论

2.2 共同属性类的关系理论

2.3 整体互补属性集合论

2.4 互补属性集合的关系理论

2.5 互补结构整体类的理论

第3章 数理辩证命题逻辑

3.1 辩证原子命题及其命题函项和命题变项

3.2 辩证复合命题形式及其真值函项

3.3 辩证命题形式的真值类型和真值表判定方法

3.4 辩证命题推理的基本规则和相关定义

3.5 辩证命题逻辑的基本定理、证明和作用

3.6 辩证复合命题形式的范式判定方法

3.7 辩证复合命题形式的真值树判定方法

第4章 数理辩证谓词逻辑

4.1 辩证谓词逻辑形式及其语言表达形式

4.2 辩证谓词逻辑表达式的语义解释

4.3 辩证谓词逻辑量化主谓式的真值表判定方法

4.4 辩证逻辑量化主谓式的推论规则和定理

4.5 辩证逻辑量化主谓式的范式判定方法

4.6 辩证逻辑量化主谓式的真值树判定方法

5.1 DPA系统的形式语言LDP

第5章 辩证逻辑命题演算公理系统DPA

5.2 DPA系统及其论证和定理的定义

5.3 DPA系统中导出规则和基本定理

5.4 DPA系统的演绎定理和归纳定理

5.5 DPA系统中外延展开式扩充定理

5.6 DPA系统中内涵缩写式扩充定理

第6章 DPA系统的语义解释和元定理

6.1 DPA系统的语义解释

6.2 DPA系统的可靠性和协调性

6.3 DPA系统的完全性

6.4 DPA系统的可表达性和可判定性

第7章 辩证谓词演算系统DQA

7.1 DQA系统的形式语言LDQ

7.2 DQA系统形式证明形式定理

7.3 DQA系统中合式定理和导出规则

7.4 DQA系统的演绎定理和归纳定理

7.5 DQA系统中内涵缩写式扩充定理

7.6 DQA系统中外延展开式扩充定理

第8章 DQA系统的语义解释和元定理

8.1 DQA系统的语义解释

8.2 DQA系统的可靠性和协调性

8.3 DQA系统的完全性

8.4 DQA系统的可表达性和可判定性

第9章 数理辩证逻辑应用概论

9.1 数理辩证逻辑与现代科学方法论——兼评D．C．菲立普的《社会科学中的整体论思想》

9.2 数理辩证逻辑与人工智能程序设计——兼评德雷福斯的《人工智能的极限计算机不能做什么》

参考文献