Find out how to access preview-only content
The Computational Complexity of Quantified Reciprocals
- Jakub Szymanik
- … show all 1 hide
Abstract
We study the computational complexity of reciprocal sentences with quantified antecedents. We observe a computational dichotomy between different interpretations of reciprocity, and shed some light on the status of the so-called Strong Meaning Hypothesis.
- Heim, I., Lasnik, H., May, R. (1991) Reciprocity and plurality. Linguistic Inquiry 22: pp. 63-101
- Beck, S. (2000) The semantics of different: Comparison operator and relational adjective. Linguistics and Philosophy 23: pp. 101-139 CrossRef
- Sabato, S., Winter, Y.: From semantic restrictions to reciprocal meanings. In: Proceedings of FG-MOL 2005. CSLI Publications (2005)
- Dalrymple, M., Kanazawa, M., Kim, Y., Mchombo, S., Peters, S. (1998) Reciprocal expressions and the concept of reciprocity. Linguistics and Philosophy 21: pp. 159-210 CrossRef
- Mostowski, A. (1957) On a generalization of quantifiers. Fundamenta Mathematicae 44: pp. 12-36
- Lindström, P. (1966) First order predicate logic with generalized quantifiers. Theoria 32: pp. 186-195
- Barwise, J., Cooper, R. (1981) Generalized quantifiers and natural language. Linguistics and Philosophy 4: pp. 159-219 CrossRef
- Peters, S., Westerståhl, D. (2006) Quantifiers in Language and Logic. Clarendon Press, Oxford
- Winter, Y. (2001) Flexibility principles in Boolean semantics. The MIT Press, London
- Papadimitriou, C.H. (1993) Computational Complexity. Addison-Wesley, Reading
- Blass, A., Gurevich, Y. (1986) Henkin quantifiers and complete problems. Annals of Pure and Applied Logic 32: pp. 1-16 CrossRef
- Mostowski, M., Wojtyniak, D. (2004) Computational complexity of the semantics of some natural language constructions. Annals of Pure and Applied Logic 127: pp. 219-227 CrossRef
- Sevenster, M.: Branches of imperfect information: logic, games, and computation. PhD thesis, Universiteit van Amsterdam (2006)
- Otto, M. (1997) Bounded Variable Logics and Counting. Springer, Heidelberg
- Grädel, E., Gurevich, Y. (1998) Metafinite model theory. Information and Computation 140: pp. 26-81 CrossRef
- Mostowski, M., Szymanik, J. (2007) Computational complexity of some Ramsey quantifiers in finite models. The Bulletin of Symbolic Logic 13: pp. 281-282
- Väänänen, J. (1997) Unary quantifiers on finite models. Journal of Logic, Language and Information 6: pp. 275-304 CrossRef
- Hella, L., Väänänen, J., Westerståhl, D. (1997) Definability of polyadic lifts of generalized quantifiers. Journal of Logic, Language and Information 6: pp. 305-335 CrossRef
- Frege, G. (1892) Über Sinn und Bedeutung. Zeitschrift für Philosophie und philosophische Kritik 100: pp. 25-50
- Moschovakis, Y. (2006) A logical calculus of meaning and synonymy. Linguistics and Philosophy 29: pp. 27-89 CrossRef
- Cherniak, C. (1981) Minimal rationality. Mind 90: pp. 161-183 CrossRef
- Levesque, H.J. (1988) Logic and the complexity of reasoning. Journal of Philosophical Logic 17: pp. 355-389 CrossRef
- Rooij, I. (2008) The tractable cognition thesis. Cognitive Science: A Multidisciplinary Journal 32: pp. 939-984 CrossRef
- Ristad, E.S. (1993) The Language Complexity Game (Artificial Intelligence). The MIT Press, Cambridge
- Mostowski, M., Szymanik, J.: Semantic bounds for everyday language. Technical Report ILLC Preprint Series, PP-2006-40, Institute for Logic, Language and Computation, University of Amsterdam (2005) (to appear in Semiotica)
- Frixione, M. (2001) Tractable competence. Minds and Machines 11: pp. 379-397 CrossRef
- Mcmillan, C.T., Clark, R., Moore, P., Devita, C., Grossman, M. (2005) Neural basis for generalized quantifiers comprehension. Neuropsychologia 43: pp. 1729-1737 CrossRef
- Szymanik, J. (2007) A comment on a neuroimaging study of natural language quantifier comprehension. Neuropsychologia 45: pp. 2158-2160 CrossRef
- Title
- The Computational Complexity of Quantified Reciprocals
- Book Title
- Logic, Language, and Computation
- Book Subtitle
- 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers
- Pages
- pp 139-152
- Copyright
- 2009
- DOI
- 10.1007/978-3-642-00665-4_12
- Print ISBN
- 978-3-642-00664-7
- Online ISBN
- 978-3-642-00665-4
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 5422
- Series ISSN
- 0302-9743
- Publisher
- Springer Berlin Heidelberg
- Copyright Holder
- Springer Berlin Heidelberg
- Additional Links
- Topics
- Keywords
-
- Reciprocal expressions
- computational complexity
- generalized quantifiers
- Strong Meaning Hypothesis
- Industry Sectors
- eBook Packages
- Editors
-
-
Peter Bosch
(19)
-
David Gabelaia
(20)
-
Jérôme Lang
(21)
-
Peter Bosch
- Editor Affiliations
-
- 19. Institut für Kognitionswissenschaft, Universität Osnabrück
- 20. Razmadze Mathematical Institute
- 21. LAMSADE, Université Paris-Dauphine
- Authors
-
-
Jakub Szymanik
(22)
(23)
-
Jakub Szymanik
- Author Affiliations
-
- 22. Institute for Logic, Language and Computation, University of Amsterdam, Valckenierstraat 65, 1018 XE, Amsterdam, The Netherlands
- 23. Institute of Philosophy, University of Warsaw,
Continue reading...
To view the rest of this content please follow the download PDF link above.