-
内容大纲
《形式逻辑袖珍指南》是一本精心设计的逻辑学入门书籍,专为那些没有逻辑学背景的读者而编写。它以简洁的篇幅和清晰的结构引导初学者进入形式逻辑的世界,是入门课程中理想的选择。全书采用友好的语气和易于理解的示例,使逻辑学这个常被视为艰深的领域变得平易近人,从而帮助读者战胜逻辑学所带来的挑战和恐惧,吸引并鼓励读者逐步掌握重要的逻辑技能。
《形式逻辑袖珍指南》对陈述逻辑的核心方法进行了集中讲解,包括对论证的翻译、真值表的使用以及基本的逻辑证明等。作者致力于通过简明扼要的解释和循序渐进的例子,让读者迅速掌握逻辑学的基本工具。为帮助读者更深入理解,本书还提供了练习题,不仅支持教学使用,也为自学者提供了宝贵的学习支持,使逻辑学的学习更加系统和全面。 -
作者介绍
卡尔·拉德鲁特拥有加拿大安大略省汉密尔顿麦克马斯特大学的哲学博士学位,目前在莱斯布里奇大学教授哲学课程。他学术兴趣广泛,聚焦19世纪哲学和西方哲学史,尤其对弗雷德里希·威廉·尼采的哲学思想有着深入的思考与分析。同时,他还对元伦理学和欧陆哲学进行了研究。其作品包括《柏拉图谈情感、灵魂和人类动机》《反对真实的幻象:尼采的主观现实元伦理学》等。 -
目录
第1部分 转化为陈述逻辑
第1章 符号化
1.1 陈述、论证和演绎
1.2 简单陈述、复合陈述和真值
1.3 符号化论证
1.4 练习
第2章 真值表
2.1 如何看懂真值表
2.2 构建真值表的基本规则
2.3 真值表示例
2.4 练习
第3章 逻辑运算符
3.1 否定
3.2 合取
3.3 析取
3.4 蕴含
3.5 双条件
3.6 回顾真值表示例
3.7 练习
第4章 括号与合式公式
4.1 括号与合式公式
4.2 排他性析取
4.3 练习
第2部分 用真值表检验有效性
第5章 长真值表法
5.1 有效性与可靠性
5.2 检验有效性的长真值表法
5.3 练习
第6章 短真值表法
6.1 使用短真值表法的步骤
6.2 短真值表法示例
6.3 练习
第3部分 用证明论证有效性
第7章 有效和无效的论证形式
7.1 肯定前件式
7.2 否定后件式
7.3 假言三段论(链式论证)
7.4 析取三段论
7.5 无效论证形式:肯定后件谬误
7.6 无效论证形式:否定前件谬误
7.7 练习
第8章 证明
8.1 证明的方法
8.2 如何阅读和书写证明
8.3 推理规则
8.4 应用推理规则
8.5 推进证明的策略
8.6 练习
第9章 进阶证明技巧:条件证明与间接证明
9.1 条件证明
9.2 间接证明(归谬法)
9.3 多重子证明
9.4 练习
第10章 逻辑等价式与复杂证明
10.1 逻辑等价式
10.2 应用逻辑等价式
10.3 练习
同类热销排行榜
- 知行合一王阳明(1472-1529)14.4
- 八万四千问18
- 知行合一王阳明(3王阳明家训)14.4
- 梦的解析15.92
- 我心温柔自有力量15.2
- 自控力(斯坦福大学最受欢迎心理学课程纪念版)(精)19.92
- 幸福爱(从新手到高手的爱情修习课)15.92
- 传习录(明隆庆六年初刻版全译全注)14.4
- 菜根谭/中华经典藏书7.6
推荐书目
-

孩子你慢慢来/人生三书 华人世界率性犀利的一枝笔,龙应台独家授权《孩子你慢慢来》20周年经典新版。她的《...
-

时间简史(插图版) 相对论、黑洞、弯曲空间……这些词给我们的感觉是艰深、晦涩、难以理解而且与我们的...
-

本质(精) 改革开放40年,恰如一部四部曲的年代大戏。技术突变、产品迭代、产业升级、资本对接...
[
