图书介绍
论联合演算PDF|Epub|txt|kindle电子书版本网盘下载
- 马雷著 著
- 出版社： 北京：科学出版社
- ISBN：9787030389282
- 出版时间：2013
- 标注页数：314页
- 文件大小：92MB
- 文件页数：327页
- 主题词：逻辑哲学－研究
PDF下载
下载说明
论联合演算PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 传统词项逻辑的一般特征1
第一节 传统词项逻辑语言的基本词汇1
一、变项1
二、逻辑常项7
第二节 传统词项逻辑的直言命题形式9
一、命题和命题形式9
二、真值条件12
第三节 传统词项逻辑的直言推理形式14
一、推理和推理形式14
二、亚里士多德三段论式和传统三段论式23
第二章 亚里士多德的模态三段论37
第一节 模态词与模态命题形式37
第二节 亚里士多德的模态三段论44
一、带有两必然前提的三段论44
二、两前提一为必然一为实然的三段论47
三、带有两可能前提的三段论55
四、两前提一为可能一为实然的三段论62
五、两前提一为可能一为必然的三段论67
第三章 联合演算的构建74
第一节 词项逻辑、谓词逻辑、类逻辑和命题逻辑74
一、词项逻辑与谓词逻辑74
二、词项逻辑与类逻辑77
三、词项逻辑与命题逻辑81
第二节 命题演算与一元谓词演算或类演算的联合85
一、命题演算与一元谓词演算的联合85
二、命题演算与类演算的联合87
第四章 联合演算的原初判定标准90
第一节 原初判定标准及其应用90
第二节 对原初判定标准的考察98
一、隐蔽的矛盾98
二、理论谬误和症结所在106
第五章 联合演算的结构判定方法116
第一节 希尔伯特和阿克曼的审定法116
第二节 结构判定方法119
一、对竖号的重新解释119
二、结构判定方法及其应用120
第六章 联合演算的范式判定方法128
第一节 运用范式判定方法的可能性128
第二节 范式判定方法及其一般应用130
一、基本概念和定理130
二、判定方法及其应用132
第三节 豪伯定理的证明141
第七章 联合演算对传统词项逻辑的等价描述147
第一节 问题的提出147
第二节 新的翻译模式151
第三节 传统直言推理式的简化156
第八章 联合演算对传统直言推理的系统化161
第一节 联合演算的出发点161
一、初始符号161
二、形成规则162
三、定义164
四、公理164
五、基本推理规则166
第二节 定理的推演169
一、传统直接推理的系统化169
二、直言三段论推理的系统化179
第三节 传统直言三段论的化归192
一、化归原理和方法192
二、三段论的化归——归于第一格AAA式194
第九章 亚里士多德模态三段论的形式系统201
第一节 对亚里士多德模态三段论的等价表述201
一、带有两必然前提的三段论202
二、两前提一为必然一为实然的三段论205
三、带有两可能前提的三段论225
四、两前提一为可能一为实然的三段论246
五、两前提一为可能一为必然的三段论259
第二节 模态三段论演算的出发点277
一、初始符号278
二、形成规则278
三、定义279
四、公理279
五、变形规则280
六、定理的推演281
第三节 亚里士多德模态三段论的化归294
一、化归原理和方法295
二、亚里士多德模态三段论的化归296
三、余论：亚里士多德的模态悖论304
参考文献310
后记312