逻辑要义(第2版)

作为柯匹《逻辑学导论》的简明读本，欧文·M ·柯匹，卡尔·科恩，丹尼尔·E·弗莱格著的《逻辑 要义（第2版）》对逻辑基本概念和推理规则做了清晰 简洁的介绍，并将这些规则融于各种时新实例中，以 培养学生逻辑思考和推理能力，进而建立起在日常生 活中分析、解决问题的能力，真正发现生活世界中的 逻辑。 对于一些较难理解或在学习和应用过程中可能会 遇到的问题，都给出了“重要提示”。章末更有“章 节摘要”对整章内容做一整体归纳和总结，方便学生 掌握逻辑学基本规则。不管是教师教学还是初学入门 者，都可从中获益，走出逻辑学无实际功用的误区， 最终发现生活世界中存在的生动鲜活的逻辑。

致中国读者 前言 第1章 基本的逻辑概念 1.1 什么是逻辑？ 1.2 命题和语句 1.3 论证、前提和结论 1.4 论证和说明 1.5 论证的辨识 A.前提指示词和结论指示词 B.语境中的论证 C.非陈述形式的前提 D.未陈述的命题 1.6 演绎和有效性 1.7 有效性和真假 1.8 归纳与概率 1.9 论证的分析 A.解析论证 B.图解论证 C.交织的论证 1.10 复杂的论证性语段 第2章 非形式谬误 2.1 什么是谬误？ 2.2 相干性谬误 R1.诉诸无知 R2.诉诸不当权威 R3.人身攻击 R4.诉诸情感 R5.诉诸怜悯 R6.诉诸威力 R7.结论不相干 2.3 预设性谬误 P1.复杂问语 P2.虚假原因 P3.窃取论题 P4.偶性 P5.轻率概括（逆偶性） P6.隐藏证据 P7.假二分法 2.4 歧义性谬误 A1.一词多义 A2.歧读 A3.重读 A4.合举 A5.分举 第3章 直言命题 3.1 直言逻辑 3.2 直言命题与类 3.3 直言命题的符号表示和文恩图 3.4 周延性 3.5 存在含义 3.6 亚里士多德型对当方阵和直接推论 A.矛盾关系 B.反对关系 C.下反对关系 D.差等关系 3.7 布尔型对当方阵 3.8 逻辑等值和直接推论 A.换位 B.换质 C.换质位 第4章 直言三段论 4.1 标准形式直言三段论 A.大项、小项和中项 B.式 C.格 4.2 三段论论证的性质 4.3 用于检验三段论的文恩图方法 4.4 三段论规则和三段论谬误 规则1：避免四词项 规则2：中项必须至少在一个前提中周延 规则3：在结论中周延的词项必须在相关的前提中周延 规则4：避免两个否定前提 规则5：如果有一个前提是否定的，那么结论必须是否定的 规则6：从两个全称前提得不出特称结论 第5章 日常语言中的论证 5.1 日常语言中的三段论论证 5.2 三段论论证中词项数量的归约 5.3 直言命题的标准化 A.单称命题 B.谓项是形容词或形容词短语的直言命题 C.动词不是标准形式联项“是”的直言命题 D.语词不按标准顺序排列的直言命题 E.量词不标准的直言命题 F.区别命题 C.不带量词的命题 H.不具有标准形式但有逻辑等值的标准形式供选的命题 I.除外命题 J.另外的复杂量词 5.4 统一翻译 5.5 省略三段论 第6章 符号逻辑 6.1 现代逻辑的符号语言 6.2 符号语101：命题逻辑的语言 A.否定 B.合取 C.析取 D.实质蕴涵（实质条件句） E.双条件句（实质等值） F.分组记号 6.3 作为复合命题分析工具的真值表 6.4 重言的、矛盾的和偶真的陈述形式 6.5 检验论证有效性之真值表 A.若干常见的有效论证形式 B.常见的无效论证形式 C.较复杂的论证 6.6 不完全真值表和逆向真值表 A.不完全真值表 B.逆向真值表 6.7 论证、条件句和重言式 第7章 演绎方法 7.1 与真值表相对的自然推演 7.2 有效性的形式证明 7.3 替换规则（1） 7.4 替换规则（2） 经验法则：进行演绎证明的策略 7.5 条件证明 7.6 间接证明 第8章 量词理论 8.1 命题逻辑不够用 8.2 符号语102：量词逻辑的语言 A.单称命题、主项和谓项 B.全称命题和特称命题 C.有时陈述更复杂 8.3 有效性证明 8.4 条件证明与间接证明 构造量化条件证明和间接证明的经验法则 8.5 无效性的证明 第9章 归纳 9.1 归纳概述 9.2 类比论证 9.3 类比论证的评价 9.4 说明与假说 9.5 对最佳说明的论证 附录 真值树 A.1 命题逻辑 A.2 量词逻辑 量词否定 存在示例 全称示例 重要词汇 译后记 出版后记