现代逻辑导引PDF电子书下载
- 电子书积分:10 积分如何计算积分?
- 作 者:杨长福主编
- 出 版 社:重庆:重庆大学出版社
- 出版年份:2011
- ISBN:9787562460824
- 页数:240 页
图书介绍:本书是一本大学通识教育的教材,全书主要讲述了基本的逻辑常识,主要从大学生思维训练和逻辑运用的角度组织编写,对于增长知识、促进逻辑运用有积极价值。
上一篇:哲学与生活丛书 为什么要扯淡下一篇:佛心禅话 2
《现代逻辑导引》目录
绪论 1
A.1逻辑学的对象和性质 1
A.2逻辑思维的基本规律 7
A.3逻辑思想与学习逻辑的方法 17
1命题逻辑 20
1.1词项与命题 20
1.2简单命题及其推理 40
1.3复合命题及其推理 58
练习题 78
2命题演算 83
2.1命题演算概述 83
2.2命题演算系统Lp 96
2.3命题演算系统Lp的可靠性和完全性 102
练习题 107
3谓词逻辑 114
3.1谓词和量词 114
3.2形式语言 116
3.3命题的量化形式结构 123
3.4谓词逻辑推理的规则 128
练习题 137
4谓词演算 141
4.1谓词演算 141
4.2演绎定理 144
4.3谓词演算的可靠性与完全性 146
练习题 151
5模态逻辑 152
5.1模态逻辑概述 152
5.2可能世界语义学 162
5.3框架、模型和有效性 167
练习题 170
6模态命题演算 172
6.1形式语言1PM 172
6.2 K,D和T系统 174
6.3 S4,S5和B系统 180
6.4模态系统的可靠性与完全性 184
练习题 187
7现代逻辑的现代发展 190
7.1时态逻辑 191
7.2认知逻辑 198
7.3自然语言逻辑 202
参考文献 238
后记 239
相关图书
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编;包存宽 2020
- 《弗雷格逻辑主义研究》刘靖贤著 2019
- 《汉语言文学本科专业核心课程研究导引教材 古代汉语》马蓝婕责任编辑;(中国)魏宜辉 2019
- 《卡塞尔不欢迎逻辑》(西)恩里克·比拉-马塔斯著;施杰李,雪菲译 2019
- 《导引线纵联电流差动保护》苏宇铿著 1990
- 《哲学教授送给孩子们的逻辑思考课》冀剑制 2019
- 《逻辑与计算机科学哲学》潘沁著 2019
- 《哈佛逻辑课》(中国)穆臣刚 2019
- 《新时代背景下碳泄漏的法律规制 理论逻辑与实现路径》姜明 2019
作者其它书籍
出版社其它书籍
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《大学生心理健康与人生发展》王琳责任编辑;(中国)肖宇 2019
- 《大学英语四级考试全真试题 标准模拟 四级》汪开虎主编 2012
- 《大学英语教学的跨文化交际视角研究与创新发展》许丽云,刘枫,尚利明著 2020
- 《复旦大学新闻学院教授学术丛书 新闻实务随想录》刘海贵 2019
- 《大学英语综合教程 1》王佃春,骆敏主编 2015
- 《重庆市绿色建筑评价技术指南》重庆大学,重庆市建筑节能协会绿色建筑专业委员会主编 2018
- 《大学物理简明教程 下 第2版》施卫主编 2020
- 《大学化学实验》李爱勤,侯学会主编 2016
- 《中国十大出版家》王震,贺越明著 1991