Skip to main content

A Dynamic Categorial Grammar

  • Conference paper
Formal Grammar (FG 2014)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8612))

Included in the following conference series:

Abstract

We present a compositional, dynamic categorial grammar for discourse analysis that captures the core insights of dynamic semantics: indefinites do not quantify but introduce discourse referents; definites are anaphoric to previously-mentioned discourse referents; discourse referents have their ‘lifespan’ limited by certain operators. The categorial grammar formalism we propose is strongly lexicalist and derives linguistic signs with a syntactic division of labor separating surface form from the underlying combinatorics. We argue that this formalism compares favorably with earlier efforts on several counts. It does not require any complicated or idiosyncratic machinery such as specialized assignments, states, or continuations, and encodes the requirement that a certain discourse referent be present in the discourse context using dependent types, rather than e.g. partial functions. The dynamic semantics itself is a straightforward extension of an underlying static semantics that is fully (hyper)intensional, avoiding many unsavory problems associated with standard possible worlds approaches.

Thanks are due to audiences at Ohio State University who critiqued early drafts of this work, especially to the joint linguistics/philosophy seminar in the spring of 2011 and the pragmatics reading group.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Beaver, D.I.: Presupposition and Assertion in Dynamic Semantics. CSLI Publications (2001)

    Google Scholar 

  2. Chierchia, G.: The Dynamics of Meaning: Anaphora, Presupposition, and the Theory of Grammar. University of Chicago Press (1995)

    Google Scholar 

  3. Church, A.: A formulation of the simple theory of types. Journal of Symbolic Logic 5(2), 56–68 (1940)

    Article  MathSciNet  Google Scholar 

  4. van Eijck, J., Unger, C.: Computational Semantics with Functional Programming. Cambridge University Press (2010)

    Google Scholar 

  5. Frege, G.: Über Sinn und Bedeutung. Zeitschrift für Philosophie und philosophische Kritik 100, 25–50 (1892), English translation titled On Sense and Reference in [7], pp. 56–78

    Google Scholar 

  6. Gallin, D.: Intensional and Higher Order Modal Logic, Mathematics Studies, vol. 19. North-Holland, Amsterdam (1975)

    Google Scholar 

  7. Geach, P., Black, M.: Translations from the Philosophical Writings of Gottlob Frege. Blackwell, Oxford (1952)

    Google Scholar 

  8. Groenendijk, J., Stokhof, M.: Dynamic Montague grammar. In: Kálmán, L., Pólos, L. (eds.) Papers from the Second Symposium on Logic and Language. Akadémiai Kiadó (1990)

    Google Scholar 

  9. Groenendijk, J., Stokhof, M.: Dynamic predicate logic. Linguistics and Philosophy 14(1), 39–100 (1991)

    Article  MATH  Google Scholar 

  10. de Groote, P.: Towards abstract categorial grammars. In: Association for Computational Linguistics, Proceedings of the 39th Annual Meeting and 10th Conference of the European Chapter (2001)

    Google Scholar 

  11. de Groote, P.: Towards a Montagovian account of dynamics. In: Proceedings of the 16th Conference on Semantics and Linguistic Theory (2006)

    Google Scholar 

  12. de Groote, P., Nederhof, M.-J. (eds.): Formal Grammar 2010/2011. LNCS, vol. 7395. Springer, Heidelberg (2012)

    MATH  Google Scholar 

  13. Heim, I.: The Semantics of Definite and Indefinite Noun Phrases. Ph.D. thesis, University of Massachusetts, Amherst (1982)

    Google Scholar 

  14. Henkin, L.: Completeness in the theory of types. Journal of Symbolic Logic 15(2), 81–91 (1950)

    Article  MATH  MathSciNet  Google Scholar 

  15. Kamp, H.: A theory of truth and semantic representation. In: Groenendijk, J., Janssen, T., Stokhof, M. (eds.) Formal Methods in the Study of Language. Mathematical Center, Amsterdam (1981)

    Google Scholar 

  16. Kanazawa, M.: Weak vs. strong readings of donkey sentences and monotonicity inference in a dynamic setting. Linguistics and Philosophy 17(2), 109–158 (1994)

    Article  Google Scholar 

  17. Kierstead, G., Martin, S.: A multistratal account of the projective Tagalog evidential ‘daw’. In: Proceedings of the 22nd Conference on Semantics and Linguistic Theory (2012)

    Google Scholar 

  18. Kripke, S.: Naming and Necessity. Harvard University Press (1980)

    Google Scholar 

  19. Martin, S.: Weak familiarity and anaphoric accessibility in dynamic semantics. In: de Groote, Nederhof (eds.) [12], pp. 287–306

    Google Scholar 

  20. Martin, S.: The Dynamics of Sense and Implicature. Ph.D. thesis, Ohio State University (2013)

    Google Scholar 

  21. Martin, S.: Supplemental update (In preparation), unpublished manuscript

    Google Scholar 

  22. Martin, S., Pollard, C.: A higher-order theory of presupposition. Studia Logica 100(4), 729–754 (2012)

    Article  MathSciNet  Google Scholar 

  23. Martin, S., Pollard, C.: Hyperintensional dynamic semantics: Analyzing definiteness with enriched contexts. In: de Groote, Nederhof (eds.) [12], pp. 114–129

    Google Scholar 

  24. Montague, R.: The proper treatment of quantification in ordinary English. In: Thomason, R. (ed.) Formal Philosophy: Selected Papers of Richard Montague, pp. 247–270. Yale University Press, New Haven (1974)

    Google Scholar 

  25. Muskens, R.: Combining Montague semantics and discourse representation theory. Linguistics and Philosophy 19(2), 143–186 (1996)

    Article  MathSciNet  Google Scholar 

  26. Muskens, R.: Separating syntax and combinatorics in categorial grammar. Research on Language and Computation 5(3), 267–285 (2007)

    Article  MathSciNet  Google Scholar 

  27. Oehrle, R.T.: Term-labeled categorial type systems. Linguistics and Philosophy 17(6), 633–678 (1994)

    Article  Google Scholar 

  28. Plummer, A., Pollard, C.: Agnostic possible worlds semantics. In: Béchet, D., Dikovsky, A. (eds.) LACL 2012. LNCS, vol. 7351, pp. 201–212. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  29. Pollard, C.: Hyperintensions. Journal of Logic and Computation 18(2), 257–282 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  30. Pollard, C.: Agnostic hyperintensional semantics. Synthese (in press)

    Google Scholar 

  31. Pollard, C., Yasavul, M.: Anaphoric clefts: the myth of exhaustivity (In preparation), to appear in Proceedings of CLS 2014 (2014)

    Google Scholar 

  32. Thomason, R.: A model theory for propositional attitudes. Linguistics and Philosophy 4(1), 47–70 (1980)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Martin, S., Pollard, C. (2014). A Dynamic Categorial Grammar. In: Morrill, G., Muskens, R., Osswald, R., Richter, F. (eds) Formal Grammar. FG 2014. Lecture Notes in Computer Science, vol 8612. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44121-3_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-44121-3_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-44120-6

  • Online ISBN: 978-3-662-44121-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics