Generalized quantifier: Difference between revisions

Revision as of 08:53, 3 April 2018

Revision as of 21:22, 3 April 2018

Line 3:

:: <math>\{X \,|\, \{x \,|\, \mbox{x is a boy}\} \subseteq X \}</math>

This treatment of quantifiers has been essential in achieving a [[compositionality|compositional]] [[semantics]] for sentences containing quantifiers.<ref> [[Richard Montague|Montague, Richard]]: 1974, '[http://www.blackwellpublishing.com/content/BPL_Images/Content_store/Sample_chapter/9780631215417/Portner.pdf The proper treatment of quantification in English]',

in R. Montague, Formal Philosophy, ed. by R. Thomason (New Haven). </ref><ref>[[Jon Barwise|Barwise, Jon]] and Robin Cooper. 1981. Generalized quantifiers and natural language. ''Linguistics and Philosophy'' 4: 159-219.</ref>

==Type theory==