完全归纳法
| 完全归纳 | |
|---|---|
| 术语名称 | 完全归纳 |
| 英语名称 | complete induction |
| 别名 | course of values induction |
完全归纳(complete induction)指从特殊情况到一般情况的推理，但是前提允许穷尽所有可能的特殊情况。此处“归纳”指从特殊到一般的推理过程。完全归纳法尽管具有归纳的形式，通常归类为演绎推理、必然性推理，且依据其进行的推理过程总是一个有效推理。
完全归纳法要求对全部可能的情况进行归纳，但不要求穷尽的方式，可能允许以下几种方法复合使用：
- 举出所有可能的个例进行归纳，在数学证明中称为穷举法；
- 根据个例的特征进行分类，对每一类的情况进一步归纳，在数学证明中称为分情况讨论；
- 根据个例之间的结构，通过说明一些个例的情况按照结构推广到其他个例上，包括数学归纳法等。
| 传统逻辑 | |||||
|---|---|---|---|---|---|
| 推理的传统分类 | |||||
| 推理方向 | 一般到特殊 | 特殊到一般 | 特殊到特殊 | 现象到解释 | |
| 推理过程 | 演绎 | 归纳（广义） | 类比 | 溯因 | |
| 推理方法 | 演绎法 | 完全归纳法 （含数学归纳法等） |
归纳法（狭义） （不完全归纳法） |
类比法 | 溯因法 |
| 推理分类 | 演绎推理/必然性推理 | 归纳推理 | 类比推理 | 溯因推理 | |
| 合情推理/概然性推理/或然性推理 | |||||
| 命题及其演绎推理的传统分类 | |||||
| 直言命题 | 直接推理（对当关系推理、换质推理、换位推理）、三段论（直言三段论） | ||||
| 假言命题 | 假言推理（肯定前件、否定后件、逆否命题推理）、假言三段论 | ||||
| 选言命题 | 选言推理（选言三段论） | ||||
| - | 选言假言推理（构成式二难推理、破斥式二难推理） | ||||