扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
中医基础理论
-
>
高校军事课教程
-
>
毛泽东思想和中国特色社会主义理论体系概论(2021年版)
-
>
中医内科学·全国中医药行业高等教育“十四五”规划教材
-
>
中医诊断学--新世纪第五版
-
>
中药学·全国中医药行业高等教育“十四五”规划教材
-
>
中医外科学——全国中医药行业高等教育“十四五”规划教材
经典逻辑导论 版权信息
- ISBN：9787577204475
- 条形码：9787577204475 ; 978-7-5772-0447-5
- 装帧：平装
- 册数：暂无
- 重量：暂无
- 所属分类：>>
经典逻辑导论 本书特色
本译作的特点有：其一，与大多数教材不同，作者使用的是树形图证明论方法。这个方法的优点是机械，解题并不需要多少灵感的创造，学生较容易把握。相对照，常见的公理化方法或者自然演绎法，学生不容易把握。其二，作者强调逻辑与哲学的紧密关系。逻辑中有哲学问题，并且哲学会推动逻辑的创新。国内的教材，据我所知，较少使用树形图方法构造证明论。这本教材的出版将为国内的逻辑教材提供一种重要补充。
经典逻辑导论 内容简介
逻辑要求人们讲道理，告诉人们如何去讲道理，告诉人们如何去识别他人（有时候包括我们自己）是如何地不讲道理，并如何去反驳这种不讲道理。因此，逻辑是对于理性精神的培养和训练。本译作是一本经典逻辑导论教材，主要阐述了经典命题逻辑和经典谓词逻辑。经典命题逻辑，研究由联结词决定的复合命题的逻辑性质以及复合命题之间的推理关系；经典谓词逻辑，研究量化命题的逻辑性质及其相互之间的推理关系。二者是本书重点介绍也是本书的核心内容。
经典逻辑导论 目录
导言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
**部分命题逻辑
第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
展开全部
经典逻辑导论 作者简介
作者简介
格里格·莱斯托(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项。
书友推荐
- >
【精装绘本】画给孩子的中国神话
【精装绘本】画给孩子的中国神话
¥17.6¥55.0 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥6.1¥19.0 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥19.3¥35.0 - >
山海经
山海经
¥19.2¥68.0 - >
唐代进士录
唐代进士录
¥18.7¥39.8 - >
李白与唐代文化
李白与唐代文化
¥9.9¥29.8 - >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.9¥16.0 - >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥3.9¥10.0
