Abstract
Different scope-taking mechanisms have been proposed for capturing quantifier scope alternation, including covert operations of quantifier movement, type-changing rules, storage devices. In this paper we propose a new scope-taking system with dependent types and continuations. The key elements of our formal framework are: (i) richly typed system; (ii) contexts for determining the relative scoping of quantifiers; (iii) recursive procedure by which the interpretation is computed and the dependently typed context is built along the surface structure tree. The main advantage of our proposal is that it does not overgenerate—it produces all and only the attested readings for the defined fragment. The core idea behind the proposal is that certain lexical elements are responsible for inverting scope: relational nouns and locative prepositions. This allows us to provide a principled solution to the question of why certain constructions missing such elements block inverse scope.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
In [19], Partee and Borschev emphasize the permeability of the boundary between sortal and relational nouns, and the fact that sortal nouns can often be coerced to undergo ‘sortal-to-relational’ shifts, as in uses of sortal nouns with an overt argument, e.g. book expresses a sortal concept but its relational use can be coerced in books of ....
References
Barker, C.: Continuations and the nature of quantification. Nat. Lang. Semant. 10(3), 211–242 (2002)
Barker, C., Shan, C.-C.: Continuations and Natural Language, vol. 53. Oxford Studies in Theoretical Linguistics (2014)
Bruening, B.: QR obeys superiority: frozen scope and ACD. Linguist. Inq. 32(2), 233–273 (2001)
Bruening, B.: Double object constructions disguised as prepositional datives. Linguist. Inq. 41(2), 287–305 (2010)
Cooper, R.: Quantification and Semantic Theory. Reidel, Dordrecht (1983)
Grudzińska, J., Zawadowski, M.: Inverse linking: taking scope with dependent types. In: Proceedings of the 21st Amsterdam Colloquium, pp. 285–295 (2017)
Grudzinska, J., Zawadowski, M.: Scope ambiguities, monads and strengths. J. Lang. Model. 5(2), 179–227 (2017)
Grudzinska, J., Zawadowski, M.: Continuation semantics for multi-quantifier sentences: operation-based approaches. Fundam. Inform. 164(4), 327–344 (2019)
Grudzińska, J., Zawadowski, M.: Inverse linking, possessive weak definites and Haddock descriptions: a unified dependent type account. J. Log. Lang. Inf.. 1–22 (2019)
Harley, H.: Possession and the double object construction. Linguist. Var. Yearb. 2(1), 31–70 (2002)
Harley, H., Jung, H.K.: In support of the phave analysis of the double object construction. Linguist. Inq. 46(4), 703–730 (2015)
Hendriks, H.: Studied flexibility: categories and types in syntax and semantics. Institute for Logic, Language and Computation (1993)
Makkai, M.: First order logic with dependent sorts, with applications to category theory. http://www.math.mcgill.ca/makkai (1995)
Marantz, A: Implications of asymmetries in double object constructions. In: Theoretical Aspects of Bantu Grammar, pp. 113–150. CSLI (1993)
Martin-Löf, P.: An intuitionistic theory of types: predicative part. Stud. Log. Found. Math. 80, 73–118 (1975)
Martin-Löf, P., Sambin, G.: Intuitionistic type theory, vol. 9. Bibliopolis Napoli (1984)
May, R: The grammar of quantification. Ph.D. thesis, Massachusetts Institute of Technology, 1978
May, R.: Logical Form: Its Structure and Derivation, vol. 12. MIT Press (1985)
Partee, B.H., Borschev, V.: Sortal, relational, and functional interpretations of nouns and Russian container constructions. J. Semant. 29(4), 445–486 (2012)
Pesetsky, D.M.: Zero Syntax: Experiencers and Cascades. MIT Press (1996)
Zimmermann, M.: Boys buying two sausages each: on the syntax and semantics of distance-distributivity. Ph.D. thesis, Netherlands Graduate School of Linguistics, 2002
Acknowledgements
This article is funded by the National Science Center on the basis of decision DEC-2016/23/B/HS1/00734. The authors would like to thank the anonymous reviewers for valuable comments.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Grudzińska, J., Zawadowski, M. (2020). A Scope-Taking System with Dependent Types and Continuations. In: Loukanova, R. (eds) Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018). Studies in Computational Intelligence, vol 860. Springer, Cham. https://doi.org/10.1007/978-3-030-30077-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-030-30077-7_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-30076-0
Online ISBN: 978-3-030-30077-7
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)