You are not currently logged in.
Access JSTOR through your library or other institution:
If You Use a Screen ReaderThis content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Natural Language, Sortal Reducibility and Generalized Quantifiers
Edward L. Keenan
The Journal of Symbolic Logic
Vol. 58, No. 1 (Mar., 1993), pp. 314-325
Published by: Association for Symbolic Logic
Stable URL: http://www.jstor.org/stable/2275339
Page Count: 12
You can always find the topics here!Topics: Students, Lexical quantifiers, Natural language, Boolean data, Poetry, Logical theorems, Mathematical functions, Vegetarianism, Urelements, Equivalence relation
Were these topics helpful?See something inaccurate? Let us know!
Select the topics that are inaccurate.
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Preview not available
Recent work in natural language semantics leads to some new observations on generalized quantifiers. In § 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 Q1x 1⋯ Qnx nRx 1⋯ xn and q1x 1⋯ qnx nRx 1⋯ xn are logically equivalent for arbitrary generalized quantifiers Qi, qi. GPT generalizes, perhaps in an unexpectedly strong form, the Linear Prefix Theorem (appropriately modified) of Keisler & Walkoe (1973).
The Journal of Symbolic Logic © 1993 Association for Symbolic Logic