Abstract
We present a dynamic semantic theory formalized in higher order logic that synthesizes aspects of de Groote’s continuation-based dynamics and Pollard’s hyperintensional semantics. In this theory, we rely on an enriched notion of discourse context inspired by the work of Heim and Roberts. We show how to use this enriched context to improve on de Groote’s treatment of English definite anaphora by modeling it as presupposition fulfillment.
For advice and clarifying discussion, we are especially grateful to Craige Roberts, E. Allyn Smith, Michael White, to our comrades in the Ohio State Logic, Language, Information and Computation discussion group, and to the participants of the CAuLD Workshop on Logical Methods for Discourse.
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
Church, A.: A formulation of the simple theory of types. Journal of Symbolic Logic 5, 56–68 (1940)
Gallin, D.: Intensional and Higher Order Modal Logic. North-Holland, Amsterdam (1975)
de Groote, P.: Towards abstract categorial grammars. In: 39th Annual Meeting and 10th Conference of the European Chapter, Proceedings of the Conference on Association for Computational Linguistics (2001)
de Groote, P.: Towards a Montagovian account of dynamics. In: Proceedings of Semantics and Linguistic Theory, vol. 16 (2006)
de Groote, P.: Typing binding and anaphora: Dynamic contexts as λμ-terms. Presented at the ESSLLI Workshop on Symmetric Calculi and Ludics for Semantic Interpretation (2008)
Heim, I.: The Semantics of Definite and Indefinite Noun Phrases. Ph.D. thesis. University of Massachusetts, Amherst (1982)
Heim, I.: File change semantics and the familiarity theory of definiteness. In: Meaning, Use and the Interpretation of Language. Walter de Gruyter, Berlin (1983)
Henkin, L.: Completeness in the theory of types. Journal of Symbolic Logic 15, 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. Mathematisch Centrum, Amsterdam (1981)
Kamp, H., Reyle, U.: From Discourse to Logic. Kluwer Academic Publishers, Dordrecht (1993)
Lambek, J., Scott, P.: Introduction to Higher-Order Categorical Logic. Cambridge University Press, Cambridge (1986)
Lewis, D.: Scorekeeping in a language game. In: Baüerle, R., Egli, U., von Stechow, A. (eds.) Semantics from a Different Point of View. Springer, Berlin (1979)
Montague, R.: The proper treatment of quantification in ordinary English. In: Hintikka, K., Moravcsik, J., Suppes, P. (eds.) Approaches to Natural Language, D. Reidel, Dordrecht (1973)
Muskens, R.: Categorial grammar and discourse representation theory. In: Proceedings of COLING (1994)
Muskens, R.: Combining Montague semantics and discourse representation theory. Linguistics and Philosophy 19, 143–186 (1996)
Muskens, R.: Separating syntax and combinatorics in categorial grammar. Research on Language and Computation 5, 267–285 (2007)
Oehrle, R.T.: Term-labeled categorial type systems. Linguistics and Philosophy 17(6), 633–678 (1994)
Pollard, C.: Hyperintensional Questions. In: Hodges, W., de Queiroz, R. (eds.) WoLLic 2008. LNCS (LNAI), vol. 5110, pp. 272–285. Springer, Heidelberg (2008)
Pollard, C.: Hyperintensions. Journal of Logic and Computation 18(2), 257–282 (2008)
Roberts, C.: Information structure in discourse: Towards an integrated formal theory of pragmatics. In: Papers in Semantics. Working Papers in Linguistics, vol. 49, Ohio State University, Department of Linguistics (1996)
Roberts, C.: Pronouns as definites. In: Reimer, M., Bezuidenhout, A. (eds.) Descriptions and Beyond, pp. 503–543. Oxford University Press (2004)
Roberts, C., Simons, M., Beaver, D., Tonhauser, J.: Presupposition, conventional implicature, and beyond: A unified account of projection. In: Klinedinst, N., Rothschild, D. (eds.) Proceedings of New Directions in the Theory of Presupposition. ESSLLI workshop (2009)
Rooth, M.: NP interpretation in Montague grammar, file change semantics, and situation semantics. In: Gärdenfors, P. (ed.) Generalized Quantifiers. Reidel, Dordrecht (1987)
Smith, E.A.: Correlational Comparison in English. Ph.D. thesis. Ohio State University (2010)
Stalnaker, R.: Presuppositions. Journal of Philosophical Logic 2(4) (1973)
Stalnaker, R.: Assertion. Syntax and Semantics 9: Pragmatics, 315–332 (1978)
Strachey, C., Wadsworth, C.P.: Continuations: A mathematical semantics for handling full jumps. Programming Research Group Technical Monograph PRG-11, Oxford University Computing Lab (1974)
Thomason, R.: A model theory for propositional attitudes. Linguistics and Philosophy 4, 47–70 (1980)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Martin, S., Pollard, C. (2012). Hyperintensional Dynamic Semantics. In: de Groote, P., Nederhof, MJ. (eds) Formal Grammar. FG FG 2010 2011. Lecture Notes in Computer Science, vol 7395. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32024-8_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-32024-8_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32023-1
Online ISBN: 978-3-642-32024-8
eBook Packages: Computer ScienceComputer Science (R0)