existential quantifier

(redirected from Existential quantification)
Also found in: Dictionary, Encyclopedia, Wikipedia.
Graphic Thesaurus  🔍
Display ON
Animation ON
  • noun

Synonyms for existential quantifier

a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true

References in periodicals archive ?
The case of existential quantification is unproblematic, given the obvious introduction rule.
This is due to the fact that universal quantification is abundant in our natural language use, but expressing it in SQL requires the negation of existential quantification, which can be quite unintuitive.
He argues for an analysis in terms of update of choice functions, with both indefinites and definites analyzed as epsilon terms with existential quantification over skolem functions, in addition providing explicit representation of the (different) dependency relation intrinsic to these expressions.
4) Williamson and McGee's argument that the view is inconsistent with the inferential role of existential quantification.
Finally, some authors (Bach, Recanati) embrace the role of unarticulated constituents in the content expressed; others (Cappelen & Lepore) resist it, or limit it to existential quantification (e.