Logical Reasoning
Table of Contents
Exploring this in the context of Ontology and Symbolic AI.
1. The 3 Logical Reasoning Embodiments
1.1. Deductive
- given a set of assertions, to be able to deduce a conclusion with certainty
- math is deductive
- this isn't ampliative : no increase in human knowledge
1.2. Inductive
- given specific observations, generate a generalized conclusion that is likely, but may not certainly be, true.
- is ampliative : can help predict patterns that otherwise wouldn't be noticed - increases human knowledge
1.3. Abductive
- given an incomplete set of information, try to come up with the most likely conclusion - this is, often, incomplete.
- Most creativity can be captured by Abductive thinking and this also contributes the most to human knowledge : Abductive reasoning followed by verification/rejection via experiments.
- think about the thought of devising a thought-experiment…
2. Pragmatic
- This is something that can and should be developed
- checkout Rhetoric