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].


copredication generalized quantifiers type theory records frame semantics 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Asher, N.: Lexical Meaning in Context: A Web of Words. Cambridge University Press, Cambridge (2011)CrossRefGoogle Scholar
  2. 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. 3.
    Barwise, J., Cooper, R.: Generalized quantifiers and natural language. Linguistics and Philosophy 4(2), 159–219 (1981)CrossRefzbMATHGoogle Scholar
  4. 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)CrossRefGoogle Scholar
  5. 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. 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. 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),
  8. 8.
    Cooper, R.: Austinian truth, attitudes and type theory. Research on Language and Computation 3, 333–362 (2005)CrossRefGoogle Scholar
  9. 9.
    Cooper, R.: Records and record types in semantic theory. Journal of Logic and Computation 15(2), 99–112 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 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),
  11. 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),
  12. 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)CrossRefGoogle Scholar
  13. 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.:
  14. 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. 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. 16.
    Cooper, R., Ranta, A.: Natural Languages as Collections of Resources. In: Cooper, R., Kempson R., (eds.) [14], pp. 109–120Google Scholar
  17. 17.
    Coquand, T., Pollack, R., Takeyama, M.: A logical framework with dependently typed records. Fundamenta Informaticae XX, 1–22 (2004)zbMATHGoogle Scholar
  18. 18.
    Fillmore, C.J.: Frame semantics. In: Linguistics in the Morning Calm, pp. 111–137. Hanshin Publishing Co., Seoul (1982)Google Scholar
  19. 19.
    Fillmore, C.J.: Frames and the semantics of understanding. Quaderni di Semantica 6(2), 222–254 (1985)Google Scholar
  20. 20.
    Ginzburg, J.: The Interactive Stance: Meaning for Conversation. Oxford University Press, Oxford (fthc) Google Scholar
  21. 21.
    Kratzer, A.: An Investigation of the Lumps of Thought. Linguistics and Philosophy 12, 607–653 (1989)CrossRefGoogle Scholar
  22. 22.
    Larsson, S.: Formalizing the dynamics of semantic systems in dialogue. In: Cooper, R., Kempson, R. (eds.) [14], p. 344Google Scholar
  23. 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. 24.
    Luo, Z.: Type-theoretical semantics with coercive subtyping. In: Proceedings of SALT 20. pp. 38–56 (2010)Google Scholar
  25. 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. 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. 27.
    Pustejovsky, J.: The Generative Lexicon. MIT Press, Cambridge (1995)Google Scholar
  28. 28.
    Ranta, A.: Type-Theoretical Grammar. Clarendon Press, Oxford (1994)zbMATHGoogle Scholar
  29. 29.
    Ritchie, G.: The linguistic analysis of jokes. Routledge, London (2004)Google Scholar
  30. 30.
    Ruppenhofer, J., Ellsworth, M., Petruck, M.R., Johnson, C.R., Scheffczyk, J.: FrameNet II: Extended Theory and Practice (2006),
  31. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Robin Cooper
    • 1
  1. 1.Department of Philosophy, Linguistics and Theory of ScienceUniversity of GothenburgGöteborgSweden

Personalised recommendations