Skip to main content
SpringerLink
Log in

Copredication, Quantification and Frames

  • Conference paper
Logical Aspects of Computational Linguistics (LACL 2011)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6736))

Abstract

We propose a record type theoretical account of cases of copredication which have motivated the introduction of dot types in the Generative Lexicon ([2,1]). We will suggest that using record types gives us a general account of dot types and also makes a connection between copredication and the use of hypothetical contexts in a record type theoretic analysis of dynamic generalized quantifiers. We propose a view of lexical innovation which draws both on Pustejovsky’s original work on the Generative Lexicon ([27]) and the notion of resource in [23,15]. We will also address issues relating to counting objects in terms of their aspects which are raised in [1].

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. Asher, N.: Lexical Meaning in Context: A Web of Words. Cambridge University Press, Cambridge (2011)

    Book  Google Scholar 

  2. Asher, N., Pustejovsky, J.: Word Meaning and Commonsense Metaphysics. In: Course Materials for Type Selection and the Semantics of Local Context, ESSLLI 2005 (2005)

    Google Scholar 

  3. Barwise, J., Cooper, R.: Generalized quantifiers and natural language. Linguistics and Philosophy 4(2), 159–219 (1981)

    Article  MATH  Google Scholar 

  4. Bassac, C., Mery, B., Retoré, C.: Towards a type-theoretical account of lexical semantics. Journal of Logic, Language and Information 19(2), 229–245 (2010)

    Article  Google Scholar 

  5. Betarte, G.: Dependent Record Types and Algebraic Structures in Type Theory. Ph.D. thesis, Department of Computing Science, University of Gothenburg and Chalmers University of Technology (1998)

    Google Scholar 

  6. Betarte, G., Tasistro, A.: Extension of Martin-Löf’s type theory with record types and subtyping. In: Sambin, G., Smith, J. (eds.) Twenty-Five Years of Constructive Type Theory. Oxford Logic Guides, vol. 36. Oxford University Press, Oxford (1998)

    Google Scholar 

  7. Cooper, R.: Dynamic generalised quantifiers and hypothetical contexts. In: Ursus Philosophicus, a festschrift for Björn Haglund. Department of Philosophy, University of Gothenburg (2004), http://www.phil.gu.se/posters/festskrift/

  8. Cooper, R.: Austinian truth, attitudes and type theory. Research on Language and Computation 3, 333–362 (2005)

    Article  Google Scholar 

  9. Cooper, R.: Records and record types in semantic theory. Journal of Logic and Computation 15(2), 99–112 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  10. Cooper, R.: A record type theoretic account of copredication and dynamic generalized quantification. In: Kvantifikator för en Dag, Essays dedicated to Dag Westerståhl on his sixtieth birthday. Department of Philosophy, University of Gothenburg (2006), http://www.phil.gu.se/posters/festskrift3/

  11. Cooper, R.: Copredication, dynamic generalized quantification and lexical innovation by coercion. In: Proceedings of GL 2007, Fourth International Workshop on Generative Approaches to the Lexicon (2007), http://www.ling.gu.se/~cooper/records/copredinnov.pdf

  12. Cooper, R.: Frames in formal semantics. In: Loftsson, H., Rögnvaldsson, E., Helgadóttir, S. (eds.) IceTAL 2010. LNCS, vol. 6233, pp. 103–114. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  13. Cooper, R.: Type theory and semantics in flux. In: Kempson, R., Asher, N., Fernando, T. (eds.) Handbook of the Philosophy of Science, Philosophy of Linguistics. Elsevier BV, Amsterdam (fthc), general editors: Gabbay, D.M., Thagard, P., Woods, J.: https://sites.google.com/site/typetheorywithrecords/drafts/ddl-final.pdf

  14. Cooper, R., Kempson, R. (eds.): Language in Flux: Dialogue Coordination, Language Variation, Change and Evolution, Communication, Mind and Language, vol. 1. College Publications, London (2008)

    Google Scholar 

  15. Cooper, R., Larsson, S.: Compositional and ontological semantics in learning from corrective feedback and explicit definition. In: Edlund, J., Gustafson, J., Hjalmarsson, A., Skantze, G. (eds.) Proceedings of DiaHolmia: 2009 Workshop on the Semantics and Pragmatics of Dialogue, pp. 59–66. Department of Speech, Music and Hearing, KTH (2009)

    Google Scholar 

  16. Cooper, R., Ranta, A.: Natural Languages as Collections of Resources. In: Cooper, R., Kempson R., (eds.) [14], pp. 109–120

    Google Scholar 

  17. Coquand, T., Pollack, R., Takeyama, M.: A logical framework with dependently typed records. Fundamenta Informaticae XX, 1–22 (2004)

    MATH  Google Scholar 

  18. Fillmore, C.J.: Frame semantics. In: Linguistics in the Morning Calm, pp. 111–137. Hanshin Publishing Co., Seoul (1982)

    Google Scholar 

  19. Fillmore, C.J.: Frames and the semantics of understanding. Quaderni di Semantica 6(2), 222–254 (1985)

    Google Scholar 

  20. Ginzburg, J.: The Interactive Stance: Meaning for Conversation. Oxford University Press, Oxford (fthc)

    Google Scholar 

  21. Kratzer, A.: An Investigation of the Lumps of Thought. Linguistics and Philosophy 12, 607–653 (1989)

    Article  Google Scholar 

  22. Larsson, S.: Formalizing the dynamics of semantic systems in dialogue. In: Cooper, R., Kempson, R. (eds.) [14], p. 344

    Google Scholar 

  23. Larsson, S., Cooper, R.: Towards a formal view of corrective feedback. In: Alishahi, A., Poibeau, T., Villavicencio, A. (eds.) Proceedings of the Workshop on Cognitive Aspects of Computational Language Acquisition, pp. 1–9. EACL (2009)

    Google Scholar 

  24. Luo, Z.: Type-theoretical semantics with coercive subtyping. In: Proceedings of SALT 20. pp. 38–56 (2010)

    Google Scholar 

  25. McCawley, J.D.: The Role of Semantics in a Grammar. In: Bach, E., Harms, R.T. (eds.) Universals in Linguistic Theory. Holt, Rinehart and Winston (1968)

    Google Scholar 

  26. Montague, R.: Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven (1974), ed. and with an introduction by Thomason, R.H.

    Google Scholar 

  27. Pustejovsky, J.: The Generative Lexicon. MIT Press, Cambridge (1995)

    Google Scholar 

  28. Ranta, A.: Type-Theoretical Grammar. Clarendon Press, Oxford (1994)

    MATH  Google Scholar 

  29. Ritchie, G.: The linguistic analysis of jokes. Routledge, London (2004)

    Google Scholar 

  30. Ruppenhofer, J., Ellsworth, M., Petruck, M.R., Johnson, C.R., Scheffczyk, J.: FrameNet II: Extended Theory and Practice (2006), http://framenet.icsi.berkeley.edu/index.php?option=com_wrapper&Itemid=126

  31. Tasistro, A.: Substitution, record types and subtyping in type theory, with applications to the theory of programming. Ph.D. thesis, Department of Computing Science, University of Gothenburg and Chalmers University of Technology (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Box 200, 405 30, Göteborg, Sweden

    Robin Cooper

Authors
  1. Robin Cooper
    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, 54602, Villers-lès-Nancy Cedex, France

    Sylvain Pogodalla

  2. LIRMM, UMR 5506 - CC 477, Université Montpellier 2, 161 rue Ada, 34095, Montpellier Cedex 5, France

    Jean-Philippe Prost

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cooper, R. (2011). Copredication, Quantification and Frames. In: Pogodalla, S., Prost, JP. (eds) Logical Aspects of Computational Linguistics. LACL 2011. Lecture Notes in Computer Science(), vol 6736. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22221-4_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-22221-4_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-22220-7

  • Online ISBN: 978-3-642-22221-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation