Abstract
After background explanation of the links between generalized quantifier theory and natural language semantics, we survey some recent work on logics with generalized quantifiers, mainly concerned with problems of definability and expressive power in finite models and of axiomatizability, which is relevant to linguistic issues.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Barwise, On branching quantifiers in English, Journal of Philosophical Logic 8 (1979), pp. 47–80.
J. Barwise. and R. Cooper, Generalized quantifiers and natural language. Linguistics and Philosophy 4 (1981), pp. 159–219.
J. Van Benthem, Essays in Logical Semantics, Reidel, Dordrecht. 1986.
J. Van Benthem, Polyadic quantifiers, Linguistics and Philosophy 12 (1989), pp. 437–464.
J. Van Benthem. Quantifiers and inference. Quantifiers II, M. Krynicki, M. Mostowski. and L. W. Szczerba (eds), Kluwer Ac. Pub. 1995, pp. 1–20.
X. Caicedo. Back-and-forth systems for arbitrary quantifiers, in: Mathematical Logic in Latin America. A. Arruda et al. (eds.), North-Holland, Amsterdam. 1980. pp. 83–102.
E. Colban, Three Studies in Computational Semantics, dissertation, Dept. of Mathematics, Oslo University, 1991.
K. Doets, Axiomatizing universal properties of quantifiers, Journal of Symbolic Logic 56 (1991), pp. 901–905.
J.-E. Fenstad, P.-K. Halvorsen, T. Langholm, and J. Van Benthem, Situations, Language and Logic, Rei-del, Dordrecht, 1987.
J. Flum, Characterizing logics, in: Model-Theoretic Logics, J. Barwise and S. Feferman (eds.), Springer-Verlag, 1985, pp. 77–122.
L. Hella, Definability hierarchies of generalized quantifiers, Annals of Pure and Applied Logic 43 (1989), pp. 235–271.
L. Hella, and K. Luosto, Finite generation problem and n-ary quantifiers, this volume, 1995.
L. Hella, and G. Sandu, Partially ordered connectives and finite graphs, Quantifiers II. M. Krynicki, M. Mostowski, and L. W. Szczerba (eds), Kluwer Ac. Pub. 1995, pp. 79–88.
J. Higginbotham, and R. May, Questions, quantifiers and crossing, The Linguistic Review 1 (1981), pp. 41–79.
J. Hintikka, Quantifiers vs. quantification theory, Dialectica 27 (1973), pp. 329–358.
W. Van Der Hoek and M. De Rijke, Generalized quantifiers and modal logic,to appear in: Journal of Logic, Language and Information (1991).
E. Keenan. Unreducible n-ary quantification in natural language, in: Generalized Quantifiers: Linguistic and Logical Approaches, P. Gärdenfors (ed.), Reidel, Dordrecht, 1987, pp. 109–150.
E. Keenan, Beyond the Frege boundary, to appear in: Linguistics and Philosophy 15 (1990).
E. Keenan. Natural language and generalized quantifier prefixes, ms., to appear in: Journal of Symbolic Logic (1991).
E. Keenan and J. Stavi, A semantic characterization of natural language determiners, Linguistics and Philosophy 9 (1986), pp. 253–326. [First version from 1981.]
E. Keenan and L. Moss. Generalized quantifiers and the expressive power of natural language, in: Generalized Quantifiers in Natural Language, J. van Benthem and A. ter Meulen (eds.), Foris, Dordrecht, 1985, pp. 73–124.
J. Keisler. Logic with the quantifier “there exists uncountably many”, Annals of Mathematical Logic 1 (1970), pp. 1–93.
J. Keisler and W. Walkoe, The diversity of quantifier prefixes, Journal of Symbolic Logic 38 (1973), pp. 79–85.
P. Kolaitis and J. Väänänen, Generalized quantifiers and pebble games on finite structures, to appear in: Proceedings of the 7th IEEE Symposium on Logic in Computer Science, 1992.
M. Van Lambalgen, The axiomatization of randomness, Journal of Symbolic Logic 55 (1990), pp. 1143–1167.
M. Van Lambalgen, Natural deduction for generalized quantifiers, in: Generalized Quantifier Theory and Applications J. van der Does and J. van Eijck (eds.), Institute of Logic, Language and Information, Amsterdam, 1991, pp. 143–154. (To appear in Journal of Symbolic Logic.)
P. Lindström, First-order predicate logic with generalized quantifiers, Theoria 32 (1966), pp. 186–195.
P. Lindström, On extensions of elementary logic, Theoria 35 (1969), pp. 1–11.
J. Lukasiewicz, Aristotle’s Syllogistic, Clarendon Press, Oxford, 1957.
R. May. Interpreting logical form, Linguistics and Philosophy 12 (1989), pp. 387–435.
R. Montague, Formal Philosophy, R. M. Thomason (ed.), Yale U.P., New Haven, 1974.
A. Mostowski, On a generalization of quantifiers, Fund. Math. 44 (1957), pp. 12–36.
N. Rescher, Plurality-quantification,abstract, Journal of Symbolic Logic 27 (1962), pp. 373–374.
V. Sanchez, Natural Logic, Generalized Quantifiers and Categorial Grammar, dissertation, Institute for Logic, Language and Information, University of Amsterdam, 1990.
G. Sher. Ways of branching quantifiers, Linguistics and Philosophy 13 (1990), pp. 393–422.
G. Sher. Towards a general definition of partially-ordered (branching) generalized quantifiers. abstract for the 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala. 1991.
F. Sommers, The Logic of Natural Language, Clarendon, Oxford, 1982.
J. Tyhurst, Logical Forms for English Sentences, Ph.D. dissertation, Dept. of Linguistics, UCLA, 1990.
D. Westerstähl, Branching generalized quantifiers and natural language, in: Generalized Quantifiers. P. Gärdenfors (ed.), Reidel, Dordrecht, 1987, pp. 269–298.
D. Westerstâhl, Quantifiers in formal and natural languages, in: Handbook of Philosophical Logic, vol. IV, D. Gabbay and F. Guenthner (eds.), Reidel, Dordrecht, 1989, pp. 1–131.
D. Westerstâhl, Relativizatíon of quantifiers in finite models, in: Generalized Quantifier Theory and Applications, J. van der Does and J. van Eijck (eds.), Institute of Logic, Language and Information, Amsterdam, 1991, pp. 187–205.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Westerståhl, D. (1995). Quantifiers in Natural Language A Survey of Some Recent Work. In: Krynicki, M., Mostowski, M., Szczerba, L.W. (eds) Quantifiers: Logics, Models and Computation. Synthese Library, vol 248. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0522-6_11
Download citation
DOI: https://doi.org/10.1007/978-94-017-0522-6_11
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4539-3
Online ISBN: 978-94-017-0522-6
eBook Packages: Springer Book Archive