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].
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
Asher, N.: Lexical Meaning in Context: A Web of Words. Cambridge University Press, Cambridge (2011)
Asher, N., Pustejovsky, J.: Word Meaning and Commonsense Metaphysics. In: Course Materials for Type Selection and the Semantics of Local Context, ESSLLI 2005 (2005)
Barwise, J., Cooper, R.: Generalized quantifiers and natural language. Linguistics and Philosophy 4(2), 159–219 (1981)
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)
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)
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)
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/
Cooper, R.: Austinian truth, attitudes and type theory. Research on Language and Computation 3, 333–362 (2005)
Cooper, R.: Records and record types in semantic theory. Journal of Logic and Computation 15(2), 99–112 (2005)
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/
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
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)
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
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)
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)
Cooper, R., Ranta, A.: Natural Languages as Collections of Resources. In: Cooper, R., Kempson R., (eds.) [14], pp. 109–120
Coquand, T., Pollack, R., Takeyama, M.: A logical framework with dependently typed records. Fundamenta Informaticae XX, 1–22 (2004)
Fillmore, C.J.: Frame semantics. In: Linguistics in the Morning Calm, pp. 111–137. Hanshin Publishing Co., Seoul (1982)
Fillmore, C.J.: Frames and the semantics of understanding. Quaderni di Semantica 6(2), 222–254 (1985)
Ginzburg, J.: The Interactive Stance: Meaning for Conversation. Oxford University Press, Oxford (fthc)
Kratzer, A.: An Investigation of the Lumps of Thought. Linguistics and Philosophy 12, 607–653 (1989)
Larsson, S.: Formalizing the dynamics of semantic systems in dialogue. In: Cooper, R., Kempson, R. (eds.) [14], p. 344
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)
Luo, Z.: Type-theoretical semantics with coercive subtyping. In: Proceedings of SALT 20. pp. 38–56 (2010)
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)
Montague, R.: Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven (1974), ed. and with an introduction by Thomason, R.H.
Pustejovsky, J.: The Generative Lexicon. MIT Press, Cambridge (1995)
Ranta, A.: Type-Theoretical Grammar. Clarendon Press, Oxford (1994)
Ritchie, G.: The linguistic analysis of jokes. Routledge, London (2004)
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
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)