Cierre existencial


De Wikipedia, la enciclopedia libre
Saltar a navegación Saltar a búsqueda

En semántica formal , el cierre existencial es una operación que introduce la cuantificación existencial . Fue propuesto por primera vez por Irene Heim en su disertación de 1982, como parte de su análisis de los indefinidos . En su formulación, el cierre existencial es una forma de unión no selectiva que une 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]

Ver también

Notas

  1. ^ Brasoveanu, Adrian; Farkas, Donka (2016). "Indefinidos". En Aloni, Maria; Dekker, Paul (eds.). El manual de Cambridge de semántica formal . Prensa de la Universidad de Cambridge. doi : 10.1017 / CBO9781139236157.009 .
  2. ^ Heim, Irene (1982). "Capítulo 2: Indefinidos como variables". La semántica de frases sustantivas definidas e indefinidas (PDF) (Tesis). Universidad de Massachusetts, Amherst.
  3. ^ Kratzer, Angelika; Shimoyama, Junko (2002). "Pronombres indeterminados: la vista desde el japonés" (PDF) . Actas de la Tercera Conferencia de Tokio sobre Psicolingüística .
  4. ^ Ciardelli, Ivano; Roelofsen, Floris; Theiler, Nadine (2-17). "Componiendo alternativas" . Lingüística y Filosofía . 40 (1). doi : 10.1007 / s10988-016-9195-2 . Verifique los valores de fecha en: |date=( ayuda )