|Abstract||We propose a record type theoretical account of cases of copredication which have motivated the introduction of dot types in the Generative Lexicon (Asher and Pustejovsky, 2005). We will suggest that using record types gives us a simple and intuitive 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 quantiﬁers. We propose a view of lexical innovation which draws both on Pustejovsky’s original work on the Generative Lexicon (Pustejovsky, 1995) and the notion of resource present in the Grammatical Framework (Ranta, forthcoming).|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Christian Bassac, Bruno Mery & Christian Retoré (2010). Towards a Type-Theoretical Account of Lexical Semantics. Journal of Logic, Language and Information 19 (2).
Zhaohui Luo (2012). Formal Semantics in Modern Type Theories with Coercive Subtyping. Linguistics and Philosophy 35 (6):491-513.
James Pustejovsky (1995). The Generative Lexicon. The Mit Press.
Chris Fox & Shalom Lappin, An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.
Lauri Hella, Kerkko Luosto & Jouko Väänänen (1996). The Hierarchy Theorem for Generalized Quantifiers. Journal of Symbolic Logic 61 (3):802-817.
G. Y. Sher (1997). Partially-Ordered (Branching) Generalized Quantifiers: A General Definition. Journal of Philosophical Logic 26 (1):1-43.
Chris Fox & Shalom Lappin, Doing Natural Language Semantics in an Expressive First-Order Logic with Flexible Typing.
J. Pustejovsky & Bran Boguraev (eds.) (1997). Lexical Semantics: The Problem of Polysemy. Oxford University Press.
Sorry, there are not enough data points to plot this chart.
Added to index2010-12-22
Total downloads1 ( #274,556 of 548,980 )
Recent downloads (6 months)0
How can I increase my downloads?