Almost all complex quantifiers are simple
MOL'07/09 Proceedings of the 10th and 11th Biennial conference on The mathematics of language
Distributivity, Collectivity, and Cumulativity in Terms of (In)dependence and Maximality
Journal of Logic, Language and Information
Characterizing definability of second-order generalized quantifiers
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Journal of Logic, Language and Information
Hi-index | 0.00 |
We consider collective quantification in natural language. For many years the common strategy in formalizing collective quantification has been to define the meanings of collective determiners, quantifying over collections, using certain type-shifting operations. These type-shifting operations, i.e., lifts, define the collective interpretations of determiners systematically from the standard meanings of quantifiers. All the lifts considered in the literature turn out to be definable in second-order logic. We argue that second-order definable quantifiers are probably not expressive enough to formalize all collective quantification in natural language.