×

Polyadic quantifiers. (English) Zbl 0684.03008

Some aspects of the theory of generalized quantifiers related to linguistics are considered. Syntactically, generalized polyadic quantifiers appear in expressions \(Qx_ 1...x_ n\cdot \phi (x_ 1,...,x_ n)\); this is interpreted set-theoretically as \(\| \phi \| \in Q\). The main goal of the paper is to discuss the role of polyadic quantification and to compare it with more traditional unary quantification. Some linguistic examples of polyadic quantifiers are given. Then some classes of quantifiers are introduced, such as logical (invariant under permutations of individuals), oriented, scopeless, monotone quantifiers etc. Special attention is payed to “Fregean” quantifiers which can be reduced to iterations of unary quantifiers. A lot of recent (and some new) results connecting different types of quantifiers are presented. For example, on a finite domain a binary quantifier is definable by a Boolean combination of iterations of logical unary quantifiers iff it is logical and right-oriented.
Reviewer: V.Shekhtman

MSC:

03B65 Logic of natural languages
03C80 Logic with extra quantifiers and operators
68Q45 Formal languages and automata
03B40 Combinatory logic and lambda calculus
03B99 General logic
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Bartsch, R., P. van Emde Boas and J. van Benthem, (eds.): to appear,Meaning and Contextual Expression, Foris, Dordrecht. · Zbl 0703.00007
[2] Barwise, J.: 1979, ?On Branching Quantifiers in English?,Journal of Philosophical Logic 8, 47?80. · Zbl 0399.03008 · doi:10.1007/BF00258419
[3] Barwise, J. and R. Cooper: 1981, ?Generalized Quantifiers and Natural Language?,Linguistics and Philosophy 4, 159?219. · Zbl 0473.03033 · doi:10.1007/BF00350139
[4] Bellert, I. and M. Zawadowski: 1987, ?Quantification Feature System as a Quasi-Order of Linguistic Quantifiers?, Department of Linguistics (McGill University)/Mathematical Institute (University of Warsaw).
[5] van Benthem, J.: 1984, ?Questions about Quantifiers?,Journal of Symbolic Logic 49, 443?66. · Zbl 0573.03008 · doi:10.2307/2274176
[6] van Benthem, J.: 1985,Modal Logic and Classical Logic, Bibliopolis/The Humanities Press, Napoli/Atlantic Heights. · Zbl 0639.03014
[7] van Benthem, J.: 1986,Essays in Logical Semantics, Reidel, Dordrecht. · Zbl 0619.03021
[8] van Benthem, J.: 1987, ?Categorial Grammar and Type Theory?, Report 87-07, Institute for Language, Logic and Information, University of Amsterdam. · Zbl 0708.03008
[9] van Benthem, J.: 1988, ?Logical Constants across Varying Types?, Report LP-88-05, Institute for the Study of Language, Logic and Information, University of Amsterdam. [To appear in theNotre Dame Journal of Formal Logic.]
[10] van Benthem, J.: 1989, ?The Fine-Structure of Categorial Semantics?, to appear in M. Rosner (ed.),Computational Linguistics and Formal Semantics. Lugano 1988, Cambridge University Press, Cambridge. · Zbl 0695.03015
[11] van der Does, J.: 1988, ?A Logic with Generalized Quantifiers for Naked Infinitive Reports?, Centre for Cognitive Science, University of Edinburgh.
[12] Dummett, M.: 1973,Frege. The Philosophy of Language, Duckworth, London.
[13] van Eyck, J.: 1987, ?Quantifiers?, in A. von Stechow and D. Wunderlich (eds.), to appear.
[14] Fenstad, J.-E., P. K. Halvorsen, T. Langholm and J. van Benthem: 1987,Situations, Language and Logic, Reidel, Dordrecht.
[15] Gabbay, D. and F. Guenthner (eds.): 1989,Handbook of Philosophical Logic, Vol. IV, Kluwer Academic Publishers, Dordrecht.
[16] Giirdenfors, P. (ed.): 1987, Generalized Quantifiers: Linguistic and Logical Approaches, Reidel, Dordrecht.
[17] Groenendijk, J., T. Janssen and M. Stokhof (eds.), 1984,Truth, Interpretation and Information, Foris, Dordrecht.
[18] Groenendijk, J., D. de Jongh and M. Stokhof (eds.), 1987a,Foundations of Pragmatics and Lexical Semantics, Foris, Dordrecht.
[19] Groenendijk, J., D. de Jongh and M. Stokhof (eds.): 1987b,Studies in Discourse Representation Theory and the Theory of Generalized Quantifiers, Foris, Dordrecht.
[20] Groenendijk, J., M. Stokhof and F. Veltman (eds.): 1987*,Proceedings of the Sixth Amsterdam Colloquium. April 1987, Institute for Language, Logic and Information, University of Amsterdam.
[21] Harrington, L., M. Morley, A. Scedrov and S. Simpson (eds.): 1985,Harvey Friedman’s Research in the Foundations of Mathematics, North-Holland, Amsterdam. · Zbl 0588.03001
[22] Higginbotham, J. and R. May: 1981, ?Questions, Quantifiers and Crossing?,The Linguistic Review 1, 41?79. · doi:10.1515/tlir.1981.1.1.41
[23] Keenan, E.: 1987a, ?Semantic Case Theory?, in J. Groenendijk et al. (eds.), 1987*, 109?32. [Also in R Bartsch et al. (eds.), to appear.]
[24] Keenan, E.: 1987b, ?Unreduciblen-ary Quantifiers in Natural Language?, in P. Gärdenfors (ed.), pp. 109?50. · Zbl 0722.03024
[25] Keenan, E. and Y. Stavi: 1986, ?A Semantic Characterization of Natural Language Determiners?,Linguistics and Philosophy 9, 253?326. [First version from 1981.] · Zbl 0633.03017 · doi:10.1007/BF00630273
[26] Lambalgen, M. van: 1988, ?Random Sequences and Generalized Quantifiers?, Institute for Language, Logic and Information, University of Amsterdam.
[27] Lindström, P.: 1966, ?First-Order Predicate Logic with Generalized Quantifiers?,Theoria 32, 186?95. · Zbl 1230.03072
[28] Löbner, S.: 1987, ?Quantification as a Major Module of Natural Language Semantics?, in J. Groenendijk et al. (eds.), 1981a, pp. 53?85.
[29] May, R.: 1989, ?Interpreting Logical Form?,Linguistics and Philosophy 12, this issue, 387?435. · doi:10.1007/BF00632471
[30] de Mey, J.: 1987, ?Dyadic Quantifiers?, Instituut voor Algemene Taalwetenschap, Rijksuniversiteit, Groningen.
[31] Mostowski, A.: 1957, ?On a Generalization of Quantifiers,Fundamenta Mathematicae 44, 12?36. · Zbl 0078.24401
[32] Scha, R.: 1984, ?Distributive, Collective and Cumulative Quantification?, in J. Groenendijk et al. (eds.), 131?58.
[33] Sher, G.: 1988, ?Ways of Branching Quantifiers?, Department of Linguistics, Columbia University.
[34] von Stechow A. and D. Wunderlich (eds.): to appear,Handbook of Semantics, De Gruyter, Berlin.
[35] Steinhorn, C.: 1985, ?Borel Structures and Measure and Category Logics?, in L. Harrington et al. (eds.), pp. 579?96.
[36] Westerståhl, D.: 1986, ?Quantifiers in Formal and Natural Languages?, Report 86-55, Center for the Study of Language and Information, Stanford. [In D. Gabbay and F. Guenthner (eds.), 1989, 1?131.
[37] Westerståhl, D.: 1986a, ?On the Order between Quantifiers?, inLogic and Abstraction. Essays dedicated to Per Lindström on his Fiftieth Birthday, Acta Philosophica Gothoburgiensia I, University of G6teborg, 273?85.
[38] Zimmermann, E.: 1987, ?Transparent Adverbs and Scopeless Quantifiers?, in J. Groenendijk et al. (eds.), 1987a, pp. 81?99.
[39] Zwarts, F.: 1986,Categoriale Grammatica en Algebraische Semantiek, Dissertation, Nederlands Instituut, Rijksuniversiteit, Groningen.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.