逻辑学导论(第15版)

前言 极简逻辑史 **部分 逻辑与语言 A篇推理 第1章 逻辑学的基本概念 1.1 什么是逻辑学 1.2 命题与论证 1.3 论证的辨识 1.4 论证与说明 1.5 演绎论证与归纳论证 1.6 有效性与真实性 第1章概要 第1章关键术语 第2章 论证的分析 2.1 论证的重塑 2.2 论证的图示 2.3 复杂的论证性语段 2.4 推理中的问题 第2章概要 B篇 非形式逻辑 第3章 语言与定义 3.1 语言的功能 3.2 情感语言、中性语言与论争 3.3 论争与含混性 3.4 定义及其用途 3.5 定义的结构：外延与内涵 3.6 属加种差定义 第3章概要 第3章关键术语 第4章 谬误 4.1 什么是谬误 4.2 谬误的分类 4.3 相干谬误 4.4 不当归纳谬误 4.5 预设谬误 4.6 含混谬误 第4章概要 第4章关键术语 现实生活中的逻辑 第二部分 演绎 A篇三段论逻辑 第5章 直言命题 5.1 演绎理论 5.2 类与直言命题 5.3 四种直言命题 5.4 质、量与周延性 5.5 传统对当方阵 5.6 其他直接推论 5.7 存在含义与直言命题的解释 5.8 直言命题的符号系统与图解 第5章概要 第5章关键术语 第6章 直言三段论 6.1 直言三段论的标准形式 6.2 三段论论证的形式性质 6.3 检验三段论：文恩图解法 6.4 三段论规则与三段论谬误 6.5 直言三段论的15个有效形式 附录 直言三段论的15个有效形式的演绎推导 第6章概要 第6章关键术语 第7章 日常语言中的论证 7.1 三段论论证 7.2 词项数量归约为三 7.3 直言命题的标准化 7.4 协同翻译 7.5 省略式三段论 7.6 连锁三段论 7.7 析取三段论与假言三段论 7.8 二难推论 第7章概要 第7章关键术语 B篇 现代符号逻辑 第8章 命题逻辑I：真值函项陈述与论证 8.1 现代逻辑及其符号语言 8.2 真值函项性：简单陈述与复合陈述 8.3 合取、否定与析取 8.4 条件陈述与实质蕴涵 8.5 论证形式与运用逻辑类推进行的反驳 8.6 “无效”和“有效”的精确含义 8.7 根据真值表验证论证：完备的真值表方法 8.8 一些常见的论证形式 8.9 陈述形式与实质等值 8.10 逻辑等价 8.11 三大“思想法则”：逻辑的原理 第8章概要 第8章关键术语 第9章 命题逻辑Ⅱ：演绎方法 9.1 有效性的形式证明 9.2 基本的有效论证形式 9.3 有效性形式证明示例 9.4 有效性形式证明的构造 9.5 构造更复杂的形式证明 9.6 扩展推论规则：替换规则 9.7 自然演绎系统 9.8 运用19个推论规则构建形式证明 9.9 简化的真值表方法 9.10 不相容性 9.11 条件证明 9.12 间接证明 9.13 可靠性论证与笃证性论证的辨别 第9章概要 第9章关键术语 第10章 谓词逻辑：量化理论 10.1 对量化的呼唤 10.2 单称命题 10.3 全称量词与存在量词 10.4 传统主一谓命题 10.5 有效性证明 10.6 无效性证明 10.7 非三段论推论 第10章概要 第10章关键术语 现实生活中的逻辑 第三部分 归纳 A篇 类比与因果 第11章 类比推理 11.1 归纳与演绎再探 11.2 类比论证 11.3 类比论证的评价 11.4 通过逻辑类推进行的反驳 第11章概要 第11章关键术语 第12章 因果推理 12.1 原因与结果 12.2 因果律与自然齐一性 12.3 简单枚举归纳法 12.4 因果分析的方法 12.5 归纳技术的局限 第12章概要 第12章关键术语 B篇 科学与概率 第13章 科学与假说 13.1 科学说明 13.2 科学探究：假说与确证 13.3 对竞争性科学说明的评价 13.4 作为假说的分类 第13章概要 第13章关键术语 第14章 概率 14.1 关于概率的几种观点 14.2 概率演算 14.3 日常生活中的概率 第14章概要 第14章关键术语 现实生活中的逻辑 附录 附录A STTT的效率：选择STTT步骤的*高效序列 附录B 多行简化真值表的步骤1计算 附录C 非强制真值指派，无效论证，以及准则III 附录D 美国研究生入学水平测试 逻辑学家小传 部分练习题解答 中英文术语索引 第11版译者后记 第13版译者后记 第15版译者后记