数理辩证逻辑导论pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

数理辩证逻辑导论PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第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