- 作 者：马雷著
- 出 版 社：北京：科学出版社
- 出版年份：2013
- ISBN：9787030389282
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
11
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
第一章 传统词项逻辑的一般特征 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