Natural Language, Sortal Reducibility and Generalized Quantifiers
Keenan, Edward L.
J. Symbolic Logic, Tome 58 (1993) no. 1, p. 314-325 / Harvested from Project Euclid
Recent work in natural language semantics leads to some new observations on generalized quantifiers. In $\S 1$ we show that English quantifiers of type $<1,1>$ are booleanly generated by their generalized universal and generalized existential members. These two classes also constitute the sortally reducible members of this type. Section 2 presents our main result--the Generalized Prefix Theorem (GPT). This theorem characterizes the conditions under which formulas of the form $Q_1x_1\cdots Q_nx_nRx_1\cdots x_n$ and $q_1x_1\cdots q_nx_nRx_1\cdots x_n$ are logically equivalent for arbitrary generalized quantifiers $Q_i, q_i$. GPT generalizes, perhaps in an unexpectedly strong form, the Linear Prefix Theorem (appropriately modified) of Keisler & Walkoe (1973).
Publié le : 1993-03-14
Classification: 
@article{1183744191,
     author = {Keenan, Edward L.},
     title = {Natural Language, Sortal Reducibility and Generalized Quantifiers},
     journal = {J. Symbolic Logic},
     volume = {58},
     number = {1},
     year = {1993},
     pages = { 314-325},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744191}
}
Keenan, Edward L. Natural Language, Sortal Reducibility and Generalized Quantifiers. J. Symbolic Logic, Tome 58 (1993) no. 1, pp.  314-325. http://gdmltest.u-ga.fr/item/1183744191/