The Logic of Inductive Inference