Logic, Ontology and Metaphysics