图书介绍
从现代逻辑观点看亚里士多德的逻辑理论pdf电子书版本下载
- 张家龙著 著
- 出版社： 北京：中国社会科学出版社
- ISBN：7516182321
- 出版时间：2016
- 标注页数：404页
- 文件大小：52MB
- 文件页数：418页
- 主题词：
PDF下载
下载说明
从现代逻辑观点看亚里士多德的逻辑理论PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
前言 1
第一章 亚里士多德的生平与逻辑著作《工具论》 1
第二章 范畴与谓词 6
第一节 十范畴 6
第二节 四谓词与本质主义 12
第三章 直言命题与直言三段论 16
第一节 直言命题 16
第二节 直言三段论的格和式的原貌 27
第三节 直言三段论的化归 44
第四节 无效式的排斥 51
第五节 直言三段论的规则 53
第六节 对直言三段论的补充讨论 56
第四章 直言三段论的现代研究 75
第一节 莱布尼茨的直言三段论系统 75
第二节 希尔伯特和阿克曼的联合演算中的直言三段论 79
第三节 卢卡西维茨的蕴涵式公理系统 80
第四节 科科伦的自然演绎系统 86
第五节 斯迈利的自然演绎系统 89
第五章 作为一阶逻辑子系统的直言三段论 93
第一节 一阶逻辑的自然演绎系统ND 93
第二节 直言三段论在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