演绎推理（deduction）

定义

一种推理，其要求是在采用的推理规则下，前提为真就保证结论为真。

深入理解

演绎要求在所采规则下，前提为真时结论必真。这比高概率强，也不等于所有“从一般到个别”的推理，因为演绎未必含一般前提。有效形式与前提实际为真是两件事；由假前提作出的推导可以形式有效，却不能据此证明结论。它展开接受前提时已经承担的关系承诺。

思考如何推进

1. 列明前提与结论。
2. 说明采用的规则。
3. 检查推导或反模型。
4. 另核对前提的真。
5. 限定结论得到的支持。

例子

架子上每个盒子都是空的。这个盒子在架子上。所以这个盒子是空的。在这些前提下，结论必须成立。

反例与界限

到目前为止打开的盒子都是空的，所以下一个也是空的。这越出了已有前提，没有相同的演绎保证。

与相近概念的区别

演绎不同于归纳和溯因；形式有效也不同于结论在现实中已经证实。

研究与应用

论证分析可逐步查核规则、隐含假定及可能反模型。

作用与限制

提供条件性的必然支持，也暴露前提审查的独立责任。

共鸣

接受一些话时已经承诺的关系，在推导中逐步显明。

为什么收录这个概念

它为区分必然、概率和解释性支持提供基础。

从中文阅读出发

“所以”不保证演绎，中文或外语的流畅论述都仍须检查推理关系。

历史背景与来源范围

历史修辞名称与本条选择的现代分析用法分别说明；古代相近实践不自动证明现代中文术语的起源。本轮未确定中文专业名称的最早用例。

实践、术语命名与中文译名的历史须分别核对。本稿不由一个相似例子推出中文术语的首例。

来源与查阅范围

下列记录保留原资料的书目名称。所列页码不表示本轮重新阅读全文或独立核验其中全部引文。

• Stanford Encyclopedia of Philosophy · Logical Consequence
• Aristoteles · Prior Analytics

德文原条目与来源 → · 英文原条目与来源 →

引用本条

Reich, Michael（编）：演绎推理（deduction），AT-NAV-G01-019。语言图谱，Release 17.1.0，中文完整条目稿 0.57.0。引用时请注明访问日期及译稿审校状态。