Title: Foundations of inductive logic