Foundations of Inductive Logic