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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Beaver, D.I.: Presupposition and Assertion in Dynamic Semantics. CSLI Publications (2001)
Chierchia, G.: The Dynamics of Meaning: Anaphora, Presupposition, and the Theory of Grammar. University of Chicago Press (1995)
Church, A.: A formulation of the simple theory of types. Journal of Symbolic Logic 5(2), 56–68 (1940)
van Eijck, J., Unger, C.: Computational Semantics with Functional Programming. Cambridge University Press (2010)
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
Gallin, D.: Intensional and Higher Order Modal Logic, Mathematics Studies, vol. 19. North-Holland, Amsterdam (1975)
Geach, P., Black, M.: Translations from the Philosophical Writings of Gottlob Frege. Blackwell, Oxford (1952)
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)
Groenendijk, J., Stokhof, M.: Dynamic predicate logic. Linguistics and Philosophy 14(1), 39–100 (1991)
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)
de Groote, P.: Towards a Montagovian account of dynamics. In: Proceedings of the 16th Conference on Semantics and Linguistic Theory (2006)
de Groote, P., Nederhof, M.-J. (eds.): Formal Grammar 2010/2011. LNCS, vol. 7395. Springer, Heidelberg (2012)
Heim, I.: The Semantics of Definite and Indefinite Noun Phrases. Ph.D. thesis, University of Massachusetts, Amherst (1982)
Henkin, L.: Completeness in the theory of types. Journal of Symbolic Logic 15(2), 81–91 (1950)
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)
Kanazawa, M.: Weak vs. strong readings of donkey sentences and monotonicity inference in a dynamic setting. Linguistics and Philosophy 17(2), 109–158 (1994)
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)
Kripke, S.: Naming and Necessity. Harvard University Press (1980)
Martin, S.: Weak familiarity and anaphoric accessibility in dynamic semantics. In: de Groote, Nederhof (eds.) [12], pp. 287–306
Martin, S.: The Dynamics of Sense and Implicature. Ph.D. thesis, Ohio State University (2013)
Martin, S.: Supplemental update (In preparation), unpublished manuscript
Martin, S., Pollard, C.: A higher-order theory of presupposition. Studia Logica 100(4), 729–754 (2012)
Martin, S., Pollard, C.: Hyperintensional dynamic semantics: Analyzing definiteness with enriched contexts. In: de Groote, Nederhof (eds.) [12], pp. 114–129
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)
Muskens, R.: Combining Montague semantics and discourse representation theory. Linguistics and Philosophy 19(2), 143–186 (1996)
Muskens, R.: Separating syntax and combinatorics in categorial grammar. Research on Language and Computation 5(3), 267–285 (2007)
Oehrle, R.T.: Term-labeled categorial type systems. Linguistics and Philosophy 17(6), 633–678 (1994)
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)
Pollard, C.: Hyperintensions. Journal of Logic and Computation 18(2), 257–282 (2008)
Pollard, C.: Agnostic hyperintensional semantics. Synthese (in press)
Pollard, C., Yasavul, M.: Anaphoric clefts: the myth of exhaustivity (In preparation), to appear in Proceedings of CLS 2014 (2014)
Thomason, R.: A model theory for propositional attitudes. Linguistics and Philosophy 4(1), 47–70 (1980)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)