Title: Logic, Induction and Ontology