Vacuous quantification

From Glottopedia
Revision as of 14:39, 10 June 2009 by Wohlgemuth (talk | contribs) (utrecht)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Vacuous quantification obtains when a quantifier fails to bind a variable, either because the variable is not in the scope of that quantifier (cf. All(x) in (i)a), or because there is another quantifier already binding the variable (cf. All(x) in (i)b).

(i) a  All(x) [ P(j) ] & Q(x)
    b  All(x) [ P(j) & ThereIs(x) [ Q(x) ]]

Links

Utrecht Lexicon of Linguistics

References

  • Partee, B.H., A. ter Meulen, and R. Wall 1990. Mathematical Methods in Linguistics, Kluwer:Dordrecht
STUB
CAT This article needs proper categorization. You can help Glottopedia by categorizing it
Please do not remove this block until the problem is fixed.
FORMAT