形式逻辑（第六版）

一、核心观念 《形式逻辑（第五版）》是国内经典的传统形式逻辑教材，以日常思维的形式结构与规则为核心，兼具理论性与实用性，其核心观念可概括为： 1. 研究对象：思维的形式结构 形式逻辑撇开思维的具体内容，专门研究概念、命题、推理的逻辑形式（由逻辑常项与变项构成）及其规律，同时配套定义、划分、探求因果联系等简单逻辑方法，核心目标是确立推理的有效性规则。 2. 学科属性：通用工具性学科 形式逻辑是正确思维与有效论证的基础工具，具有全人类性、基础性，无阶级与民族差异，适用于所有领域的理性表达与认知活动。 3. 核心准则：思维确定性+论证充足性 同一律、矛盾律、排中律是思维的三大基本规律，分别保障思维的确定性、无矛盾性、明确性；充足理由原则是论证的根本原则，保障思维的论证性与说服力。 4. 体系主线：从思维单元到综合运用 全书以“概念-命题-推理-基本规律-论证”为逻辑链条：概念是思维最小单元，命题是判断的载体，推理是核心内容，基本规律贯穿全部思维形式，论证是所有逻辑知识的综合实践。 5. 实践价值：规范思维，识别谬误 学习形式逻辑的核心意义在于提升思维严谨性，规范表达与论证，识别并反驳诡辩、逻辑谬误，提升认知与表达的准确性。   二、详细思维导图 plaintext 形式逻辑（第五版） ├─ 第一章 形式逻辑的对象和意义 │ ├─ 形式逻辑的对象和性质 │ │ ├─ 研究对象：思维的逻辑形式 + 简单逻辑方法 │ │ ├─ 思维形式结构：逻辑常项（决定形式性质）、逻辑变项 │ │ └─ 学科性质：工具性、基础性、全人类性 │ └─ 学习意义与方法 │ ├─ 意义：规范思维、提升论证能力、识别谬误 │ └─ 方法：理论结合日常思维，配套习题练习 ├─ 第二章 概念 │ ├─ 概念概述 │ │ ├─ 定义：反映对象本质属性的思维形式 │ │ └─ 概念与语词：内容与形式的联系与区别 │ ├─ 基本逻辑特征 │ │ ├─ 内涵：概念反映的对象本质属性 │ │ └─ 外延：具有该属性的对象范围 │ ├─ 概念的种类 │ │ ├─ 单独概念 / 普遍概念 │ │ ├─ 集合概念 / 非集合概念 │ │ └─ 正概念 / 负概念 │ ├─ 外延间的关系 │ │ ├─ 相容关系：全同、真包含于、真包含、交叉 │ │ └─ 不相容关系：矛盾关系、反对关系 │ ├─ 概念的限制与概括 │ │ ├─ 依据：内涵与外延的反变关系 │ │ ├─ 限制：增内涵、缩外延（属→种） │ │ └─ 概括：减内涵、扩外延（种→属） │ ├─ 定义 │ │ ├─ 结构：被定义项、定义项、定义联项 │ │ ├─ 核心方法：属加种差定义 │ │ └─ 规则：相称性、不循环、清楚确切、不用否定 │ └─ 划分 │ ├─ 结构：母项、子项、划分根据 │ ├─ 类型：一次划分、连续划分、二分法 │ └─ 规则：子项外延和等于母项、子项互斥、根据同一 ├─ 第三章 简单命题及其推理（上） │ ├─ 命题与推理概述 │ │ ├─ 命题：对事物有所断定，有真假属性 │ │ ├─ 推理：由已知命题推出新命题 │ │ └─ 推理分类：演绎/归纳/类比；必然性/或然性 │ ├─ 性质命题（直言命题） │ │ ├─ 结构：主项S、谓项P、联项、量项 │ │ ├─ 四类基本形式：A全称肯定、E全称否定、I特称肯定、O特称否定 │ │ ├─ 主谓项周延性 │ │ │ ├─ A：主周谓不周 │ │ │ ├─ E：主谓都周 │ │ │ ├─ I：主谓都不周 │ │ │ └─ O：主不周谓周 │ │ └─ 同素材对当关系（逻辑方阵） │ │ ├─ 矛盾关系：A-O、E-I（一真一假） │ │ ├─ 反对关系：A-E（不同真，可同假） │ │ ├─ 下反对关系：I-O（不同假，可同真） │ │ └─ 差等关系：A-I、E-O（全真特真，特假全假） │ └─ 性质命题直接推理 │ ├─ 对当关系推理：依据逻辑方阵的有效推导 │ └─ 命题变形推理 │ ├─ 换质法：换联项，谓项变矛盾概念 │ ├─ 换位法：交换主谓项，不周延项不得周延 │ └─ 换质位法：换质与换位交替使用 ├─ 第四章 简单命题及其推理（下） │ ├─ 三段论 │ │ ├─ 结构：大项P、小项S、中项M；大前提、小前提、结论 │ │ ├─ 公理：断定全部必断定部分 │ │ ├─ 7条基本规则 │ │ │ ├─ 有且仅有三个不同的项 │ │ │ ├─ 中项至少周延一次 │ │ │ ├─ 前提不周延的项，结论不得周延 │ │ │ ├─ 两否定前提无结论 │ │ │ ├─ 前提一否定，结论必否定 │ │ │ ├─ 两特称前提无结论 │ │ │ └─ 前提一特称，结论必特称 │ │ ├─ 格与式 │ │ │ ├─ 四个格：按中项位置区分 │ │ │ └─ 24个有效式（含5个弱式） │ │ └─ 省略三段论：省略大前提/小前提/结论 │ └─ 关系命题及其推理 │ ├─ 关系命题结构：关系者项、关系项、量项 │ ├─ 关系性质 │ │ ├─ 对称性：对称、反对称、非对称 │ │ └─ 传递性：传递、反传递、非传递 │ └─ 关系推理：纯关系推理、混合关系推理 ├─ 第五章 复合命题及其推理（上） │ ├─ 联言命题及其推理 │ │ ├─ 命题形式：p并且q（p∧q） │ │ ├─ 真值：全真才真，一假则假 │ │ └─ 有效推理：分解式、组合式 │ ├─ 选言命题及其推理 │ │ ├─ 相容选言命题 │ │ │ ├─ 形式：p或者q（p∨q） │ │ │ ├─ 真值：一真则真，全假才假 │ │ │ └─ 推理：否定肯定式有效，肯定否定式无效 │ │ └─ 不相容选言命题 │ │ ├─ 形式：要么p，要么q │ │ ├─ 真值：有且仅有一真才真 │ │ └─ 推理：否定肯定式、肯定否定式均有效 │ └─ 假言命题及其推理 │ ├─ 充分条件假言命题 │ │ ├─ 形式：如果p，那么q（p→q） │ │ ├─ 真值：前真后假才假 │ │ └─ 有效式：肯定前件式、否定后件式 │ ├─ 必要条件假言命题 │ │ ├─ 形式：只有p，才q（p←q） │ │ ├─ 真值：前假后真才假 │ │ └─ 有效式：否定前件式、肯定后件式 │ └─ 充要条件假言命题 │ ├─ 形式：当且仅当p，才q（p↔q） │ ├─ 真值：同真同假才真 │ └─ 有效式：肯前、肯后、否前、否后 ├─ 第六章 复合命题及其推理（下） │ ├─ 负命题及其等值推理 │ │ ├─ 负命题：并非p（¬p），真值与原命题相反 │ │ ├─ 性质命题负命题的等值式 │ │ │ ├─ ¬A ↔ O；¬E ↔ I │ │ │ └─ ¬I ↔ E；¬O ↔ A │ │ └─ 复合命题负命题的等值式 │ │ ├─ ¬(p∧q) ↔ ¬p∨¬q │ │ ├─ ¬(p∨q) ↔ ¬p∧¬q │ │ ├─ ¬(p→q) ↔ p∧¬q │ │ └─ ¬(p←q) ↔ ¬p∧q │ ├─ 二难推理 │ │ ├─ 构成：两个假言前提 + 一个选言前提 │ │ ├─ 有效式：简单构成式、简单破坏式、复杂构成式、复杂破坏式 │ │ └─ 破斥方法：前提虚假、选言不穷尽、构造反二难 │ └─ 真值表方法 │ ├─ 功能：判定命题真值、等值关系、推理有效性 │ └─ 操作：列出变项真值组合，逐层计算 ├─ 第七章 模态命题及其推理 │ ├─ 模态命题 │ │ ├─ 定义：含“必然”“可能”模态词的命题 │ │ ├─ 四类：必然p、必然非p、可能p、可能非p │ │ └─ 模态对当方阵：矛盾、反对、下反对、差等 │ ├─ 模态推理：对当关系推理、模态三段论 │ ├─ 规范命题 │ │ ├─ 定义：含“必须”“允许”“禁止”规范词的命题 │ │ └─ 四类基本规范命题 │ └─ 规范推理：规范对当关系推理 ├─ 第八章 归纳推理 │ ├─ 归纳推理概述 │ │ ├─ 特征：个别→一般，结论超出前提范围 │ │ ├─ 与演绎的关系：区别与互补 │ │ └─ 分类：完全归纳、不完全归纳 │ ├─ 经验材料整理方法：观察、实验、比较、分类、分析、综合 │ ├─ 完全归纳推理：考察全部对象，结论必然 │ ├─ 不完全归纳推理 │ │ ├─ 简单枚举法：部分对象无反例，结论或然 │ │ └─ 科学归纳法：结合因果分析，可靠性更高 │ └─ 探求因果联系的穆勒五法 │ ├─ 求同法：异中求同 │ ├─ 求异法：同中求异 │ ├─ 求同求异并用法：两次求同，一次求异 │ ├─ 共变法：量变对应量变 │ └─ 剩余法：余果求余因 ├─ 第九章 类比推理与假说 │ ├─ 类比推理 │ │ ├─ 定义：两对象部分属性相同，推其他属性相同 │ │ ├─ 性质：或然性推理 │ │ ├─ 提高可靠性：增加相同属性、抓本质属性 │ │ └─ 作用：启发思路、辅助论证 │ └─ 假说 │ ├─ 定义：对未知现象的推测性解释 │ ├─ 形成阶段：提出假说、推演假说、验证假说 │ └─ 地位：科学发展的重要思维形式 ├─ 第十章 形式逻辑的基本规律 │ ├─ 规律概述 │ │ ├─ 地位：思维最普遍的规律，贯穿所有思维形式 │ │ └─ 客观基础：事物的相对确定性 │ ├─ 同一律 │ │ ├─ 内容：同一思维中，思想与自身同一 │ │ ├─ 公式：A是A │ │ ├─ 要求：概念同一、论题同一 │ │ └─ 错误：混淆/偷换概念、转移/偷换论题 │ ├─ 矛盾律 │ │ ├─ 内容：互相否定的思想不能同真，必有一假 │ │ ├─ 公式：A不是非A │ │ ├─ 要求：不能同时肯定矛盾/反对的思想 │ │ └─ 错误：自相矛盾 │ └─ 排中律 │ ├─ 内容：互相矛盾的思想不能同假，必有一真 │ ├─ 公式：A或者非A │ ├─ 要求：不能同时否定矛盾的思想 │ └─ 错误：模棱两可 └─ 第十一章 论证 ├─ 论证概述 │ ├─ 定义：用真命题确定另一命题的真实性 │ └─ 结构：论题、论据、论证方式 ├─ 核心原则：充足理由原则 │ ├─ 内容：论题成立必须有充足理由 │ ├─ 要求：论据真实、论据能推出论题 │ └─ 错误：理由虚假、推不出 ├─ 论证的种类 │ ├─ 按推理形式：演绎论证、归纳论证 │ └─ 按方法：直接论证、间接论证（反证法、选言证法） ├─ 论证规则 │ ├─ 论题：清楚明确、保持同一 │ ├─ 论据：真实、不依赖论题（避免循环论证） │ └─ 论证方式：论据与论题有必然逻辑联系 ├─ 反驳 │ ├─ 反驳对象：反驳论题、反驳论据、反驳论证方式 │ └─ 反驳方法：直接反驳、间接反驳、归谬法 └─ 谬误 ├─ 定义：违反逻辑规律的思维错误 └─ 常见类型：歧义谬误、相关谬误、论据不足谬误  

如果您能意识到这本书不值得您花费时间来读的话，那您就拥有最基本的逻辑了😁

其实看不懂，说明我是一个没有逻辑性的人

很多基本概念写的非常清楚，来龙去脉都有，简明扼要，是真的深入浅出。

这本书应该在高中阶段就普及教学。

打算弃了，读了1/5没有太大的收获，讲的内容感觉大部分都是基础常识。如果想学习形式逻辑，比较效率的方法可以看看B站上管综的考研课程

还不错的，很适合我这样的初学者。

对理解充分条件，必要条件很有帮助

值得推荐：理解难度相对降低，适合初学者