布尔解释 vs 亚里士多德解释
一句话总结
两种解释的根本分歧在于全称命题是否具有存在含义：亚里士多德解释认为有，布尔解释认为无，由此导致传统对当方阵中反对关系、下反对关系和差等关系在布尔解释下全部失效，仅保留矛盾关系。
共同点
- 都是对直言命题逻辑性质的解释框架，旨在阐明A、E、I、O四种命题之间的逻辑关系
- 都承认 和 的矛盾关系——矛盾命题不能同真、不能同假
- 都使用传统对当方阵作为分析工具（尽管布尔解释只保留方阵的对角线）
- 都承认I和O命题具有存在含义
- 都服务于直言推理的有效性判定
关键区别
| 维度 | 亚里士多德解释 | 布尔解释 |
|---|---|---|
| 全称命题的存在含义 | 有——A和E都隐含断言主项存在 | 无——A和E是条件句，不预设主项存在 |
| 反对关系（A与E） | 有效——A与E不能同真 | 无效——当S为空时A和E可同真 |
| 下反对关系（I与O） | 有效——I与O不能同假 | 无效——当S为空时I和O可同假 |
| 差等关系（, ） | 有效——全称真则特称真 | 无效——当S为空时全称真但特称假 |
| 矛盾关系（, ） | 有效 | 有效 |
| 对空类的处理 | 预设所有词项指称的类都不为空 | 允许词项指称的类为空 |
| A命题的理解 | ”所有S是P”（且S存在） | “如果有S这样的东西，那么它是P” |
| 传统方阵的完整性 | 完全有效——四种关系全部成立 | 仅保留对角线——只有矛盾关系成立 |
| 适用场景 | 传统逻辑教学、限定语境（已知词项非空） | 现代逻辑标准、一般性推理 |
| 历史起源 | 亚里士多德《前分析篇》（公元前4世纪） | George Boole (1854) An Investigation of the Laws of Thought |
一句话记忆
亚里士多德解释 = “所有东西都存在” → 方阵全满；布尔解释 = “全称命题不保证存在” → 方阵只剩对角线。
深层联系
亚里士多德解释隐含"全面存在预设"
亚里士多德解释之所以能让传统方阵的四种关系全部成立，是因为它隐含地预设了所有词项指称的类都不为空（即全面存在预设，comprehensive existential presupposition）。在这一预设下：
- A和E不能同真（因为S非空，A和E中必有一假）→ 反对关系成立
- I和O不能同假（因为S非空，I和O中必有一真）→ 下反对关系成立
- A真则I真、E真则O真（因为S非空，全称命题为真时特称命题也必然为真）→ 差等关系成立
布尔解释的革新在于放弃了这一全面存在预设，允许词项指称空类。一旦允许空类，反对关系、下反对关系和差等关系就不再普遍有效——它们只在”S非空”的附加条件下才成立。布尔解释因此是一个更普遍、更一般的框架：在所有词项都非空的限定条件下，布尔解释的推论结果与亚里士多德解释完全一致。
两种解释的日常类比
- 亚里士多德解释就像说”所有来参加聚会的人都会得到礼物”——这句话隐含地预设了确实有人来参加聚会（S非空）。
- 布尔解释就像说”所有闯入者都将被逮捕”——这句话只是一个条件性规则，并不预设真的有闯入者（S可以为空）。
现代逻辑采用布尔解释，因为它更精确、更灵活，能够处理空类的情况，避免了存在谬误。