形式逻辑袖珍指南

《形式逻辑袖珍指南》是一本精心设计的逻辑学入门书籍，专为那些没有逻辑学背景的读者而编写。它以简洁的篇幅和清晰的结构引导初学者进入形式逻辑的世界，是入门课程中理想的选择。全书采用友好的语气和易于理解的示例，使逻辑学这个常被视为艰深的领域变得平易近人，从而帮助读者战胜逻辑学所带来的挑战和恐惧，吸引并鼓励读者逐步掌握重要的逻辑技能。
《形式逻辑袖珍指南》对陈述逻辑的核心方法进行了集中讲解，包括对论证的翻译、真值表的使用以及基本的逻辑证明等。作者致力于通过简明扼要的解释和循序渐进的例子，让读者迅速掌握逻辑学的基本工具。为帮助读者更深入理解，本书还提供了练习题，不仅支持教学使用，也为自学者提供了宝贵的学习支持，使逻辑学的学习更加系统和全面。

卡尔·拉德鲁特拥有加拿大安大略省汉密尔顿麦克马斯特大学的哲学博士学位，目前在莱斯布里奇大学教授哲学课程。他学术兴趣广泛，聚焦19世纪哲学和西方哲学史，尤其对弗雷德里希·威廉·尼采的哲学思想有着深入的思考与分析。同时，他还对元伦理学和欧陆哲学进行了研究。其作品包括《柏拉图谈情感、灵魂和人类动机》《反对真实的幻象：尼采的主观现实元伦理学》等。

第1部分
转化为陈述逻辑
第1章 符号化003
1.1 陈述、论证和演绎004
1.2 简单陈述、复合陈述和真值006
1.3 符号化论证009
1.4 练习013
第2章 真值表015
2.1 如何看懂真值表016
2.2 构建真值表的基本规则019
2.3 真值表示例021
2.4 练习032
第3章 逻辑运算符033
3.1 否定034
3.2 合取036
3.3 析取038
3.4 蕴含040
3.5 双条件042
3.6 回顾真值表示例044
3.7 练习048
第4章 括号与合式公式050
4.1 括号与合式公式050
4.2 排他性析取059
4.3 练习062
第2部分
用真值表检验有效性
第5章 长真值表法067
5.1 有效性与可靠性068
5.2 检验有效性的长真值表法071
5.3 练习077
第6章 短真值表法079
6.1 使用短真值表法的步骤079
6.2 短真值表法示例083
6.3 练习091
第3部分
用证明论证有效性
第7章 有效和无效的论证形式095
7.1 肯定前件式095
7.2 否定后件式097
7.3 假言三段论（链式论证）098
7.4 析取三段论100
7.5 无效论证形式：肯定后件谬误102
7.6 无效论证形式：否定前件谬误103
7.7 练习104
第8章 证 明106
8.1 证明的方法106
8.2 如何阅读和书写证明107
8.3 推理规则108
8.4 应用推理规则114
8.5 推进证明的策略117
8.6 练习125
第9章 进阶证明技巧：条件证明与间接证明133
9.1 条件证明134
9.2 间接证明（归谬法）138
9.3 多重子证明142
9.4 练习146
第10章 逻辑等价式与复杂证明148
10.1 逻辑等价式148
10.2 应用逻辑等价式150
10.3 练习 153