Definition
The existential quantifier is a logical operator that takes a predicate and asserts that at least one element of the domain of discourse satisfies it. In standard notation it is written as a reversed E (rendered in text as "there exists"), so that "there exists an x such that x is prime and x is even" formalizes the English claim "some even number is prime." The quantifier binds the variable x and turns an open formula (one with a free variable) into a closed statement with a determinate truth value.
It is the dual of the universal quantifier ("for all"). The two are interdefinable by negation: "there exists an x that is F" is logically equivalent to "it is not the case that for every x, x is not F."
Why it matters
How it works
To establish an existential claim, it is sufficient to exhibit a single instance — one example that satisfies the condition makes the whole statement true. This is constructive existence: "there exists a prime number greater than ten" is proved by displaying eleven. Non-constructive existence proofs, common in mathematics, establish that a witness must exist without identifying it; classical logic permits this, intuitionistic logic does not.
To refute an existential claim, one must show that no element of the domain satisfies the condition — a universal negative. This asymmetry between proving and refuting existence has practical consequences: positive existence claims are often easy to settle (find one), while their universal denials are often hard (rule out every candidate). Russell's celebrated analysis of the sentence "the present king of France is bald" rests on unfolding it as an existential claim with a uniqueness condition; once formalized that way, its falsity becomes obvious because no such king exists, and the apparent paradox dissolves.