
作者:(澳)格里格·莱斯托(Greg Rest
页数:198
出版社:华中科技大学出版社
出版日期:2024
ISBN:9787577204475
高清校对版pdf(带目录)
前往页尾底部查看PDF电子书
内容简介
逻辑要求人们讲道理,告诉人们如何去讲道理,告诉人们如何去识别他人(有时候包括我们自己)是如何地不讲道理,并如何去反驳这种不讲道理。因此,逻辑是对于理性精神的培养和训练。本译作是一本经典逻辑导论教材,主要阐述了经典命题逻辑和经典谓词逻辑。经典命题逻辑,研究由联结词决定的复合命题的逻辑性质以及复合命题之间的推理关系;经典谓词逻辑,研究量化命题的逻辑性质及其相互之间的推理关系。二者是本书重点介绍也是本书的核心内容。
作者简介
作者简介
格里格·莱斯托(Greg Restall) 昆士兰大学哲学博士,圣安德鲁斯大学谢尔比· 卡勒姆·戴维斯哲学讲席教授,曾任职于澳大利亚国立大学、麦考瑞大学、墨尔本大学,研究领域包括形式逻辑、逻辑哲学、语言哲学等,在逻辑学领域出版著作包括《经典逻辑导论》(Logic:An Introduction)、《逻辑多元论》(Logical Pluralism)、《子结构逻辑》(An Introduction to Substructural Logics)、《逻辑方法》(Logical Method)、《哲学逻辑中的证明与模型》(Proofs and models in philosophical logic)等。
译者简介
徐敏 中山大学哲学博士,华中科技大学哲学学院教授,研究领域包括逻辑学和形上学,出版专著《虚构对象的形上学》,在《哲学研究》《逻辑学研究》Dialogue: Canadian Philosophical Review与Philosophia: Philosophical Quarterly of Israel 等国内外哲学期刊,主讲“数理逻辑”“批判性思维”等逻辑类课程,主持省级教学研究项目1项,获省级教学成果奖2项,校教学质量一等奖1项。
本书特色
本译作的特点有:其一,与大多数教材不同,作者使用的是树形图证明论方法。这个方法的优点是机械,解题并不需要多少灵感的创造,学生较容易把握。相对照,常见的公理化方法或者自然演绎法,学生不容易把握。其二,作者强调逻辑与哲学的紧密关系。逻辑中有哲学问题,并且哲学会推动逻辑的创新。国内的教材,据我所知,较少使用树形图方法构造证明论。这本教材的出版将为国内的逻辑教材提供一种重要补充。
目录
写给学生/1
写给教师/2
第一部分命题逻辑
第1章命题与论证6
命题/6
论证/7
论证形式/8
小结/10
进阶读物/10
习题/10
第2章联结词与论证形式13
合取与析取/13
条件句与双向条件句/15
否定/16
一种形式的语言/17
更多论证形式/19
小结/20
习题/21
第3章真值表24
真值表/24
论证形式的真值表/29
如何快速找到赋值/30
小结/33
习题/33
第4章命题逻辑的树37
树背后的理念/38
树的生成规则/40
为何树方法可行/46
小结/49
进阶读物/50
习题/50
第5章含混性与二值原则52
含混性难题/52
候选方案/53
关于二值原则的其他难题/56
进阶读物/57
习题/58
第6章条件句60
实质蕴含悖论/60
真与可断定性/61
可能性/62
相干性/66
进阶读物/67
习题/67
第7章自然演绎69
合取、蕴含与析取/69
否定/72
进阶读物/74
习题/75
第二部分谓词逻辑
第8章谓词、名字和量词78
名字与谓词/78
量词/80
翻译/83
小结/84
习题/84
第9章谓词逻辑的模型88
论域与外延/88
量词/91
构造模型/94
何时有穷论域够用/98
小结/98
习题/99
第10章谓词逻辑的树102
量词的树规则/102
开放的树/105
为何树方法可行/110
进阶读物/113
习题/113
第11章等词与函项116
等词/116
对常见量词的翻译/119
函项/120
小结/123
习题/124
第12章确定描述语127
罗素的解决方案/127
局限性/131
进阶读物/131
习题/132
第13章有的事物不存在134
存在隐含与谓词/134
存在隐含与名字/135
模型/136
树规则/137
局限性/139
进阶读物/140
习题/141
第14章谓词是什么143
一个论证/143
晦暗语境/144
进阶读物/146
习题/146
第15章逻辑是什么148
逻辑乃替换下无反例/148
逻辑乃必然保真/149
进阶读物/150
参考文献152
译后记154
非特殊说明,本博所有文章均为博主原创。
如若转载,请注明出处:https://www.xiazainiu.com/Wd1qk_5_15542.html