Logical reasoning
Encyclopedia : L : LO : LOG : Logical reasoning
The three methods for logical reasoning, deduction, induction, and abduction can be explained in the following way (taken from [1]):
- :Given α, β, and the rule R1 : α ∴ β
- *Deduction is using the rule and its preconditions to make a conclusion (α ∧ R1 ⇒ β).
- *Induction is learning R1 after numerous examples of β and α.
- *Abduction is using the postcondition and the rule to assume that the precondition could explain the postcondition (β ∧ R1 ⇒ α).
See also
- Reason
- Logic
- Logical fallacy
- Reasoning
- Deductive reasoning
- Inductive reasoning
- Abductive reasoning
- Defeasible reasoning
References
[1] T. Menzies. Applications of Abduction: Knowledge-Level Modeling. November 1996.
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.