Title: The aim of inductive logic