命题逻辑 vs 词项逻辑
概述
命题逻辑与词项逻辑是演绎逻辑的两大传统体系，前者以命题为最小分析单位，后者以词项（主项/谓项）为核心，各有其适用范围与局限性。
共同点
- 都是演绎逻辑体系，追求从前提必然推出结论
- 都以有效性为核心评估标准，关注论证的形式结构而非内容
- 都发展出了一套系统的判定方法（真值表 / 文氏图 + 规则检验）
- 都可追溯到古希腊逻辑传统（亚里士多德的三段论是词项逻辑的源头）
关键区别
| 维度 | 命题逻辑 | 词项逻辑 |
|---|---|---|
| 分析单位 | 命题（将陈述视为整体，不拆分内部结构） | 词项（将命题拆分为主项和谓项，分析类间关系） |
| 核心工具 | 真值表、逻辑算子（） | 文氏图、三段论规则、对当方阵 |
| 适用范围 | 命题间真值函项关系（假言推理、析取推理、二难推论等） | 词项间包含/排斥关系（类的包含、排斥、交叉） |
| 判定方法 | 完备真值表——机械判定，有限步骤内可得结论 | 规则检验 + 文氏图——需掌握多条规则，判定过程更依赖技巧 |
| 表达力优势 | 能处理假言推理、析取推理、二难推论等复合命题推理 | 能精确刻画类间关系（A/E/I/O 命题及其推理） |
| 历史渊源 | 现代符号逻辑（Frege, Russell, Whitehead） | 传统逻辑（亚里士多德《前分析篇》） |
| 局限性 | 无法分析命题内部结构（如”所有S是P”中的S和P的关系） | 无法处理假言、析取等复合命题推理 |
深层联系
统一之路：谓词逻辑