On Inductive Logic