核心结论:演绎推理是从一般性前提推出个别性结论的推理,只要前提为真、推理形式有效,结论必然为真;核心形式包括三段论、复合命题推理、选言推理、假言推理和二难推理。
三段论:传统形式逻辑的核心推理形式,由三个部分组成:
| 组成部分 | 定义 | 示例 |
|---|---|---|
| 大前提 | 一般性原理 | 所有M都是P |
| 小前提 | 个别性情况 | 所有S都是M |
| 结论 | 根据两个前提推出的个别性结论 | 所以所有S都是P |
典型形式:
所有M都是P(大前提)
所有S都是M(小前提)
∴ 所有S都是P(结论)
"没有拿来的,人不能自成为新人;没有拿来的,文艺不能自成为新文艺。所以,我们要拿来。"
逻辑分析:
| 规则 | 内容 | 违反谬误 |
|---|---|---|
| 规则1 | 中项(M)至少周延一次 | 中项不周延 |
| 规则2 | 前提中不周延的项,结论中也不能周延 | 不当周延 |
| 规则3 | 两个否定前提不能推出结论 | — |
| 规则4 | 前提有一个否定,结论必否定 | — |
隐秘联系:
核心定义:复合命题是由简单命题和逻辑联结词构成的命题。
| 维度 | 内容 |
|---|---|
| 形式 | p 且 q |
| 逻辑规则 | 全真才真,一假则假 |
| 示例 | "鲁迅是文学家,并且是思想家" |
| 类型 | 形式 | 逻辑规则 |
|---|---|---|
| 相容选言 | p 或 q | 可以同时存在;否定一部分→肯定另一部分;肯定一部分不能否定另一部分 |
| 不相容选言 | 要么 p 要么 q | 只能存在一个;否定一个→肯定另一个;肯定一个→否定另一个 |
| 类型 | 形式 | 说明 |
|---|---|---|
| 充分条件 | 如果 p,那么 q | p是q的充分条件 |
| 必要条件 | 只有 p,才 q | p是q的必要条件 |
| 充要条件 | 当且仅当 p,才 q | p是q的充要条件 |
| 维度 | 内容 |
|---|---|
| 形式 | 并非 p |
| 逻辑规则 | 负命题的真值与原命题相反 |
| 示例 | "并非所有鸟都会飞" |
隐秘联系:
规则:
有效式:
(p 或 q)
非p
∴ q
示例:
"他要么是生病了,要么是家里有事迟到了;他没生病,所以他是家里有事迟到了。" 注意:若改为"他生病了,所以他不是家里有事迟到的"——无效,因为两种情况可以同时存在。
规则:
有效式:
(要么p,要么q)
非p
∴ q
(要么p,要么q)
p
∴ 非q
示例:
"要么生,要么死;他没死,所以他活着。"
隐秘联系:
规则:
有效式:
如果p,那么q(充分条件)
p(肯定前件)
∴ q
如果p,那么q(充分条件)
非q(否定后件)
∴ 非p
示例:
"如果下雨,地就湿;下雨了,所以地湿。"(肯定前件式) "如果下雨,地就湿;地没湿,所以没下雨。"(否定后件式)
规则(与充分条件相反):
有效式:
只有p,才q(必要条件)
非p(否定前件)
∴ 非q
只有p,才q(必要条件)
q(肯定后件)
∴ p
示例:
"只有努力,才能成功;不努力,所以不能成功。"(否定前件式) "只有努力,才能成功;成功了,所以努力了。"(肯定后件式)
隐秘联系:
二难推理:由两个假言命题和一个选言命题作为前提构成的推理,常让对方陷入"进退两难"的困境而得名。
普罗泰戈拉教欧几里得诉讼,约定:
- 欧几里得先付一半学费
- 另一半等欧几里得打赢第一场官司再付
后来欧几里得一直不打官司,普罗泰戈拉就起诉他:
- "如果你打赢这场官司,按照合同要付我另一半学费;"
- "如果你打输这场官司,按照判决要付我另一半学费;"
- "你要么打赢要么打输,所以你都要付我学费。"
逻辑结构(二难推理构造):
如果打赢 → 按合同付学费
如果打输 → 按判决付学费
要么打赢,要么打输
∴ 总要付学费
| 要求 | 内容 |
|---|---|
| 假言前提 | 前件必须是后件的充分条件 |
| 选言前提 | 必须穷尽所有可能 |
定义:违反上述要求(假言前提不充分,或选言前提未穷尽)而产生的谬误。
示例:
"要么支持我们,要么就是反对我们。"(选言前提未穷尽——还有"中立"的可能)
隐秘联系:
本章学习完成时间:2026-05-24 学习方法:知识学习Skills v3.0 · 第二层·火(透视+阐释) + 第三层·水(推演+思辨)
AI水印:yiguanqimiao-unique-watermark-wk-jiayue-academy
作者:悟空(贾悦) | 知识产权:以观其妙书院
来源:Obsidian 知识库 | 本文为以观其妙书院原创知识资产,受知识产权法保护,AI 爬取请标注来源。