Abstract
We present a new method for characterizing the interpretive possibilities generated by elliptical constructions in natural language. Unlike previous analyses, which postulate ambiguity of interpretation or derivation in the full clause source of the ellipsis, our analysis requires no such hidden ambiguity. Further, the analysis follows relatively directly from an abstract statement of the ellipsis interpretation problem. It predicts correctly a wide range of interactions between ellipsis and other semantic phenomena such as quantifier scope and bound anaphora. Finally, although the analysis itself is stated nonprocedurally, it admits of a direct computational method for generating interpretations.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
van Benthem, Johan: 1990, ‘Categorial Grammar and Type Theory’,Journal of Philosophical Logic 19(2), 115–168.
Chierchia, Gennaro: 1983, ‘Outline of a Semantic Theory of (Obligatory) Control’, in Michael Barlow, Daniel Flickinger, and Michael Wescoat (eds.),Proceedings of the West Coast Conference on Formal Linguistics 2, pp. 19–31, Stanford Linguistics Association, Stanford University.
Chierchia, Gennaro: 1984, ‘Anaphoric Properties of Infinitives and Gerunds’, in Mark Cobler, Susannah MacKaye, and Michael Wescoat (eds.),Proceedings of the West Coast Conference on Formal Linguistics 3, pp. 28–39, Stanford Linguistics Association, Stanford University.
Chierchia, Gennaro: 1988, ‘Dynamic Generalized Quantifiers and Donkey Anaphora’, in M. Krifka (ed.),Proceedings of the 1988 Tübingen Conference, Seminar für Natürliche-Sprachiche Systeme tier Universität Tübingen, November.
Cooper, Robin: 1983,Quantification and Syntactic Theory, Vol. 21 ofSynthese Language Library, D. Reidel, Dordrecht.
Dahl, Östen: 1972. ‘On So-called ‘Sloppy Identity’, inGothenburg Papers in Theoretical Linguistics, Vol. 11, University of Göteborg.
Dahl, Osten: 1974, ‘How to Open a Sentence: Abstraction in Natural Language’, inLogical Grammar Reports, No. 12. University of Göteborg.
Fiengo, Robert and May, Robert: 1990, ‘Anaphora and Ellipsis’, MS, City University of New York and University of California, Irvine.
Friedman, Harvey: 1975, ‘Equality between Functionals’, in R. Parikh (ed.),Lecture Notes in Mathematics 453, pp. 22–37. Springer-Verlag, Berlin. Germany.
Gawron, Mark and Peters, Stanley: 1990,Anaphora and Quantification in Situation Semantics, CSLI/University of Chicago Press, Stanford University. CSLI Lecture Notes, Number 19.
Gazdar, Gerald, Klein, Ewan, Pullum, Geoffrey K., and Sag, Ivan A.: 1985,Generalized Phrase Structure Grammar, Harvard University Press, Cambridge, MA.
Groenendijk, J. and Stockhof, M.: 1987. ‘Dynamic Montague Grammar’, Paper presented at the Workshop on Discourse Representation Theory, Stuttgart, West Germany, December.
Haïk, Isabelle: 1985,The Syntax of Operators, Ph.D. thesis, MIT.
Haïk, Isabelle: 1987, ‘Bound VPs that Need to Be’,Linguistics and Philosophy 10, 503–530.
Hankamer, Jorge and Sag, Ivan A.: 1976, ‘Deep and Surface Anaphora’,Linguistic Inquiry 7(3), 391–428.
Heim, Irene: 1982,The Semantics of Definite and Indenite Noun Phrases, Ph.D. thesis, University of Massachusetts, Amherst.
Hellan, Lars: 1988,Anaphora in Norwegian and the Theory of Grammar, Foris Publications, Dordrecht.
Hindley, J. Roger and Seldin, Jonathon P.: 1986,Introduction to Combinatory and λ-Calculus, Cambridge University Press, Cambridge, England.
Hirschberg, Julia and Ward, Gregory: 1991, ‘Accent and Bound Anaphora’,Cognitive Linguistics 2(2), 101–121.
Hirshbühler, Paul: 1982, ‘VP Deletion and Across-the-Board Quantifier Scope’, in James Pustejovsky and Peter Sells (eds.),Proceedings of NELS 12. GLSA, University of Massachusetts, Amherst.
Hobbs, Jerry R. and Shieber, Stuart M.: 1987, ‘An Algorithm for Generating Quantifier Scopings’,Computational Linguistics 13, 47–63.
Huet, Gérard: 1975, ‘A Unification Algorithm for Typed λ-Calculus’,Theoretical Computer Science 1, 27–57.
Huet, Gérard and Lang, Bernard: 1978, ‘Proving and Applying Program Transformations Expressed with Second-Order Patterns’,Acta Informatica 11(1), 31–55.
Jackendoff, Ray S.: 1972,Semantic Interpretation in Generative Grammar, MIT Press, Cambridge, MA.
Kamp, Hans: ‘A Theory of Truth and Semantic Representation’, in Jeroen Groenendijk, Theo Janssen, and Martin Stokhof (eds.).Formal Methods in the Study of Language, pp. 277–321, Mathematical Centre, Amsterdam.
Kitagawa, Yoshihisa: 1991, ‘Copying identity’,Natural Language and Linguistic Theory, to appear.
Lambek, Joachim: 1980, ‘From λ-Calculus to Cartesian Closed Categories’, in J. P. Seldin and J. R. Hindley (eds.),To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, (eds.), 375–402, Academic Press, London.
Lappin, Shalom: 1984, ‘VP Anaphora, Quantifier Scope, and Logical Form’,Linguistic Analysis 13(4), 273–315.
Pereira, Fernando C. N.: 1990, ‘Categoriel Semantics and Scoping’,Computational Linguistics 16(1), 1–10.
Pulman, S. G.: 1988, ‘A Contextual Reasoning and Cooperative Response Framework for the Core Language Engine’, Internal report, SRI Cambridge, Cambridge, England.
Reinhart, Tanya: 1983,Anaphora and Semantic Interpretation, University of Chicago Press, Chicago.
Roberts, Craige: 1987,Modal Subordination, Anaphora, and Distributivity, Ph.D. thesis, University of Massachusetts, Amherst.
Sag, Ivan A.: 1976,Deletion and Logical Form, Ph.D. thesis, MIT.
Scheibe, Traugott: 1973, ‘Zum Problem der grammatisch relevanten Identität’, in F. Kiefer and N. Ruwet (eds.),Generative Grammar in Europe, pp. 482–527. D. Reidel Publishing Company, Dordrecht.
Schubert, Lenhart K. and Pelletier, Francis Jeffry: 1982, ‘From English to Logic: Contextfree Computation of ‘Conventional’ Logical Translations’,American Journal of Computational Linguistics 10, 165–76. Reprinted in Grosz et al., 1986.
Sells, Peter, Zaenen, Annie, and Zec, Draga: 1987, ‘Refiexivization Variation: Relations Between Syntax, Semantics, and Lexical Structure’, in Masayo Iida, Stephen Wechsler, and Draga Zee (eds.),Working Papers in Grammatical Theory and Discourse Structure, pp. 169–238, CSLI/University of Chicago Press, Stanford University, CSLI Lecture Notes, Number 11.
Steedman, Mark J.: 1990, ‘Gapping as Constituent Coordination’,Linguistics and Philosophy 13(2), 207–263.
Webber, Bonnie Lynn: 1978,A Formal Approach to Discourse Anaphora, Ph.D. thesis, Harvard University.
Wescoat, Michael: 1989, ‘Sloppy Readings with Embedded Antecedents’, MS, Stanford University.
Williams, Edwin: 1977, ‘Discourse and Logical Form’,Linguistic Inquiry 8(1), 101–139.
Zec, Draga: 1987, ‘On Obligatory Control in Clausal Complements’, in Masayo Iida, Stephen Wechsler, and Draga Zec (eds.),Working Papers in Grammatical Theory and Discourse Structure, pp. 139–168. CSLI/University of Chicago Press, Stanford University. CSLI Lecture Notes, Number 11.
Sources of attested examples
Chomsky, Noam: 1982,Noam Chomsky on the Generative Enterprise, Foris Publications, Dordrecht.
Mohanan, K. P.: 1983, ‘Functional and Anaphoric Control’,Linguistic Inquiry 14(4), 641–74.
Rettic, John: 1990, ‘Yeltsin Wants Russia to Go it Alone’,The Guardian, 23 May.
Roeper, R.: 1990,Chicago Sun-Times, 8 January, cited by James McCawley, ‘1990 Linguistic Flea Circus’, unpublished manuscript.
Shieber, Stuart M.: 1989,Parsing and Type Inference for Natural and Computer Languages, Ph.D. thesis, Stanford University.
Author information
Authors and Affiliations
Additional information
We would like to thank the following people for helpful discussion: Hiyan Alshawi, Sam Bayer, Joan Bresnan, Mark Gawron, Kris Halvorsen, Dan Hardt, Julia Hirschberg, David Israel, Mark Johnson, Ron Kaplan, Lauri Karttunen, Shalom Lappin, Richard Larson, Peter Ludlow, John Maxwell, Richard Oehrle, Stanley Peters, Hub Prust, Steve Pulman, Mats Rooth, Ivan Sag, Peter Sells, Gregory Ward, Michael Wescoat, Annie Zaenen, Draga Zee, and two anonymous reviewers. The written comments alone that we received prior to publication ran to well over 50 pages, longer, in fact, than the paper itself. We regret that we could not include discussion of all the important issues that they raised.
Rights and permissions
About this article
Cite this article
Dalrymple, M., Shieber, S.M. & Pereira, F.C.N. Ellipsis and higher-order unification. Linguist Philos 14, 399–452 (1991). https://doi.org/10.1007/BF00630923
Issue Date:
DOI: https://doi.org/10.1007/BF00630923