Induction
Discovery
Deduction
Induction
Abduction
Transformation
Problem-solving
Diagnose
Language
Prediction
Metacognition
All of the deductive methods may be for inductive argument or inference provided one or more of the propositions is probable rather than certain. For example:
Name | Rule |
Inductive Modus Ponens | p > q, p; therefore q |
Inductive Modus Tollens | p > q, -q; therefore -p |
Inductive Chain | p > q, q > r; therefore p > r |
Inductive Disjunctive1 | p v q, p; therefore -q |
Inductive Disjunctive2 | p v q, q; therefore -p |
Inductive Addition1 | p; therefore p v q |
Inductive Addition2 | q; therefore p v q |
Inductive Conjunctive1 | -(p & q), p; therefore -q |
Inductive Conjunctive2 | -(p & q), q; therefore -p |
Inductive Simplification1 | (p & q); therefore p |
Inductive Simplification2 | (p & q); therefore q |
Inductive Adjunction | p, q; therefore p & q |
Inductive Reductio1 | p > -p; therefore -p |
Inductive Reductio2 | p > (q & -q); therefore -p |
Inductive Complex constructive | p > q, r > s, p v r; therefore q v s |
Inductive Complex destructive | p > q, r > s, -q v -s; therefore -p v -r |
Inductive Simple constructive | p > q, r > q, p v r; therefore q |
Inductive Simple destructive | p > q, p > r, -q v -r; therefore -p |
Proposition (categorical) Generalization (syllogistic)
Propositions (relational) Generalization (propositional)
Proposition singular Analogy
Proposition singular (likelihood) Statistical Analogy
classification abstraction