图书介绍
数理辩证逻辑导论PDF|Epub|txt|kindle电子书版本网盘下载
- 赵总宽著 著
- 出版社： 北京：中国人民大学出版社
- ISBN：7300019536
- 出版时间：1995
- 标注页数：541页
- 文件大小：16MB
- 文件页数：550页
- 主题词：
PDF下载
下载说明
数理辩证逻辑导论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系统的形式语言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