Verb-Phrase Ellipsis in Dynamic Semantics

  • Jan van Eijck
  • Nissim Francez
Part of the Synthese Library book series (SYLI, volume 247)


In this paper, we study Verb-phrase Ellipsis (VPE) and show its relationship to presupposition and its failure. We represent VPE by means of a dynamic semantics approach, using an extended version of Dynamic Predicate Logic (Groenendijk and Stokhof, 1991) which includes local variables and procedures. We focus on the representation of the strict/sloppy ambiguity in connection with ellipsis constructs, which comes “for free” in a procedural context. We also provide independent justification for our representation of VPE in terms of procedure definitions and their invocations. The relationship of VPE and presupposition sheds some new light on the arguments about the question whether VPE is syntactic or semantic in nature, as well as on the relative order of meaning determination and presupposition determination.


Procedure Call Dynamic Semantic Anaphoric Reference Presupposition Failure Strict Reading 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Bouchez, O., van Eijck, J. and Istace, O.: 1993, “A strategy for dynamic inter¬pretation: a fragment and an implementation”. In: Krauwer, S., Moortgat, M. and des Tombe, L. (eds), Sixth Conference of the European Chap¬ter of the Association for Computational LinguisticsProceedings of the Conference, ACL, pp. 61–70.CrossRefGoogle Scholar
  2. Dalrymple, M.: 1991, “Against Reconstruction in Ellipsis”. Technical report, Palo Alto, CA: Xerox PARC.Google Scholar
  3. Dalrymple, M., Shieber, S.M. and Pereira, F.C.N.: 1991, “Ellipsis and higher-order unification”, Lingustics and Philosophy 14, pp. 399–452.CrossRefGoogle Scholar
  4. van Eijck, J.: 1993, “The dynamics of description”, Journal of Semantics 10, pp. 239–267.CrossRefGoogle Scholar
  5. van Eijck, J.: 1994a, “Axiomatizing dynamic predicate logic with quantified dynamic logic”. In: J. van Eijck and Visser, A. (eds), Logic and Informa¬tion Flow, Cambridge, MA: MIT Press, pp. 30–48.Google Scholar
  6. van Eijck, J.: 1994b, “Presupposition failure — a comedy of errors”. To appear in Methods of Logic in Computer Science. Google Scholar
  7. van Eijck, J. and Francez, N.: 1993, “Procedural semantics, verb-phrase ellipsis, and presupposition”. Technical Report CS-R9311, Amsterdam: CWI, February, 1993. Also in: Proceedings APLOC conference, Dec 1992, Ams¬terdam.Google Scholar
  8. Gardent, C: 1991, “Dynamic semantics and vp-ellipsis”. In: J. van Eijck (ed.), Logics in AI / European Workshop J ELIA ‘90 / Amsterdam, The Netherlands, September 1990 / Proceedings, Berlin: Springer Verlag. Lecture Notes in Artificial Intelligence 478, pp. 251–266.Google Scholar
  9. Gries, D.: 1981, The Science of Programming. Berlin: Springer Verlag.CrossRefGoogle Scholar
  10. Groenendijk, J. and Stokhof, M.: 1991, “Dynamic predicate logic”, Linguistics and Philosophy 14, pp. 39–100.CrossRefGoogle Scholar
  11. Hardt, D.: 1994, “Sense and reference in dynamic semantics”. In: Dekker, P. and Stokhof, M. (eds), Proceedings 9th Amsterdam Colloquium, Amster¬dam: ILLC, pp. 333–348.Google Scholar
  12. Kamp, H.: 1981, “A theory of truth and semantic representation”. In: Groenendijk, J. et al (eds), Formal Methods in the Study of Language. Amsterdam: Mathematisch Centrum.Google Scholar
  13. Lappin, S.: 1993, “The syntactic basis of ellipsis resolution”. In: Berman, S. and Hestvik, A. (eds), Proceedings of the Stuttgart Ellipsis Workshop, Arbeitspapiere des Sonderforschungsbereichs 340. Stuttgart: University of Stuttgart.Google Scholar
  14. Muskens, R.: 1991, “Anaphora and the logic of change”. In: J. van Eijck (ed.), Logics in AI / European Workshop JELIA ‘90 / Amsterdam, The Netherlands, September 1990 / Proceedings, Berlin: Springer Verlag. Lec¬ture Notes in Artificial Intelligence 478, pp. 412–427.Google Scholar
  15. Prüst, H.: 1991, “On Discourse Structuring, VP Anaphora and Gapping”. PhD thesis, Amsterdam: University of Amsterdam.Google Scholar
  16. Prüst, H., Scha, R. and van den Berg, M.: 1991, “A formal grammar tackling verp-phrase anaphora”. Technical Report CL-91–03, Amsterdam: ILLC.Google Scholar
  17. Sag, I.: 1976, “Deletion and Logical Form”. PhD thesis, Cambridge, MA: MIT.Google Scholar
  18. van der Sandt, R.A. and Geurts, B.: 1991, “Presupposition, anaphora, and lexical content”. Technical Report 185, IWBS, IBM Germany, 1991.Google Scholar
  19. Vermeulen, C.F.M.: 1994, “Explorations of the Dynamic Environment.” PhD thesis, Utrecht: OTS.Google Scholar
  20. Vermeulen, C.F.M.: “Merging without mystery”, Technical Report 70, Utrecht: University of Utrecht, Department of Philosophy, December 1991. To appear in the Journal of Philosophical Logic. Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1995

Authors and Affiliations

  • Jan van Eijck
    • 1
    • 2
  • Nissim Francez
    • 3
  1. 1.Center for Mathematic and Computer Science (CWI)AmsterdamThe Netherlands
  2. 2.OTS, Utrecht UniversityUtrechtThe Netherlands
  3. 3.Department of Computer ScienceThe TechnionHaifaIsrael

Personalised recommendations