Abstract
This paper proposes that the meanings of some natural language expressions should be thought of as functions on their own continuations. Continuations are a well-established analytic tool in the theory of programming language semantics; in brief, a continuation is the entire default future of a computation. I show how a continuation-based grammar can unify several aspects of natural language quantification in a new way: merely stating the truth conditions for quantificational expressions in terms of continuations automatically accounts for scope displacement and scope ambiguity. To prove this claim, I exhibit a simple finite context-free grammar with a strictly compositional semantics in which quantificational NPs are interpreted in situ but take semantic scope over larger constituents. There is no Quantifier Raising (nor any use of a level of Logical Form distinct from overt syntax), no Cooper Storage (or similar mechanisms used in many recent HPSG, Categorial, or Type-logical treatments), and no need for type-shifting (as in Hendriks' Flexible Types account). Continuations also provide a natural account of generalized coordination that does not require either type-shifting or type polymorphism. Compositionality issues are discussed in some detail.
Similar content being viewed by others
REFERENCES
Barker, C.: 2001, 'Integrity: A Syntactic Constraint on Quantificational Scoping', in K. Megerdoomian and L. A. Bar-el (eds.), Proceedings of WCCFL 20, pp. 101–114. Cascadilla Press, Somerville, Mass.
Barwise, J. and R. Cooper: 1981, 'Generalized Quantifiers in Natural Language', Linguistics and Philosophy 4, 159–200.
Chierchia, G.: 1995, Dynamics of Meaning, the University of Chicago Press, Chicago.
Chierchia, G. and S. McConnell-Ginet: 1990, Introduction to Formal Semantics, MIT Press, Cambridge, Mass.
Crouch, R.: 1999, 'Ellipsis and Glue Languages', in S. Lappin and E. Benmamoun (eds.), Fragments: Studies in Ellipsis and Gapping, pp. 32–67. Oxford University Press, Oxford.
Dalrymple, M., J. Lamping, F. Pereira, and V. Saraswat: 1997, 'Quantifiers, Anaphora, and Intensionality', Journal of Logic, Language, and Information 6, 219–273.
Danvy, O. and C. A. Talcott: 1998, 'Introduction (to a special issue on continuations)', Higher-Order and Symbolic Computation 11(2), 115–116.
Dever, J.: 1999, 'Compositionality as Methodology', Linguistics and Philosophy 22, 311–326.
Egli, U. and K. Heusinger (eds.): 1995, Choice Functions in Natural Language Semantics, Arbeitspapier Nr. 71, Fachgruppe Sprachwissenschaft, Universität Konstanz.
de Groote, P.: 2001, 'Continuations, Type Raising, and Classical Logic', in R. van Rooy and M. Stokhof (eds.), Proceedings of the Thirteenth Amsterdam Colloquium, pp. 97–101. Institute for Logic, Language and Computation, Universiteit van Amsterdam.
Heim, I. and A. Kratzer: 1998, Semantics in Generative Grammar, Blackwell, Oxford.
Hendriks, H.: 1988, 'Type Change in Semantics: The Scope of Quantification and Coordination', in E. Klein and J. van Benthem (eds.), Categories, Polymorphism and Unification, pp. 96–119. ITLI, Amsterdam.
Hendriks, H.: 1993, Studied Flexibility, ILLC Dissertation Series, Amsterdam.
Jacobson, P.: 1999, 'Towards a Variable Free Semantics', Linguistics and Philosophy 22, 117–184.
Janssen, T.: 1986, Foundations and Applications of Montague Grammar, Part I: Philosophy, Framework, Computer Science (CWI Tract 19), Center of Mathematics and Computer Science, Amsterdam.
Keenan, E.: 1987, 'Semantic Case Theory', in J. Groenendijk, M. Stokhof, and P. Veltmann (eds.), Proceedings of the 6th Amsterdam Colloquium, pp. 109–132. Institute for Logic, Language and Computation, Universiteit van Amsterdam.
Kelsey, R., W. Clinger, and J. Rees (eds.): 1998, 'The Revised5 Report on the Algorithmic Language Scheme', Higher-Order and Symbolic Computation 11, 7–105.
Kratzer, A.: 1998, 'Scope or Pseudoscope? Are There Wide-Scope Indefinites?', in S. Rothstein (ed.), Events and Grammar, pp. 163–196. Kluwer, Dordrecht.
May, R.: 1985, Logical Form: Its Structure and Derivation, MIT Press, Cambridge, Mass.
Meyer, A. R. and M. Wand: 1985, 'Continuation Semantics in Typed Lambda-Calculi (summary)', in R. Parikh (ed.), Logics of Programs-Proceedings, pp. 219–224. Springer-Verlag, New York.
Montague, R.: 1973, 'The Proper Treatment of Quantification in English', in J. Hintikka, J. Moravcsik, and P. Suppes (eds.), Approaches to Natural Language: Proceedings of the 1970 Stanford Workshop on Grammar and Semantics, pp. 221–242. Reidel, Dordrecht. Also in R. Thomason (ed.), Formal Philosophy: Selected Papers of Richard Montague, pp. 247–270. Yale University Press, New Haven, Conn., 1974.
Partee, B. H.: 1987, 'Noun Phrase Interpretation and Type-Shifting Principles', in J. Groenendijk, D. de Jongh, and M. Stokhof (eds.), Studies in Discourse Representation Theory and the Theory of Generalized Quantifiers, pp. 115–143. Foris, Dordrecht.
Partee, B. H. and M. Rooth: 1983, 'Generalized Conjunction and Type Ambiguity', in R. Bäuerle, C. Schwarze, and A. von Stechow (eds.), Meaning, Use, and Interpretation of Language, pp. 361–383. Walter de Gruyter, Berlin.
Pelletier, F. J.: 1994, 'The Principle of Semantic Compositionality', Topoi 13, 11–24.
Plotkin, G. D.: 1975, 'Call-by-Name, Call-by-Value and the Lambda-Calculus', Theoretical Computer Science 1, 125–159.
Reinhart, T.: 1979, 'Syntactic Domains for Semantic Rules', in F. Guenthner and S. J. Schmidt (eds.), Formal Semantics and Pragmatics for Natural Language, pp. 107–130. Reidel, Dordrecht.
Reynolds, J. C.: 1993, 'The Discoveries of Continuations', Lisp and Symbolic Computation 6, 233–247.
Shan, C-C.: 2002, 'A Continuation Semantics of Interrogatives that Accounts for Baker's Ambiguity', in B. Jackson (ed.), Proceedings of SALT XII, Cornell University Press, Ithaca, N.Y.
Steedman, M.: 2000, The Syntactic Process, MIT Press, Cambridge, Mass.
Westerstå hl, D.: 1998, 'On Mathematical Proofs of the Vacuity of Compositionality', Linguistics and Philosophy 21, 635–643.
Zadrozny, W.: 1994, 'From Compositional to Systematic Semantics', Linguistics and Philosophy 17, 329–342.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Barker, C. Continuations and the Nature of Quantification. Natural Language Semantics 10, 211–242 (2002). https://doi.org/10.1023/A:1022183511876
Issue Date:
DOI: https://doi.org/10.1023/A:1022183511876