Logic and Ontology