《逻辑学导论》(第11版)摘要

• 第1章：逻辑学的基本概念

  • 1.1 什么是逻辑学

    • **定义**: 逻辑学研究论证的有效性，即推理结构是否确保了结论的合理性。

    • **目的**: 提供分析和评估论证的工具。

    • **适用范围**: 在日常生活、科学研究和哲学探讨中都有应用。

  • 1.2 论证、前提和结论

    • **论证**: 一组语句，其中一个语句（结论）是由其他语句（前提）推导出的。

    • **前提**: 支持结论的前提条件。

    • **结论**: 论证所支持的断言。

• 第2章：命题逻辑

  • 2.1 简单命题

    • **定义**: 不可分解为更简单部分的命题。

    • **类型**: 肯定的、否定的、普遍的和特殊的。

  • 2.2 复合命题

    • **构成**: 由一个或多个简单命题通过逻辑联结词结合而成。

    • **逻辑联结词**: 如“且”、“或”、“非”、“如果……则……”等。

  • 2.3 真值表

    • **用途**: 确定任何复合命题在其组成命题真值组合下的真值。

• 第3章：形式化推理

  • 3.1 形式化语言

    • **表达**: 使用符号来表示命题和逻辑运算。

    • **优点**: 可以精确地分析和理解论证。

  • 3.2 形式论证

    • **定义**: 仅由形式语义和语句形式决定的论证。

    • **有效性**: 一论证有效当且仅当其形式保证了结论的真。

  • 3.3 直接证明法

    • **步骤**: 从已知前提推导出结论，每一步都依据逻辑规则。

• 第4章：非形式化谬误

  • 4.1 形式谬误和非形式谬误

    • **区分**: 形式谬误由逻辑形式导致，而非形式谬误更多涉及语言和内容。

  • 4.2 常见的非形式化谬误

    • **例子**: 以偏概全、循环论证、情感诉诸等。

  • 4.3 避免谬误的策略

    • **方法**: 明确定义术语、检查隐含假设、避免歧义。

• 第5章：量化逻辑

  • 5.1 量词的使用

    • **存在量词**: 至少存在一个实例使得命题成立。

    • **全称量词**: 所有实例都使得命题成立。

  • 5.2 量化命题及其真值条件

    • **解释**: 根据量词的不同，命题的真值条件也会有所不同。

  • 5.3 定量推论

    • **技巧**: 利用量词的等价转换和引入规则进行推论。