As I understand it, in predicate logic that goes back to Russell, it's a quantifier. In an existence claim, you are attributing certain properties to members of a set, and the existential quantifier marks that set as having at least one member. So taking "the present king of France is bald,"...