Title: Logical Foundations of Induction