Logic and Induction