The Semantics of Induction and the Possibility of Complete Systems of Inductive Inference

Abstract The semantics of inductive inference is treated from the hypothetico-deductive point of view. It is shown that, in the language of first-order predicate calculus for example, inductive inference systems can be designed with the property of relative completeness, i.e., relative to a set of sentences (the body of evidence) and to the level of deductive power available to the system.