Logic and Metaphysics