Dependent Event Types
This paper studies how dependent types can be employed for a refined treatment of event types, offering a nice improvement to Davidson’s event semantics. We consider dependent event types indexed by thematic roles and illustrate how, in the presence of refined event types, subtyping plays an essential role in semantic interpretations. We consider two extensions with dependent event types: first, the extension of Church’s simple type theory as employed in Montague semantics that is familiar with many linguistic semanticists and, secondly, the extension of a modern type theory as employed in MTT-semantics. The former uses subsumptive subtyping, while the latter uses coercive subtyping, to capture the subtyping relationships between dependent event types. Both of these extensions have nice meta-theoretic properties such as normalisation and logical consistency; in particular, we shall show that the former can be faithfully embedded into the latter and hence has expected meta-theoretic properties. As an example of applications, it is shown that dependent event types give a natural solution to the incompatibility problem (sometimes called the event quantification problem) in combining event semantics with the traditional compositional semantics, both in the Montagovian setting with the simple type theory and in the setting of MTT-semantics.
Thanks go to Stergios Chatzikyriakidis, David Corfield, Koji Mineshima and Christian Retoré for helpful comments on this work.
- 1.Asher, N., Luo, Z.: Formalisation of coercions in lexical semantics. In: Sinn und Bedeutung, vol. 17, Paris (2012)Google Scholar
- 3.Chatzikyriakidis, S., Luo, Z. (eds.): Modern Perspectives in Type-Theoretical Semantics. Springer, Heidelberg (2017)Google Scholar
- 4.Chatzikyriakidis, S., Luo, Z.: Formal Semantics in Modern Type Theories. ISTE/Wiley (2018, to appear)Google Scholar
- 6.Davidson, D.: The logical form of action sentences. In: Rothstein, S. (ed.) The Logic of Decision and Action. University of Pittsburgh Press, Pittsburgh (1967)Google Scholar
- 7.de Groote, P., Winter, Y.: A type-logical account of quantification in event semantics. In: Logic and Engineering of Natural Language Semantics, vol. 11 (2014)Google Scholar
- 8.Goguen, H.: A typed operational semantics for type theory. Ph.D. thesis, University of Edinburgh (1994)Google Scholar
- 9.Landman, F.: Plurality. In: Lappin, S. (ed.) The Handbook of Contemporary Semantic Theory (1996)Google Scholar
- 10.Luo, Z.: A problem of adequacy: conservativity of calculus of constructions over higher-order logic. Technical report, LFCS report series ECS-LFCS-90-121, Department of Computer Science, University of Edinburgh (1990)Google Scholar
- 16.Montague, R.: Formal Philosophy. Yale University Press, New Haven (1974). Collected papers Ed. by R. ThomasonGoogle Scholar
- 17.Parsons, T.: Events in the Semantics of English. MIT Press, Cambridge (1990)Google Scholar
- 21.Xue, T.: Theory and implementation of coercive subtyping. Ph.D. thesis, Royal Holloway, University of London (2013)Google Scholar