Difference between revisions of "Vacuous quantification"
Jump to navigation
Jump to search
Wohlgemuth (talk | contribs) m (utrecht) |
(Edited the format) |
||
| Line 1: | Line 1: | ||
| + | ==Definition== | ||
'''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). | '''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). | ||
| Line 4: | Line 5: | ||
b All(x) [ P(j) & ThereIs(x) [ Q(x) ]] | b All(x) [ P(j) & ThereIs(x) [ Q(x) ]] | ||
| − | + | == Links == | |
| − | + | *[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Vacuous+quantification&lemmacode=102 Utrecht Lexicon of Linguistics] | |
| − | [http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Vacuous+quantification&lemmacode=102 Utrecht Lexicon of Linguistics] | ||
=== References === | === References === | ||
| − | |||
* Partee, B.H., A. ter Meulen, and R. Wall 1990. ''Mathematical Methods in Linguistics,'' Kluwer:Dordrecht | * Partee, B.H., A. ter Meulen, and R. Wall 1990. ''Mathematical Methods in Linguistics,'' Kluwer:Dordrecht | ||
Revision as of 08:51, 30 August 2014
Definition
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
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 |
