Text this: Logic, induction, and ontology :