《数理辩证逻辑导论》求取 ⇩

第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系统的形式语言LDP265

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

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章辩证谓词演算系统DQA427

7.1 DQA系统的形式语言LDQ427

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