Text this: Logic, induction and ontology :