Logical Foundations of Induction