经典逻辑导论
全新正版 极速发货
￥ 39.39 6.8折 ￥ 58 全新
库存8件
广东广州
认证卖家担保交易快速发货售后保障
作者(澳)格里格·莱斯托（Greg Restall）
出版社华中科技大学出版社
ISBN9787577204475
出版时间2024-03
装帧平装
开本16开
定价58元
货号1203236225
上书时间2024-06-14
商品详情
- 品相描述：全新
- 商品描述
-
作者简介
徐敏，男，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
内容摘要
逻辑要求人们讲道理，告诉人们如何去讲道理，告诉人们如何去识别他人（有时候包括我们自己）是如何地不讲道理，并如何去反驳这种不讲道理。因此，逻辑是对于理性精神的培养和训练。本译作是一本经典逻辑导论教材，主要阐述了经典命题逻辑和经典谓词逻辑。经典命题逻辑，研究由联结词决定的复合命题的逻辑性质以及复合命题之间的推理关系；经典谓词逻辑，研究量化命题的逻辑性质及其相互之间的推理关系。二者是本书重点介绍也是本书的核心内容。
主编推荐
本译作的特点有：其一，与大多数教材不同，作者使用的是树形图证明论方法。这个方法的优点是机械，解题并不需要多少灵感的创造，学生较容易把握。相对照，常见的公理化方法或者自然演绎法，学生不容易把握。其二，作者强调逻辑与哲学的紧密关系。逻辑中有哲学问题，并且哲学会推动逻辑的创新。国内的教材，据我所知，较少使用树形图方法构造证明论。这本教材的出版将为国内的逻辑教材提供一种重要补充。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价