第06章 直言三段论 — 章节汇总


一、全章知识框架

graph TB
    A["第6章 直言三段论"] --> B["6.1 标准形式"]
    A --> C["6.2 形式性质"]
    A --> D["6.3 文恩图解法"]
    A --> E["6.4 规则与谬误"]
    A --> F["6.5 15个有效形式"]

    B --> B1["三个词项:大项P/小项S/中项M"]
    B --> B2["三个命题:大前提/小前提/结论"]
    B --> B3["标准顺序:大前提→小前提→结论"]

    C --> C1["式 mood:64种"]
    C --> C2["格 figure:4种"]
    C --> C3["总形式:256种,布尔解释下仅15种有效"]

    D --> D1["三圆8区域"]
    D --> D2["先全称后特称"]
    D --> D3["检查结论是否被前提图示包含"]

    E --> E1["6条规则"]
    E --> E2["6种谬误"]
    E --> E3["规则法与文恩图法等价"]

    F --> F1["第一格4个:Barbara/Celarent/Darii/Ferio"]
    F --> F2["第二格4个:Camestres/Cesare/Baroko/Festino"]
    F --> F3["第三格4个:Datisi/Disamis/Ferison/Bokardo"]
    F --> F4["第四格3个:Camenes/Dimaris/Fresison"]

二、核心知识点汇总

6.1 标准形式

直言三段论

直言三段论是一种演绎论证,由恰好三个直言命题组成,恰好包含三个词项,每个词项恰好出现两次。

词项符号定义识别方法
大项结论的谓项结论的谓项即大项
小项结论的主项结论的主项即小项
中项只在两个前提中出现前提中既非也非的词项

标准形式四步法

  1. 找出结论(标志词:所以、因此)
  2. 确定大项(结论谓项)和小项(结论主项)
  3. 找出大前提(含)和小前提(含
  4. 按”大前提→小前提→结论”排列

6.2 形式性质

式与格

(mood):三个命题的 A/E/I/O 类型按顺序排列的字母序列(如 AAA、EAE)。(figure):中项在两个前提中的位置排列方式。

大前提中小前提中模式口诀
第一格主项谓项主—谓
第二格谓项谓项谓—谓
第三格主项主项主—主
第四格谓项主项谓—主

形式总数

(式)(格) 种式, 种可能形式。布尔解释下仅 15 种有效。

6.3 文恩图解法

三圆文恩图

三个交叉圆构成,形成 == 个区域==,每个区域对应一种关于三个类的组合情况。

文恩图检验四步法

  1. 标记三圆:分别标记为 (小项)、(大项)、(中项)
  2. 图示前提先全称后特称——全称命题涂阴影消除区域,特称命题在区域中放
  3. 处理位置:若可放在多个区域且无法确定,放在交界线
  4. 检查结论:若结论所要求的信息已完全呈现在图中→有效;否则→无效

6.4 规则与谬误

规则内容对应谬误
1恰好三个项,含义一致四项谬误
2中项至少在一个前提中周延中项不周延谬误
3结论中周延的项在前提中也须周延大项不当周延 / 小项不当周延
4不能两个否定前提排斥前提谬误
5有否定前提则结论须否定从否定推肯定谬误
6两全称前提不得特称结论(布尔)存在谬误

规则6仅适用于布尔解释

在亚里士多德传统解释下,全称命题蕴涵主项存在,因此某些从两个全称前提推出特称结论的三段论(如 AAI-1、EAO-1 等”弱化式”)被认为是有效的。布尔解释下这些弱化式均无效。

6.5 15个有效形式

形式拉丁名称结论类型
第一格AAA-1BarbaraA(全称肯定)
第一格EAE-1CelarentE(全称否定)
第一格AII-1DariiI(特称肯定)
第一格EIO-1FerioO(特称否定)
第二格AEE-2CamestresE(全称否定)
第二格EAE-2CesareE(全称否定)
第二格AOO-2BarokoO(特称否定)
第二格EIO-2FestinoO(特称否定)
第三格AII-3DatisiI(特称肯定)
第三格IAI-3DisamisI(特称肯定)
第三格EIO-3FerisonO(特称否定)
第三格OAO-3BokardoO(特称否定)
第四格AEE-4CamenesE(全称否定)
第四格IAI-4DimarisI(特称肯定)
第四格EIO-4FresisonO(特称否定)

按结论类型分布

  • A 结论:仅 AAA-1(1个)
  • E 结论:EAE-1、EAE-2、AEE-2、AEE-4(4个)
  • I 结论:AII-1、AII-3、IAI-3、IAI-4(4个)
  • O 结论:EIO-1、EIO-2、EIO-3、EIO-4、AOO-2、OAO-3(6个)

其中 EIO 是唯一在四个格中都有效的形式。


三、学习脉络

学习脉络

本章的学习路径是从”定义标准形式”到”掌握有效性判定工具”,层层递进:

  1. 标准形式(6.1):定义直言三段论的结构——三个词项(//)、三个命题(大前提/小前提/结论)、标准排列顺序。这是后续一切分析的基础。
  2. 形式性质(6.2):引入式(mood)和格(figure)两个形式特征,建立”256种可能形式”的系统框架,确立”形式决定有效性”的核心原则。
  3. 文恩图检验(6.3):将第5章的两圆文恩图扩展为三圆文恩图,通过图示前提并检查结论是否被包含来判定有效性——直观、系统的判定方法。
  4. 规则检验(6.4):建立6条规则与6种谬误的判定体系,与文恩图法等价但更快捷——逐条检查,违反任何一条即无效。
  5. 有效形式总表(6.5):汇总布尔解释下的15个有效形式,按格分组并给出拉丁名称,提供”查表即判”的最终工具。

学习建议:本章是第5章直言命题知识的直接应用。建议重点掌握:(1) 标准形式化四步法;(2) 式与格的确定方法;(3) 文恩图”先全称后特称”的图示顺序;(4) 6条规则及其对应谬误;(5) 15个有效形式的识别。其中周延性(第5章核心概念)贯穿规则2和规则3,是理解规则法的关键。


四、跨章关联

本章概念关联章节关联概念关联类型说明
直言三段论第5章 直言命题A_E_I_O 四种命题前置依赖A/E/I/O 四种直言命题是三段论的基本构件,三段论由三个直言命题组成
周延性第5章 直言命题周延性核心前置周延性规则是三段论有效性规则(规则2:中项至少周延一次;规则3:结论周延项须前提周延)的核心概念
文恩图第5章 直言命题文恩图工具扩展第5章的两圆文恩图扩展为三圆文恩图,用于检验三段论有效性
存在谬误第4章 谬误 + 第5章 直言命题存在谬误布尔解释深化关系三段论规则6(存在谬误)是第5章布尔解释的直接应用;存在谬误本身属于第4章非形式谬误中的预设性谬误
四项谬误第4章 谬误谬误具体实例四项谬误是第4章含混谬误中歧义谬误的一种形式——同一语词在不同前提中含义不同
形式谬误第4章 谬误形式谬误-vs-非形式谬误对比关系三段论的6种谬误(中项不周延、大项不当周延等)属于形式谬误,与第4章讨论的非形式谬误形成对比
直接推论第5章 直言命题直接推论工具关系换位、换质等直接推论是将非第一格有效式化归为第一格的工具

五、全章总复习题

综合题1:三段论的完整分析

给定以下论证:

“所有科学家都是理性的人,因为所有物理学家都是科学家,而所有物理学家都是理性的人。”

请完成以下操作:

  1. 将其化为标准形式,指出大项、小项、中项
  2. 确定其式和格
  3. 用文恩图检验其有效性(描述图示过程)
  4. 用6条规则检验其有效性
  5. 判断其是否为15个有效形式之一,若是指出拉丁名称

综合题2:无效三段论的规则分析

给定以下三段论形式:

所有 。 所有 。 所以,所有

请完成以下操作:

  1. 指出其式和格
  2. 用6条规则逐条检验,指出违反的规则
  3. 命名对应的谬误
  4. 构造一个反例(前提真、结论假的具体实例)证明其无效

六、各节笔记索引

节号标题笔记链接核心内容
6.1直言三段论的标准形式6.1 直言三段论的标准形式三段论定义、三个词项(P/S/M)、三个命题、标准形式化四步法
6.2三段论论证的形式性质6.2 三段论论证的形式性质式(64种)、格(4种)、256种可能形式、形式决定有效性原则
6.3检验三段论:文恩图解法6.3 检验三段论:文恩图解法三圆8区域、先全称后特称、交界线规则、有效性判定标准
6.4三段论规则与三段论谬误6.4 三段论规则与三段论谬误6条规则、6种谬误、规则法与文恩图法等价
6.5直言三段论的15个有效形式6.5 直言三段论的15个有效形式15个有效形式总表、拉丁名称、排除法推导、化归为第一格

章节汇总