A Remark on Collective Quantification Export

@article{KSz08, abstract = {Abstract 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.}, author = {Kontinen, Juha and Szymanik, Jakub}, citeulike-article-id = {2360374}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/s10849-007-9055-0}, doi = {10.1007/s10849-007-9055-0}, journal = {Journal of Logic, Language and Information}, keywords = {collective, complexity, computational, definability, generalized, quantification, quantifier, second-order}, month = {April}, number = {2}, pages = {131--140}, posted-at = {2008-02-10 21:24:36}, priority = {0}, title = {A Remark on Collective Quantification}, url = {http://dx.doi.org/10.1007/s10849-007-9055-0}, volume = {17}, year = {2008} }

TY - JOUR ID - KSz08 L3 - citeulike-article-id:2360374 N2 - Abstract 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. IS - 2 JF - Journal of Logic, Language and Information EP - 140 TI - A Remark on Collective Quantification VL - 17 SP - 131 KW - collective KW - complexity KW - computational KW - definability KW - generalized KW - quantification KW - quantifier KW - second-order AU - Kontinen, Juha AU - Szymanik, Jakub PY - 2008/04// UR - http://dx.doi.org/10.1007/s10849-007-9055-0 ER -