Cierre existencial

Operación que introduce cuantificación existencial

En semántica formal , el cierre existencial es una operación que introduce la cuantificación existencial . Fue postulado por primera vez por Irene Heim en su tesis de 1982, como parte de su análisis de los indefinidos . En su formulación, el cierre existencial es una forma de vinculación no selectiva que vincula cualquier número de variables de cualquier tipo semántico. ^{[1] [2]} En semántica alternativa y marcos relacionados, el término se aplica a menudo a una operación estrechamente relacionada que cuantifica existencialmente sobre un conjunto de alternativas proposicionales . ^{[3] [4]}

Véase también

• Semántica alternativa
• Irene Heim
• Variable libre
• Alcance (semántica formal)

Referencias

1. Brasoveanu, Adrian; Farkas, Donka (2016). "Indefinites". En Aloni, Maria ; Dekker, Paul (eds.). The Cambridge Handbook of Formal Semantics . Cambridge University Press. págs. 238–266. doi :10.1017/CBO9781139236157.009. ISBN 9781107028395.
2. Heim, Irene (1982). "Capítulo 2: Los indefinidos como variables". La semántica de los sintagmas nominales definidos e indefinidos (PDF) (Tesis). Universidad de Massachusetts, Amherst.
3. Kratzer, Angelika; Shimoyama, Junko (2002). "Pronombres indeterminados: la perspectiva japonesa" (PDF) . Actas de la Tercera Conferencia de Tokio sobre Psicolingüística .
4. Ciardelli, Ivano; Roelofsen, Floris; Theiler, Nadine (2017). "Componer alternativas" (PDF) . Lingüística y filosofía . 40 (1): 1–36. doi : 10.1007/s10988-016-9195-2 .