Text this: Foundations of inductive logic