Inductive reasoning concerns assessments of how likely a statement is to be true, given observations of its consequences. In the classical concept of induction, once enough specific instances $P(a), P(b), P(c)$ have been verified (with no instance $\neg{P(k)}$), we are justified in concluding the universally quantified statement $\forall x,\, P(x)$, or at least one of its consequences $P(k)$. Stated as a rule of inference? this appears as follows:
Here, the list of premises is finite, possibly long but still feasible? (at least in an informal sense), while the size of the set $S$ may be infeasibly large (or indeed infinite).
Not everybody holds that inductive reasoning occurs. Karl Popper famously claimed that “Induction, i.e. inference based on many observations, is a myth. It is neither a psychological fact, nor a fact of ordinary life, nor one of scientific procedure.” (Conjectures and Refutations, p. 53). This claim was made primarily about the process of coming to believe in a universal law from the observation of a finite number of instances.
There is no problem if one can be sure that one is sampling a complete list of instances of a general law. From that one may indeed induce the general law through deductive reasoning. This is mathematical induction.
The simplest case is induction over a finite set; if we add the premise
to the rule (1), then it becomes a valid deduction (in, say, minimal logic). That is, we have actually checked every case, and the universal statement is induced deductively.
A subtler but classic case is induction over the natural numbers: if one knows that a statement about elements of the set $\mathbb{N}$ holds for the element $0$ and if one knows that if the statement holds for any $n \in \mathbb{N}$, then it also holds for $n+1$, then one can in fact be certain that it holds for each and every $n \in \mathbb{N}$, and again the universal statement is induced deductively.
This is reflected for instance in the German use of the word: in German, Induktion refers to inductive reasoning, but the mathematical induction over the natural numbers is mandatorily called vollständige Induktion: complete induction.
As explained at mathematical induction, there is a large class of “complete inductions” available in mathematics. In the notion of inductive types, this concept reaches down to the very foundations of mathematics.
Another approach is to couch inductive reasoning in terms of probability theory. If we change the conclusions of the sequents in (1) from truth to high probabilities, then the inference may be valid; however, the exact calculation requires the use of Bayes's rule? and depends on the background information.
With deductive reasoning, once I derive (say) $Q$ from $P$ and $P \Rightarrow Q$, my learning new facts does not affect the derivation. When I reason inductively, however, changes to background knowledge frequently cause me to alter my inferences. For example, from observations that ten fish caught randomly from a pond are trout, I may assess the claim that all fish in the pond are trout as having a certain probability. But learning about the number of fish species present in other ponds nearby (even without observing any more fish from the pond in question) may cause me to alter this assessment. It is clear that many factors may have a bearing on our assessment of a degree of belief.
Interestingly, one of the first people to give a qualitative sketch of how such an approach would work was George Polya in ‘Mathematics and Plausible Reasoning’ (Polya), where examples from mathematics are widely used. The idea of a Bayesian account of plausible reasoning in mathematics surprises many, it being assumed that mathematicians rely solely on deduction.
See Bayesian reasoning.
Edwin Jaynes, 2003, Probability Theory: The Logic of Science, Cambridge University Press, (web).
George Polya, 1954, Mathematics and Plausible Reasoning, Volume 2: Patterns of Plausible Inference, Princeton University Press.
Chapter 4 of
From the nPOV, of interest is
Last revised on June 15, 2015 at 08:36:33. See the history of this page for a list of all contributions to it.