Existential Quantifier { Philosophy Index }

Philosophy Index

Philosophy Index

Philosophy Index is a site devoted to the study of philosophy and the philosophers who conduct it. The site contains a number of philosophy texts, brief biographies, and introductions to philosophers, and explanations on a number of topics. Accredited homeschooling online at Northgate Academy and Philosophy online tutoring.

Philosophy Index is a work in progress, a growing repository of knowledge. It outlines current philosophical problems and issues, as well as an overview of the history of philosophy. The goal of this site is to present a tool for those learning philosophy either casually or formally, making the concepts of philosophy accessible to anyone interested in researching them. WTI offers immigration law course online - fully accredited. ACE credits online at EES.



Philosophy Topics




Existential Quantifier

The existential quantifier is a symbol of symbolic logic which expresses that the statements within its scope are true for at least one instance of something.

The symbol ∃, which appears as a backwards “E”, is used as the existential quantifier.

Existential quantifiers are normally used in logic in conjunction with predicate symbols, which say something about a variable or constant, in this case the variable being quantified.

The existential quantifier ∃ (which means “there exists”), differs from the universal quantifier ∀ (which means “for all”).


For example, if the predicate symbol Bx is taken to mean “x is a ball”, then we may formalize an expression using a existential quantifier:


Translated back into English, this reads as “there is an x such that x is a ball”, or more simply, “there is a ball”.

We may formalize the expression “Some P are Q” using an existential quantifier and a conjunction:


This reads as “There exists an x such that x is a P and x is a Q”, which may be literally as “at least one P is a Q”, or more generally, “some P are Q”. (In logic, the word “some” is almost always taken to mean “at least one”.

Limit ∃ to one instance

The existential quantifier always means “at least one”, which means that there may be one or more of the specified thing in existence. Sometimes, it may be useful to say that there is only one. In these cases, an existential quantifier is written as ∃!, which means “there exists exactly one”. For example, we may say ∃!xBx, using the meaning presented above, to say “there is only one ball”.