Return to Article Details Existence as a first-order predicate: some consequences and objections Download Download PDF