从现代逻辑观点看亚里士多德的逻辑理论
从现代逻辑观点看亚里士多德的逻辑理论作者:张家龙 开 本:32开 书号ISBN:9787516182321 定价:95.0 出版时间:2016-06-01 出版社:中国社会科学出版社 |
从现代逻辑观点看亚里士多德的逻辑理论 本书特色
张家龙著的这本《从现代逻辑观点看亚里士多德的逻辑理论》遵循马克思提出的“人体解剖对于猴体解剖是一把钏匙”的历史研究方法,从现代逻辑观点全面系统地研究了亚里七多德的九大逻辑理论;澄清了长期以来国内外学术界对亚里士多德逻辑理论的诸多误解,深刻地揭示出亚里士多德逻辑理论对现代逻辑发展的重大意义。在此基础上,本书进行了“推陈出新”的研究,用现代逻辑的工具,重新构造了亚里士多德的直言三段论系统、必然模态三段论系统和偶然模态三段论系统,并且构造了形式排斥系统,构造了这些系统的语义模型,证明了这些系统的可靠性和语义完全性,*重要的结果是解决了这些系统的判定程序。
从现代逻辑观点看亚里士多德的逻辑理论 目录
前言**章 亚里士多德的生平与逻辑著作《工具论》 第二章 范畴与谓词 **节 十范畴 第二节 四谓词与本质主义 第三章 直言命题与直言三段论 **节 直言命题 第二节 直言三段论的格和式的原貌 第三节 直言三段论的化归 第四节 无效式的排斥 第五节 直言三段论的规则 第六节 对直言三段论的补充讨论 第四章 直言三段论的现代研究 **节 莱布尼茨的直言三段论系统 第二节 希尔伯特和阿克曼的联合演算中的直言三段论 第三节 卢卡西维茨的蕴涵式公理系统 第四节 科科伦的自然演绎系统 第五节 斯迈利的自然演绎系统 第五章 作为一阶逻辑子系统的直言三段论 **节 一阶逻辑的自然演绎系统ND第二节 直言三段论在ND中的两种推演 第六章 树枝形的直言三段论自然演绎系统 **节 系统的出发点 第二节 定理的推演 第三节 无效式的形式排斥系统 第四节 算术模型、集合代数模型以及可靠性和语义完全性 第五节 判定程序与简单完全性 第七章 偏好逻辑 **节 何谓“偏好” 第二节 关于偏好的基本原理 第三节 组合SHOU*选择项的偏好问题 第八章 关系理论 **节 关系的一般特点 第二节 后范畴 第三节 其他类型的关系理论 第九章 模态命题逻辑 **节 模态命题逻辑的基本内容 第二节 包含偶然算子的模态命题逻辑 第三节 模态命题逻辑的哲学意义 第十章 模态三段论 **节 必然三段论概述 第二节 亚里士多德在偶然命题方面的严重错误及其纠正方案 第三节 偶然模态三段论概述 第十一章 模态三段论的现代研究 **节 麦考尔的蕴涵式公理系统 第二节 托姆的自然演绎系统 第十二章 树枝形的必然三段论自然演绎系统 **节 必然式系统 第二节 可能式 第三节 必然式的形式排斥系统 第四节 可能世界模型、集合代数模型以及可靠性和语义完全性 第五节 必然式系统的判定程序与简单完全性 第十三章 树枝形的偶然三段论自然演绎系统 **节 偶然式系统 第二节 偶然式的形式排斥系统 第三节 集合代数模型以及可靠性和语义完全性 第四节 偶然式系统的判定程序与简单完全性 第十四章 逻辑规律 **节 同一律、矛盾律和排中律 第二节 亚里士多德驳三种曲解排中律的观点 第三节 亚里士多德对排中律的限制与三值逻辑 第十五章 公理方法和归纳方法 **节 公理方法的要素 第二节 初始前提与直觉归纳法 第三节 其他类型的归纳法 第十六章 辨谬理论 **节 辨谬的目的 第二节 语言谬误与逻辑谬误 第三节 消除谬误的方法 参考文献
哲学/宗教 哲学 逻辑学
在线阅读
- 最新内容
- 相关内容
- 网友推荐
- 图文推荐
上一篇:民族美学-(第4辑)
下一篇:艺术哲学
零零教育社区:论坛热帖子
[家长教育] 孩子为什么会和父母感情疏离? (2019-07-14) |
[教师分享] 给远方姐姐的一封信 (2018-11-07) |
[教师分享] 伸缩门 (2018-11-07) |
[教师分享] 回家乡 (2018-11-07) |
[教师分享] 是风味也是人间 (2018-11-07) |
[教师分享] 一句格言的启示 (2018-11-07) |
[教师分享] 无规矩不成方圆 (2018-11-07) |
[教师分享] 第十届全国教育名家论坛有感(二) (2018-11-07) |
[教师分享] 贪玩的小狗 (2018-11-07) |
[教师分享] 未命名文章 (2018-11-07) |