Existential closure
From Wikipedia, the free encyclopedia
This is the current revision of this page, as edited by AB-Babayo (talk | contribs) at 12:34, 28 December 2023 (Added free to read link in citations with OAbot #oabot). The present address (URL) is a permanent link to this version.Revision as of 12:34, 28 December 2023 by AB-Babayo (talk | contribs) (Added free to read link in citations with OAbot #oabot)
Operation which introduces existential quantification
In formal semantics, existential closure is an operation which introduces existential quantification. It was first posited by Irene Heim in her 1982 dissertation, as part of her analysis of indefinites. In her formulation, existential closure is a form of unselective binding which binds any number of variables of any semantic type.[1] [2] In alternative semantics and related frameworks, the term is often applied to a closely related operation which existentially quantifies over a set of propositional alternatives.[3] [4]
See also
[edit ]References
[edit ]- ^ Brasoveanu, Adrian; Farkas, Donka (2016). "Indefinites". In Aloni, Maria; Dekker, Paul (eds.). The Cambridge Handbook of Formal Semantics. Cambridge University Press. pp. 238–266. doi:10.1017/CBO9781139236157.009. ISBN 9781107028395.
- ^ Heim, Irene (1982). "Chapter 2: Indefinites as Variables". The Semantics of Definite and Indefinite Noun Phrases (PDF) (Thesis). University of Massachusetts, Amherst.
- ^ Kratzer, Angelika; Shimoyama, Junko (2002). "Indeterminate pronouns: The view from Japanese" (PDF). Proceedings of the Third Tokyo Conference on Psycholinguistics.
- ^ Ciardelli, Ivano; Roelofsen, Floris; Theiler, Nadine (2017). "Composing alternatives" (PDF). Linguistics and Philosophy. 40 (1): 1–36. doi:10.1007/s10988-016-9195-2 .
