逻辑学直言三段论



逻辑学中的直言三段论是一种有效的推理形式，它由三个部分组成：两个前提和一个结论。以下是对直言三段论四种基本形式的描述和例证，以及各自的应用规则。
**第一格形式（完满全格）**：
- 前提1: M—P （所有M都是P）
- 前提2: S—M （某个S是M）
- 结论: S—P （所以，这个S也是P）
**例证：**
- 前提1: 所有经济规律都是客观规律。
- 前提2: 按劳分配的规律是经济规律。
- 结论: 因此，按劳分配的规律是客观规律。
**规则：**
- 小前提必须是肯定的。
- 大前提必须是全称的。
**第二格形式（区别格）**：
- 前提1: P—M （所有P都是M）
- 前提2: S—M （某个S是M）
- 结论: S—P （所以，这个S不是P）
**例证：**
- 前提1: 所有金属都是导电体。
- 前提2: 这个物体不是导电体。
- 结论: 因此，这个物体不是金属。
**规则：**
- 前提之一必须是否定的。
- 大前提必须是全称的。
**第三格形式（反驳格）**：
- 前提1: M—P （所有M都是P）
- 前提2: M—S （某个M是S）
- 结论: S—P （所以，有些S也是P）
**例证：**
- 前提1: 所有小说都是文学作品。
- 前提2: 小说X是教育工具。
- 结论: 因此，有些教育工具是小说。
**规则：**
- 小前提必须是肯定的。
- 结论必须是特称的。
**第四格形式**：
- 前提1: P—M （有些P是M）
- 前提2: M—S （某个M是S）
- 结论: S—P （所以，有些S也是P）
**例证：**
- 前提1: 有些水生动物是海豚。
- 前提2: 所有海豚都是哺乳动物。
- 结论: 因此，有些哺乳动物是水生动物。
**规则：**
- 前提之一否定，大前提全称。
- 大前提肯定，则小前提全称。
- 小前提肯定，则结论特称。
- 前提中不得有特称否定判断。
- 结论不能是全称肯定判断。
直言三段论在法律审判、哲学论证以及日常推理中都有应用。其中，第一格因其结论的多样性，被称为“完满全格”，在法律判决书中常见，故又称“审判格”。第二格用于指出事物之间的区别，称为“区别格”。第三格常用于反驳全称判断，故称“反驳格”。第四格则较少特殊用途。