[!info] related notes

• 所属 MOC: logic-moc
• 前置概念:
• 并列概念:
• 易混淆概念:
• 关系笔记:

亚里士多德三段论

一句话定义

亚里士多德传统中的范畴三段论，是由两个前提和一个结论组成的演绎结构，其中三个项通过“所有、没有、有些”等类别关系连接起来。

经典例子：

所有人都会死。
苏格拉底是人。
∴ 苏格拉底会死。

严格说，这个著名例子更接近现代谓词形式；传统范畴三段论通常处理“所有 S 是 P”“有些 S 是 P”这样的类别命题。

四种范畴命题

传统逻辑常记为 A/E/I/O：

A：全称肯定

所有 S 都是 P

现代近似：

∀x(S(x) → P(x))

E：全称否定

没有 S 是 P

近似：

∀x(S(x) → ¬P(x))

I：特称肯定

有些 S 是 P

∃x(S(x) ∧ P(x))

O：特称否定

有些 S 不是 P

∃x(S(x) ∧ ¬P(x))

三个“项”

传统三段论包含：

• 大项 major term：结论的谓项；
• 小项 minor term：结论的主项；
• 中项 middle term：连接两个前提，但不出现在结论中。

例如：

所有 M 是 P
所有 S 是 M
∴ 所有 S 是 P

M 是中项。

Barbara：经典有效形式

传统名称 Barbara 对应：

所有 M 是 P
所有 S 是 M
∴ 所有 S 是 P

现代写成：

∀x(M(x) → P(x))
∀x(S(x) → M(x))
∴ ∀x(S(x) → P(x))

结构本质上就是谓词条件链。

为什么三段论曾经极重要

亚里士多德的 syllogistic 是西方逻辑史上第一个高度系统化的演绎理论之一。它尝试分类：

哪些论证形式只凭形式就能保证结论？

这个问题后来成为整个形式逻辑的核心。

三段论因此不是“古代背诵题”，而是把论证内容和论证形式分离的重要历史突破。

三段论的局限

传统范畴逻辑很擅长：

所有 A 是 B
有些 C 是 A
没有 B 是 D

但不擅长表达复杂关系：

每个人都喜欢某个人。

需要二元关系：

Likes(x,y)

以及嵌套量词：

∀x∃y Likes(x,y)

这些正是现代谓词逻辑相较传统三段论的重要扩展。

存在承诺的历史差异

现代经典一阶逻辑中：

∀x(S(x) → P(x))

即使没有任何 S，也可以为真。

这叫 vacuous truth（空真）。

传统亚里士多德逻辑对某些全称命题的存在承诺处理与现代逻辑不完全相同。因此把古典“对当方阵”的所有传统推理直接搬进现代 FOL，会产生差异。

一个常见无效形式

所有猫都是动物。
所有狗都是动物。
∴ 所有狗都是猫。

中间共同属于“动物”并不能建立狗与猫之间的包含关系。

这与命题逻辑中的肯定后件有相似直觉：共同结果不能反推出相同前因。

为什么现代学习不应停在三段论

三段论训练：

• 类别关系；
• 量词；
• 形式有效性。

但现代逻辑还需要：

• 命题联结词；
• 任意 n 元关系；
• 嵌套量词；
• 形式语义；
• 证明系统。

因此知识路线应是：

三段论 = 历史与直觉基础
FOL = 更一般的现代形式框架

软件建模类比

所有 Admin 都是 User
Alice 是 Admin
∴ Alice 是 User

这和类型层级直觉很像：

Admin ⊆ User
Alice ∈ Admin
∴ Alice ∈ User

但现实程序类型系统还有结构类型、子类型规则、泛型、运行时值等更多复杂性，不能把三段论直接当成完整类型理论。

一句记忆

三段论的伟大不在于“三句话”，而在于它第一次系统追问：抹掉具体内容以后，哪些推理骨架仍然保证成立？