逻辑推理
| 逻辑推理 | |
|---|---|
| 推理方式 | |
| 上级分类 | 推理  |
| 所属实体 | 心理学术语集 |
逻辑推理（英語：logical reasoning）是从前提推导出结论的思维过程，是逻辑学和理性思维的核心内容。逻辑推理通常分为三类：演绎推理、归纳推理和溯因推理[1]。
逻辑推理在数学、科学、法律、医学和人工智能等领域中具有基础性作用。对逻辑推理的研究可追溯至亚里士多德的《前分析篇》，并在20世纪随着数理逻辑和认知科学的发展而不断深化[2]。
演绎推理
[编辑]演绎推理（deductive reasoning）是从一般性前提推出特殊性结论的推理方式。其核心特征是：若前提为真，则结论必然为真——即演绎是保真（truth-preserving）的[1]。
有效性与可靠性
[编辑]一个演绎论证是有效（valid）的，当且仅当其前提为真时结论不可能为假。一个有效论证若其前提也实际上为真，则被称为可靠（sound）。演绎推理是形式逻辑的核心研究对象[1]。
常见形式
[编辑]- 肯定前件（Modus Ponens）：如果P则Q；P；因此Q。
- 否定后件（Modus Tollens）：如果P则Q；非Q；因此非P。
- 直言三段论：所有人都是会死的；苏格拉底是人；因此苏格拉底是会死的。
演绎推理是数学证明的基础方法，也是计算机程序形式化验证的核心工具[1]。
归纳推理
[编辑]归纳推理（inductive reasoning）是从具体观察中得出一般性结论的推理方式。与演绎不同，归纳推理的结论不是必然的，而是概然的——前提为真时结论可能为真[3]。
归纳概括
[编辑]最常见的归纳形式是归纳概括（inductive generalization）：从「所有观察到的A都是B」推出「所有A都是B」。例如，观察到大量天鹅都是白色的，于是得出结论「所有天鹅都是白色的」[3]。
休谟的归纳问题
[编辑]18世纪哲学家大卫·休谟指出，归纳推理无法得到逻辑上的辩护——因为我们无法证明未来会与过去相似。这一归纳问题至今仍是科学哲学的核心议题[3]。
密尔方法
[编辑]19世纪约翰·斯图尔特·密尔提出了密尔方法（Mill's methods），包括求同法、求异法、共变法、剩余法等，用于从观察中推断因果关系[4]。
溯因推理
[编辑]溯因推理（abductive reasoning），又称最佳解释推理（inference to the best explanation），是从观察事实出发推导出最合理解释的推理方式。该术语由19世纪美国哲学家查尔斯·桑德斯·皮尔士引入[2]。
皮尔士的溯因概念
[编辑]皮尔士将溯因描述为「形成解释性假说的过程」，并指出它是科学发现中不可缺少的环节。溯因的典型模式是：观察到令人惊讶的事实C；如果A为真，则C可以得到解释；因此A可能为真[2]。
应用
[编辑]溯因推理广泛应用于医学诊断（从症状推断病因）、刑事侦查（从证据推断作案过程）和人工智能（从观察到的事实推断知识库中的假设）。机器学习中的某些推断过程也可被理解为溯因[2]。
其他推理类型
[编辑]类比推理
[编辑]类比推理（analogical reasoning）基于两个事物在某些方面的相似性，推断它们在其他方面也可能相似。类比推理在法律推理和日常决策中广泛使用[5]。
可废止推理
[编辑]可废止推理（defeasible reasoning）或非单调推理（non-monotonic reasoning）允许在新信息出现时撤回之前的结论。它在人工智能的常识推理和法律推理中具有重要意义[6]。
实践推理
[编辑]实践推理（practical reasoning）涉及从目标和信念推导出行动计划的推理，是行动哲学和人工智能规划的核心[7]。
历史
[编辑]对逻辑推理的系统研究始于亚里士多德的《前分析篇》，他在其中建立了三段论理论。17世纪弗朗西斯·培根在《新工具》中批判了亚里士多德的方法，提出了归纳法作为科学发现的基础。19世纪约翰·斯图尔特·密尔进一步发展了归纳逻辑。
19世纪末，查尔斯·桑德斯·皮尔士在康德分类的基础上，明确将推理分为演绎、归纳和溯因三种类型，并强调溯因在科学发现中的作用。20世纪，数理逻辑和形式语义学的发展为演绎推理提供了精确的数学基础，而人工智能的发展则推动了归纳和非单调推理的形式化研究[2]。
参见
[编辑]参考文献
[编辑]- ^ 1.0 1.1 1.2 1.3 Deductive Reasoning. Stanford Encyclopedia of Philosophy. [2026-05-13].
- ^ 2.0 2.1 2.2 2.3 2.4 Abduction. Stanford Encyclopedia of Philosophy. [2026-05-13].
- ^ 3.0 3.1 3.2 The Problem of Induction. Stanford Encyclopedia of Philosophy. [2026-05-13].
- ^ Mill, J. S. A System of Logic. John W. Parker. 1843.
- ^ Analogical Reasoning in Law. Stanford Encyclopedia of Philosophy. [2026-05-13].
- ^ Antoniou, G. Nonmonotonic Reasoning. MIT Press. 1997. ISBN 978-0-262-01157-6 请检查
|isbn=值 (帮助). - ^ Practical Reasoning. Stanford Encyclopedia of Philosophy. [2026-05-13].
