Logic and Existence