File:Noun project 3067.svg
推理或推论[1]（英语：inference）是“使用理智从某些前提（已知）导出结论”的思维过程。
以下三种推理是属于哲学、逻辑、心理学和人工智能等学门所感兴趣的领域。
逻辑推理有三种主要的方式：
演绎推理[编辑]
演绎推理（deductive reasoning），给出正确的前提，就必然推出结论（结论不能为假，悖论除外）。演绎推理无法使知识扩增，因为结论自包含于前提之内。逻辑学中有名的三段论（syllogism）就是典型的例子：
归纳推理[编辑]
另一方面，在归纳推理（inductive reasoning）当中，当前提为真时，可推出某种几率性的结论。归纳推理可以扩展知识，因为结论比前提包含更多的信息。大卫·休谟（David Hume）曾举出一个归纳推理的范例[2]：
- 在我记得的过去每一天中，太阳都会升起
- 所以，太阳明天将会升起
溯因推理[编辑]
第三类推理是溯因推理（abductive reasoning），或者说推论到最佳解释。这种推理方法的结构较为复杂而且可能包括演绎与归纳两种论证。溯因推理的主要特征是给出一组或多或少有争议的假定，要么证伪其它可能的解释，要么展示出赞成的结论的可能性，来尝试赞成多个结论中的一个。
参考资料[编辑]
|
|---|
|
|
|
非传统逻辑 |
|---|
| 模态逻辑 |
- 真性逻辑
- 价值逻辑
- 道义逻辑
- Module:WikidataLink第216行Lua错误：attempt to call field 'entityExists' (a nil value)
- 认识逻辑
- 时间逻辑
|
|---|
| 直觉主义 |
- 直觉主义逻辑
- 结构分析
- Lua错误：attempt to call field 'entityExists' (a nil value)。
- 直觉类型论
- Lua错误：attempt to call field 'entityExists' (a nil value)。
|
|---|
| 模糊逻辑 |
- Lua错误：attempt to call field 'entityExists' (a nil value)。
- 模糊规则
- 模糊集
- 模糊有限元素
- Lua错误：attempt to call field 'entityExists' (a nil value)。
|
|---|
| 亚结构逻辑 | |
|---|
| 次协调逻辑 | |
|---|
| 描述逻辑 | |
|---|
|
|
|
列表 |
|---|
| 主题 |
- Module:WikidataLink第216行Lua错误：attempt to call field 'entityExists' (a nil value)
- Module:WikidataLink第216行Lua错误：attempt to call field 'entityExists' (a nil value)
- 布尔代数
- Module:WikidataLink第216行Lua错误：attempt to call field 'entityExists' (a nil value)
|
|---|
| 其它 |
- 逻辑学家
- Module:WikidataLink第216行Lua错误：attempt to call field 'entityExists' (a nil value)
- 悖论
- 谬论
- 逻辑符号
- Lua错误：attempt to call field 'entityExists' (a nil value)。
|
|---|
|
|
|
|
学习（Lua错误：attempt to call field 'entityExists' (a nil value)。 / 学习风格） |
|---|
| Lua错误：attempt to call field 'entityExists' (a nil value)。 |
- Lua错误：attempt to call field 'entityExists' (a nil value)。
- 敏化作用
|
|---|
| Lua错误：attempt to call field 'entityExists' (a nil value)。 | |
|---|
| Lua错误：attempt to call field 'entityExists' (a nil value)。 | |
|---|
