Foundations of inductive reasoning