逻辑的力量

本书是为人文社会科学的学生写的通俗读物。作者认为人们在日常读书、谈话、看电视、听广播、交朋友等生活中，无不体现出逻辑的力量。一些人思维敏捷，推理能力强，表达清晰，而另一些人则不行；这就是人在逻辑能力上的差异。通过学习逻辑，人们可以提高逻辑思维能力；通过推理，人们可以规避生活中可能出现的风险。本书从常识和案例出发，介绍传统逻辑和现代逻辑的基本内容。本书不仅可以作为通识课的参考书，而且适合读者自学，是一本公认的通俗易懂的好书。

弗朗西丝·？霍华德-斯奈德： 西华盛顿大学哲学教授，雪城大学哲学博士。在《哲学杂志》《美国哲学季刊》《哲学研究》等刊物上发表了关于规范伦理学、宗教哲学和形而上学主题的论文。当她不做哲学的时候，她喜欢写作（和阅读）小说，享受陪伴她的丈夫丹与她的双生子彼得和威廉的闲暇时光。 丹尼尔·霍华德-斯奈德： 西华盛顿大学哲学教授，雪城大学哲学博士学位。他是下列四本书的主编或副主编：《来自邪恶的证据论证》（1996）、《信仰、自由与合理性》（1996）、《神圣的隐蔽性》（2002）和《邪恶问题的布莱克韦尔指南》（2013），并在《现象学和哲学研究》《美国哲学季刊》《信念和哲学》等刊物上发表了多篇论文。他最爱的是他的家庭——弗朗西丝、彼得和威廉，没有他们，他的生活将会失去快乐。 瑞安·沃瑟曼： 西华盛顿大学哲学教授兼主任，罗格斯大学哲学博士学位。主要哲学研究兴趣是形而上学、伦理学和语言哲学。在《心灵》《精神》《美国哲学季刊》等刊物上发表了多篇论文。他也是《时间旅行悖论》（2018）的作者和《元形而上学》（2008）的联合主编。除了哲学，他还喜欢打篮球、看足球赛和陪伴家人。

第1章 基本概念 1.1有效性和可靠性 ■ 定义概要 练习1.1 1.2形式和有效性 论证形式 理解条件句命题 著名有效形式 著名形式法 ■ 著名有效形式概要 ■ 著名形式法概要 ■ 定义概要 练习1.2 1.3反例和无效性 反例 反例方法 范畴命题与论证 ■ 反例方法概要 ■ 定义概要 练习1.3 1.4强度和可信度 ■ 定义概要 练习1.4 注释 第2章 识别论证 2.1论证和非论证 ■ 定义概要 练习2.1 2.2精心设计的论证 ■ 构造精心设计的论证原则概要 ■ 定义概要 练习2.2 2.3论证图 练习2.3 注释 第3章 逻辑和语言 3.1逻辑、意义和情感力 ■ 定义概要 练习3.1 3.2定义 内涵定义和外延定义 ■ 定义概要 属加种差定义法 ■ 评价属加种差定义的标准概要 ■ 定义概要 练习3.2 3.3用定义评价论证 ■ 定义概要 练习 3.3 注释 第4章 非形式谬误 4.1包含不相干前提的谬误 人身攻击论证 稻草人 诉诸强力 诉诸众人 诉诸怜悯 诉诸无知 红鲱鱼 ■ 定义概要 练习4.1 4.2包含歧义的谬误 语义歧义 语法歧义 合成 分解 ■ 定义概要 练习4.2 4.3包含无根据假设的谬误 诉诸问题 错误二难 诉诸不可靠权威 错误归因 复杂问语 ■ 定义概要 练习4.3 注释 第5章 范畴逻辑：命题 5.1范畴命题介绍 ■ 标准形式概要 ■ 变体概要 ■ 定义概要 练习5.1 5.2传统对当方阵 ■ 定义概要 练习5.2 5.3进一步的直言推论 换位法 ■ 换位法概要 换质位法 ■ 换质位法概要 换质法 ■ 换质法概要 ■ 定义概要 练习5.3 第6章 范畴逻辑：三段论 6.1标准形式、式和格 ■ 定义概要 练习6.1 6.2文恩图与范畴命题 ■ 范畴命题的文恩图概要 练习6.2 6.3文恩图与范畴三段论 练习6.3 6.4现代对当方阵 练习 6.4 6.5评价三段论的规则 ■ 周延词项概要 ■ 判定范畴三段论有效性的规则概要 ■ 定义概要 练习 6.5 6.6减少词项的数量 ■ 逻辑等值概要：换位法、换质位法和换质法 练习6.6 6.7省略式 ■ 判定范畴三段论有效性的规则概要 练习 6.7 6.8连锁论证 练习6.8 注释 第7章 命题逻辑：真值表 7.1日常论证的符号化 否定 合取 析取 条件句 双条件句 汇总 命题逻辑符号系统：一个更简明的阐述 ■ 定义概要 练习7.1 7.2真值表 否定 合取 析取 条件句 双条件句 ■ 五个复合句真值表概要 ■ 定义概要 练习 7.2 7.3用真值表评价论证 ■ 记住复合句的真值定义 ■ 真值表方法概要 练习7.3 7.4简化真值表 ■ 简化真值表方法概要 ■ 定义概要 练习7.4 7.5逻辑意义上的范畴和关系 重言式、矛盾式和可真式 等值、矛盾、一致和不一致 总结性意见 ■ 定义概要 练习7.5 注释 第8章 命题逻辑：证明 8.1蕴涵推理规则 ■ 蕴涵规则概要 ■ 定义概要 练习8.1 8.2 5个等值规则 ■ 等值规则的第一个系列概要 ■ 定义概要 练习8.2 8.3另外5个等值规则 ■ 等值规则的第二个系列概要 练习8.3 8.4条件句证明 ■ 定义概要 练习8.4 8.5归谬律 ■ 构造证明的经验法则概要 练习8.5 8.6定理证明 ■ 定义概要 练习8.6 注释 第9章 谓词逻辑 9.1谓词逻辑的语言 谓词、常项和变项 全称量词 存在量词 谓词逻辑的语言：一个更简明的阐述 ■ 符号化概要 ■ 定义概要 练习9.1 9.2证明无效性 ■ 有穷域方法概要 ■ 定义概要 练习9.2 9.3构造证明 全称例示 ■ 全称例示概要 存在概括 ■ 存在概括概要 存在例示 ■ 存在例示概要 全称概括 ■ 全称概括概要 练习9.3 9.4量词否定、RAA和CP ■ 谓词逻辑的经验法则概要 练习9.4 9.5关系逻辑：符号化 ■ 符号化概要 ■ 定义概要 练习9.5 9.6关系逻辑：证明 练习9.6 9.7等词：符号化 练习9.7 9.8等词：证明 练习9.8 注释 第10章 归纳逻辑 10.1归纳逻辑和演绎逻辑 ■ 定义概要 练习10.1 10.2常识推理：权威、类比和枚举归纳 权威论证 ■ 权威论证概要 类比论证 ■ 类比论证概要 枚举归纳 ■ 枚举归纳概要 ■ 定义概要 练习10.2 10.3科学推理：密尔法 密尔法 科学推理 ■ 定义概要 练习10.3 10.4概率推理：概率规则 概率规则 贝叶斯定理 ■ 概率规则概要 ■ 定义概要 练习10.4 注释 部分练习题答案