从现代逻辑观点看亚里士多德的逻辑理论【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

从现代逻辑观点看亚里士多德的逻辑理论PDF格式电子书版下载

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

前言1

第一章 亚里士多德的生平与逻辑著作《工具论》1

第二章 范畴与谓词6

第一节 十范畴6

第二节 四谓词与本质主义12

第三章 直言命题与直言三段论16

第一节 直言命题16

第二节 直言三段论的格和式的原貌27

第三节 直言三段论的化归44

第四节 无效式的排斥51

第五节 直言三段论的规则53

第六节 对直言三段论的补充讨论56

第四章 直言三段论的现代研究75

第一节 莱布尼茨的直言三段论系统75

第二节 希尔伯特和阿克曼的联合演算中的直言三段论79

第三节 卢卡西维茨的蕴涵式公理系统80

第四节 科科伦的自然演绎系统86

第五节 斯迈利的自然演绎系统89

第五章 作为一阶逻辑子系统的直言三段论93

第一节 一阶逻辑的自然演绎系统ND93

第二节 直言三段论在ND中的两种推演95

第六章 树枝形的直言三段论自然演绎系统118

第一节 系统的出发点118

第二节 定理的推演121

第三节 无效式的形式排斥系统128

第四节 算术模型、集合代数模型以及可靠性和语义完全性143

第五节 判定程序与简单完全性153

第七章 偏好逻辑165

第一节 何谓“偏好”165

第二节 关于偏好的基本原理167

第三节 组合选择项的偏好问题173

第八章 关系理论175

第一节 关系的一般特点175

第二节 后范畴177

第三节 其他类型的关系理论179

第九章 模态命题逻辑195

第一节 模态命题逻辑的基本内容195

第二节 包含偶然算子的模态命题逻辑202

第三节 模态命题逻辑的哲学意义208

第十章 模态三段论210

第一节 必然三段论概述210

第二节 亚里士多德在偶然命题方面的严重错误及其纠正方案220

第三节 偶然模态三段论概述223

第十一章 模态三段论的现代研究232

第一节 麦考尔的蕴涵式公理系统232

第二节 托姆的自然演绎系统240

第十二章 树枝形的必然三段论自然演绎系统247

第一节 必然式系统247

第二节 可能式254

第三节 必然式的形式排斥系统271

第四节 可能世界模型、集合代数模型以及可靠性和语义完全性278

第五节 必然式系统的判定程序与简单完全性297

第十三章 树枝形的偶然三段论自然演绎系统305

第一节 偶然式系统305

第二节 偶然式的形式排斥系统327

第三节 集合代数模型以及可靠性和语义完全性337

第四节 偶然式系统的判定程序与简单完全性339

第十四章 逻辑规律349

第一节 同一律、矛盾律和排中律349

第二节 亚里士多德驳三种曲解排中律的观点353

第三节 亚里士多德对排中律的限制与三值逻辑355

第十五章 公理方法和归纳方法360

第一节 公理方法的要素360

第二节 初始前提与直觉归纳法371

第三节 其他类型的归纳法372

第十六章 辨谬理论378

第一节 辨谬的目的378

第二节 语言谬误与逻辑谬误379

第三节 消除谬误的方法387

参考文献401