经典逻辑导论 9787577204475
全新正版 极速发货 可开发票
￥ 42.78 7.4折 ￥ 58 全新
库存2件
浙江嘉兴
认证卖家担保交易快速发货售后保障
作者(澳)格里格·莱斯托（Greg Restall）
出版社华中科技大学
ISBN9787577204475
出版时间2024-03
装帧其他
开本其他
定价58元
货号32029732
上书时间2024-05-11
- 最新上架
商品详情
- 品相描述：全新
- 商品描述
-
作者简介
徐敏，男，1980年7月生，河北承德人，哲学博士，副教授，硕士研究生导师，主要研究领域为形上学与逻辑学。主持国家社会科学基金项目一项（结项鉴定等级：优秀）、教育部哲学社会科学基金项目一项（在研）。获湖北省自然科学优秀学术论文奖二等奖一次、洪谦优秀哲学论文三等奖一次，获华中科技大学教学质量二等奖两次、华中科技大学青年教师教学竞赛二等奖一次，指导本科生毕业论文获湖北省优秀学士论文一次。
目录
目录
导言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
内容摘要
逻辑要求人们讲道理，告诉人们如何去讲道理，告诉人们如何去识别他人（有时候包括我们自己）是如何地不讲道理，并如何去反驳这种不讲道理。因此，逻辑是对于理性精神的培养和训练。本译作是一本经典逻辑导论教材，主要阐述了经典命题逻辑和经典谓词逻辑。经典命题逻辑，研究由联结词决定的复合命题的逻辑性质以及复合命题之间的推理关系；经典谓词逻辑，研究量化命题的逻辑性质及其相互之间的推理关系。二者是本书重点介绍也是本书的核心内容。
精彩内容
该教材的证明论部分不是诉诸公理化系统，也不是通过自然演绎，而是使用树方法。该教材详细介绍了命题逻辑树方法、真值函数语义、命题逻辑相对树方法的可靠性定理和完全性定理，一阶谓词逻辑树方法、语义模型、一阶谓词逻辑相对树方法的可靠性定理和完全性定理。如作者所言，树方法有其自身特点，最重要的特点之一是其机械性。针对一个论证形式，根据树规则画一棵树即可，开放则无效，封闭则有效。对应的，公理化方法和自然演绎方法都要求证明者常常能“灵机一动”。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价