• 经典逻辑导论
21年品牌 40万+商家 超1.5亿件商品

经典逻辑导论

全新正版现货

41.9 7.2折 58 全新

仅1件

四川成都
认证卖家担保交易快速发货售后保障

作者(澳)格里格·莱斯托(Greg Restall)

出版社华中科技大学出版社

ISBN9787577204475

出版时间2024-03

装帧平装

开本16开

纸张胶版纸

定价58元

货号29703342

上书时间2024-07-20

乐淘正品书城

五年老店
已实名 已认证 进店 收藏店铺

   商品详情   

品相描述:全新
正版全新
商品描述

编辑推荐】:

本译作的特点有:其一,与大多数教材不同,作者使用的是树形图证明论方法。这个方法的优点是机械,解题并不需要多少灵感的创造,学生较容易把握。相对照,常见的公理化方法或者自然演绎法,学生不容易把握。其二,作者强调逻辑与哲学的紧密关系。逻辑中有哲学问题,并且哲学会推动逻辑的创新。国内的教材,据我所知,较少使用树形图方法构造证明论。这本教材的出版将为国内的逻辑教材提供一种重要补充。



内容简介】:

道理很重要。人们喜欢讲道理,也喜欢听人们讲道理。但是,道理是什么?怎样才能讲好道理?这个问题不好回答。但是,无论如何,逻辑是不能违背的基本道理。因此,若想讲好道理,不能不懂逻辑。


学好逻辑,好有一本好教材。这本书便是一本经典逻辑教材。所谓“经典逻辑”,也可称作“标准逻辑”,是当今所有大学的逻辑课堂都会教的逻辑,经典等于标准。
作者没有使用常见的公理化方法或自然演绎方法,而是使用“树方法”。为判定前提能否推出结论,画出一棵“树”即可,封闭能推出,开放则推不出——人人都可以做到,“童叟无欺”。
书里面还有关于逻辑的其有趣的哲学讨论。
邀请你快快打开这本教材,我们一起开启一场精彩的逻辑之旅吧!



作者简介】:

作者简介
格里格·莱斯托(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


写给学生/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


   相关推荐   

—  没有更多了  —

以下为对购买帮助不大的评价

正版全新
此功能需要访问孔网APP才能使用
暂时不用
打开孔网APP