The Interplay Between Logic and Metaphysics