Linked from

The 17 pages that link to Existential quantification, each with the reason it gives.

• Gottlob FregeRelated: Frege’s treatment of existence as quantification became foundational to modern logic.

• OntologyRelated: Quine’s criterion connects ontological commitment to the entities a theory quantifies over.

• QuantifierBroader topic: It expresses the “at least one object” case.

• Constructive proofRelated: A constructive proof of an existential statement supplies an instance satisfying its predicate.

• Surjective functionRelated: The definition says that for each codomain element, some domain input maps to it.

• Universal quantificationCompared with: It expresses existence, unlike universal quantification’s claim about every object.

• Domain of discourseRelated: Whether an existential claim is true depends on which objects the domain contains.

• Bound variableBroader topic: In ∃x P(x), the quantifier binds the occurrences of x in its scope.

• Arithmetical hierarchyRelated: An initial existential quantifier characterizes the first nontrivial existential level.

• Existence theoremNarrower topic: It is the logical form an existence theorem establishes.

• Prenex normal formBroader topic: The existential quantifier is the other standard prefix symbol.

• ConstructivismRelated: Constructivism interprets an existential claim as requiring a way to produce a witness.

• Adjoint functorsRelated: In categorical logic, existential quantification can arise as a left adjoint to substitution.

• Herbrand's theoremRelated: Skolemization handles existential quantifiers before ground instances are constructed.

• Skolem normal formRelated: Eliminating existential quantifiers is the defining step of Skolem normal form.

• Axiom of Empty SetRelated: The axiom uses an existence claim for a set with no members.

• Irene HeimRelated: Heim’s analysis treats many indefinite noun phrases as introducing existential discourse referents.