Abstract
This paper studies how dependent typed events can be used to treat verb phrase anaphora. We introduce a framework that extends Dependent Type Semantics (DTS) with a new atomic type for neo-Davidsonian events and an extended @-operator that can return new events that share properties of events referenced by verb phrase anaphora.
The proposed framework, along with illustrative examples of its use, are presented after a brief overview of the necessary background and of the major challenges posed by verb phrase anaphora.
D. Itegulov—This work is supported by ANU Ph.D. (International) Scholarship and HDR Fee Remission Merit Scholarship provided by the Australian National University.
E. Lebedeva—We thank Bruno Woltzenlogel Paleo and Florrie Verity for numerous helpful discussions and the anonymous reviewers for the constructive feedback.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
fv(x) denotes all free variables in x.
References
Bekki, D.: Representing anaphora with dependent types. In: Asher, N., Soloviev, S. (eds.) LACL 2014. LNCS, vol. 8535, pp. 14–29. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-43742-1_2
Dalrymple, M., Shieber, S.M., Pereira, F.C.N.: Ellipsis and higher-order unification. Linguist. Philos. 14(4), 399–452 (1991)
Davidson, D.: The logical form of action sentences. In: Rescher, N. (ed.) The Logic of Decision and Action. University of Pittsburgh Press, Pittsburgh (1967)
Dummett, M.: What is a theory of meaning? (II). In: Evans, G., McDowell, J. (eds.) Truth and Meaning: Essays in Semantics. Clarendon Press, Oxford (1976)
Dummett, M.A.E.: What is a theory of meaning? In: Guttenplan, S. (ed.) Mind and Language. Oxford University Press, Oxford (1975)
Luo, Z., Soloviev, S.: Dependent event types. In: Kennedy, J., de Queiroz, R.J.G.B. (eds.) WoLLIC 2017. LNCS, vol. 10388, pp. 216–228. Springer, Heidelberg (2017). https://doi.org/10.1007/978-3-662-55386-2_15
Martin-Löf, P., Sambin, G.: Intuitionistic Type Theory. Studies in Proof Theory. Bibliopolis, Berkeley (1984)
Montague, R.: Formal Philosophy; Selected Papers of Richard Montague. Yale University Press, New Haven (1974)
Parsons, T.: Events in the Semantics of English: A Study in Subatomic Semantics. MIT Press, Cambridge (1990)
Prawitz, D.: Intuitionistic logic: a philosophical challenge. In: Von Wright, G.H. (ed.) Logic and Philosophy/Logique et Philosophie, vol. 5, pp. 1–10. Springer, Dordrecht (1980). https://doi.org/10.1007/978-94-009-8820-0_1
Prüst, H., Scha, R., van den Berg, M.: Discourse grammar and verb phrase anaphora. Linguist. Philos. 17(3), 261–327 (1994)
Ranta, A.: Type-Theoretical Grammar. Oxford University Press, Oxford (1994)
Sundholm, G.: Proof theory and meaning. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic: Volume III: Alternatives in Classical Logic. SYLI, vol. 166, pp. 471–506. Springer, Dordrecht (1986). https://doi.org/10.1007/978-94-009-5203-4_8
Taylor, B.: Modes of occurence, verbs, adverbs and events. Revue Philosophique de la France Et de l’Etranger 176(3), 406–407 (1986)
Verkuyl, H.J.: On the Compositional Nature of the Aspects. D. Reidel Publishing Company, Dordrecht (1972)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer-Verlag GmbH Germany, part of Springer Nature
About this paper
Cite this paper
Itegulov, D., Lebedeva, E. (2018). Handling Verb Phrase Anaphora with Dependent Types and Events. In: Moss, L., de Queiroz, R., Martinez, M. (eds) Logic, Language, Information, and Computation. WoLLIC 2018. Lecture Notes in Computer Science(), vol 10944. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-57669-4_12
Download citation
DOI: https://doi.org/10.1007/978-3-662-57669-4_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-57668-7
Online ISBN: 978-3-662-57669-4
eBook Packages: Computer ScienceComputer Science (R0)