Skip to main content
SpringerLink
Log in

Hyperintensional Dynamic Semantics

Analyzing Definiteness with Enriched Contexts

  • Conference paper
Formal Grammar (FG 2010, FG 2011)

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

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.

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

Access this chapter

Log in via an institution
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. Church, A.: A formulation of the simple theory of types. Journal of Symbolic Logic 5, 56–68 (1940)

    Article  MathSciNet  MATH  Google Scholar 

  2. Gallin, D.: Intensional and Higher Order Modal Logic. North-Holland, Amsterdam (1975)

    MATH  Google Scholar 

  3. 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)

    Google Scholar 

  4. de Groote, P.: Towards a Montagovian account of dynamics. In: Proceedings of Semantics and Linguistic Theory, vol. 16 (2006)

    Google Scholar 

  5. 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)

    Google Scholar 

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

    Google Scholar 

  7. Heim, I.: File change semantics and the familiarity theory of definiteness. In: Meaning, Use and the Interpretation of Language. Walter de Gruyter, Berlin (1983)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  9. 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)

    Google Scholar 

  10. Kamp, H., Reyle, U.: From Discourse to Logic. Kluwer Academic Publishers, Dordrecht (1993)

    Book  Google Scholar 

  11. Lambek, J., Scott, P.: Introduction to Higher-Order Categorical Logic. Cambridge University Press, Cambridge (1986)

    MATH  Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. Muskens, R.: Categorial grammar and discourse representation theory. In: Proceedings of COLING (1994)

    Google Scholar 

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

    Article  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

    Article  Google Scholar 

  18. Pollard, C.: Hyperintensional Questions. In: Hodges, W., de Queiroz, R. (eds.) WoLLic 2008. LNCS (LNAI), vol. 5110, pp. 272–285. Springer, Heidelberg (2008)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  20. 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)

    Google Scholar 

  21. Roberts, C.: Pronouns as definites. In: Reimer, M., Bezuidenhout, A. (eds.) Descriptions and Beyond, pp. 503–543. Oxford University Press (2004)

    Google Scholar 

  22. 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)

    Google Scholar 

  23. Rooth, M.: NP interpretation in Montague grammar, file change semantics, and situation semantics. In: Gärdenfors, P. (ed.) Generalized Quantifiers. Reidel, Dordrecht (1987)

    Google Scholar 

  24. Smith, E.A.: Correlational Comparison in English. Ph.D. thesis. Ohio State University (2010)

    Google Scholar 

  25. Stalnaker, R.: Presuppositions. Journal of Philosophical Logic 2(4) (1973)

    Google Scholar 

  26. Stalnaker, R.: Assertion. Syntax and Semantics 9: Pragmatics, 315–332 (1978)

    Google Scholar 

  27. 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)

    Google Scholar 

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

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Linguistics, Ohio State University, Columbus, OH, 43210, USA

    Scott Martin & Carl Pollard

Authors
  1. Scott Martin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carl Pollard
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. INRIA Nancy - Grand Est, 615 rue du Jardin Botanique, 54600, Villers-ls-Nancy, France

    Philippe de Groote

  2. School of Computer Science, University of St. Andrews, North Haugh, St. Andrews, KY16 9SX, Fife, Scotland

    Mark-Jan Nederhof

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation