La semántica dinámica es un marco en la lógica y la semántica del lenguaje natural que trata el significado de una oración como su potencial para actualizar un contexto. En semántica estática, conocer el significado de una oración equivale a saber cuándo es verdadera; en semántica dinámica, conocer el significado de una oración significa conocer "el cambio que produce en el estado de información de quien acepta la noticia que transmite". [1] En semántica dinámica, las oraciones se asignan a funciones llamadas potenciales de cambio de contexto , que toman un contexto de entrada y devuelven un contexto de salida. La semántica dinámica fue desarrollada originalmente por Irene Heim y Hans Kamp en 1981 para modelar la anáfora., pero desde entonces se ha aplicado ampliamente a fenómenos que incluyen presuposiciones , plurales , preguntas , relaciones discursivas y modalidad . [2]
Dinámica de la anáfora
Los primeros sistemas de semántica dinámica fueron la semántica de cambio de archivo y la teoría de la representación del discurso , estrechamente relacionadas , desarrolladas simultánea e independientemente por Irene Heim y Hans Kamp . Estos sistemas estaban destinados a capturar la anáfora de burro , que resiste un elegante tratamiento compositivo en enfoques clásicos de la semántica como la gramática de Montague . [2] [3] La anáfora del burro está ejemplificada por las infames oraciones del burro, notadas por primera vez por el lógico medieval Walter Burley y traídas a la atención moderna por Peter Geach . [4] [5]
- Oración del burro (cláusula relativa) : Todo agricultor que tenga un burro lo golpea.
- Oración de burro (condicional) : Si un granjero tiene un burro, lo golpea.
Para capturar las condiciones de verdad observadas empíricamente de tales oraciones en la lógica de primer orden , se necesitaría traducir la frase nominal indefinida "un burro" como un cuantificador universal que abarque la variable correspondiente al pronombre "eso".
- Traducción FOL de la oración del burro ::
Si bien esta traducción captura (o aproxima) las condiciones de verdad de las oraciones del lenguaje natural, su relación con la forma sintáctica de la oración es desconcertante de dos maneras. Primero, los indefinidos en contextos distintos del burro normalmente expresan cuantificación existencial más que universal. En segundo lugar, la posición sintáctica del pronombre burro normalmente no le permitiría estar limitado por el indefinido.
Para explicar estas peculiaridades, Heim y Kamp propusieron que los indefinidos del lenguaje natural son especiales porque introducen un nuevo referente del discurso que permanece disponible fuera del alcance sintáctico del operador que lo introdujo. Para sacar provecho de esta idea, propusieron sus respectivos sistemas formales que capturan la anáfora del burro porque validan el teorema de Egli y su corolario. [6]
- Teorema de Egli :
- El corolario de Egli :
Actualizar semántica
La semántica de actualización es un marco dentro de la semántica dinámica que fue desarrollado por Frank Veltman . [1] [7] En la semántica de actualización, cada fórmula se asigna a una función que toma y devuelve un contexto discursivo . Por tanto, si es un contexto, entonces es el contexto que se obtiene al actualizar con . Los sistemas de semántica de actualización varían tanto en la forma en que definen un contexto como en las entradas semánticas que asignan a las fórmulas. Los sistemas de actualización más simples son los intersectivos , que simplemente elevan los sistemas estáticos al marco dinámico. Sin embargo, la semántica de actualización incluye sistemas más expresivos que los que se pueden definir en el marco estático. En particular, permite entradas semánticas sensibles a la información , en las que la información aportada por la actualización con alguna fórmula puede depender de la información ya presente en el contexto. [8] Esta propiedad de la semántica de actualización ha llevado a su aplicación generalizada a presuposiciones , modales y condicionales .
Actualización intersectiva
Una actualización con se llama intersectivo si equivale a tomar la intersección del contexto de entrada con la proposición denotada por. Fundamentalmente, esta definición asume que hay una sola proposición fija quesiempre denota, independientemente del contexto. [8]
- Actualización intersectiva: Let ser la proposición denotada por . Luegoes intersectivo si y solo si para cualquier, tenemos eso
La actualización intersectiva fue propuesta por Robert Stalnaker en 1978 como una forma de formalizar el acto de habla de aserción. [9] [8] En el sistema original de Stalnaker, un contexto (o conjunto de contexto ) se define como un conjunto de mundos posibles que representan la información en el terreno común de una conversación. Por ejemplo, si Esto representa un escenario donde la información acordada por todos los participantes en la conversación indica que el mundo real debe ser , , o . Si, luego actualizando con devolvería un nuevo contexto . Así, una afirmación de se entendería como un intento de descartar la posibilidad de que el mundo real sea .
Desde una perspectiva formal, la actualización intersectiva puede tomarse como una receta para elevar la semántica estática preferida a la semántica dinámica. Por ejemplo, si tomamos la semántica proposicional clásica como nuestro punto de partida, esta receta ofrece la siguiente semántica de actualización intersectiva. [8]
- Semántica de actualización intersectiva basada en la lógica proposicional clásica:
La noción de intersectividad se puede descomponer en las dos propiedades conocidas como eliminatividad y distributividad . Eliminativity dice que una actualización solo puede eliminar mundos del contexto, no puede agregarlos. La distributividad dice que la actualización con es equivalente a actualizar cada subconjunto singleton de con y luego agrupar los resultados. [8]
- Eliminatividad: es eliminativo si para todos los contextos
- Distributividad: es distributivo si
La intersectividad equivale a la conjunción de estas dos propiedades, como lo demuestra Johan van Benthem . [8] [10]
La semántica de prueba para modales
El marco de la semántica de actualización es más general que la semántica estática porque no se limita a significados intersectivos. Los significados no interactivos son teóricamente útiles porque aportan información diferente según la información que ya está presente en el contexto. Por ejemplo, si es intersectivo, entonces actualizará cualquier contexto de entrada con exactamente la misma información, es decir, la información codificada por la proposición . Por otro lado, si no es interactiva, podría contribuir cuando actualiza algunos contextos, pero información completamente diferente cuando actualiza otros contextos. [8]
Se ha argumentado que muchas expresiones del lenguaje natural tienen significados no interactivos. La no intersectividad de los modales epistémicos se puede ver en la infelicidad de las contradicciones epistémicas . [11] [8]
- Contradicción epistémica : # Está lloviendo y puede que no esté lloviendo.
Se ha argumentado que estas oraciones son auténticas contradicciones lógicas, a diferencia de ejemplos superficialmente similares como las oraciones de Moore , a las que se puede dar una explicación pragmática . [12] [8]
- Principio de contradicción epistémica :
Estas oraciones no pueden analizarse como contradicciones lógicas dentro de marcos puramente intersectivos como la semántica relacional para la lógica modal . El principio de contradicción epistémica solo se aplica a la clase de marcos relacionales tales que. Sin embargo, estos marcos también validan una implicación de a . Por lo tanto, dar cuenta de la infelicidad de las contradicciones epistémicas dentro de una semántica clásica para los modales traería consigo la predicción no deseada de que "Podría estar lloviendo" implica "Está lloviendo". [12] [8] Update Semantics evita este problema proporcionando una denotación no intersectiva para los modales. Cuando se le da tal denotación, la fórmula puede actualizar los contextos de entrada de manera diferente dependiendo de si ya contienen la información que proporciona. La entrada semántica más ampliamente adoptada para los modales en la semántica de actualización es la semántica de prueba propuesta por Frank Veltman . [1]
- La semántica de prueba para modales:
En esta semántica, prueba si el contexto de entrada se puede actualizar con sin trivializarse, es decir, sin devolver el conjunto vacío. Si el contexto de entrada pasa la prueba, permanece sin cambios. Si falla la prueba, la actualización trivializa el contexto al devolver el conjunto vacío. Esta semántica puede manejar contradicciones epistémicas porque no importa el contexto de entrada, la actualización con siempre generará un contexto que no supere la prueba impuesta por . [8] [13]
Ver también
- Anáfora de burro
- Teoría de la representación del discurso
- Lógica modal
- Alcance (semántica formal)
- Irene Heim
- Hans Kamp
- Semántica formal de lenguajes de programación
Notas
- ↑ a b c Veltman, Frank (1996). "Valores predeterminados en la semántica de actualización" (PDF) . Revista de lógica filosófica . 25 (3).
- ^ a b Nowen, Rick; Brasoveanu, Adrian; van Eijck, Jan; Visser, Albert (2016). "Semántica dinámica" . En Zalta, Edward (ed.). La Enciclopedia de Filosofía de Stanford . Consultado el 11 de agosto de 2020 .
- ^ Geurts, Bart; Beaver, David; Maier, Emar (2020). "Teoría de la representación del discurso" . En Zalta, Edward (ed.). La Enciclopedia de Filosofía de Stanford . Consultado el 11 de agosto de 2020 .
- ^ Peter Geach (1962). Referencia y generalidad: un examen de algunas teorías medievales y modernas .
- ^ King, Jeffrey; Lewis, Karen (2018). "Anáfora" . En Zalta, Edward (ed.). La Enciclopedia de Filosofía de Stanford . Consultado el 11 de agosto de 2020 .
- ^ Dekker, Paul (2001). "Sobre si y solo si" . En Hastings, R; Jackson, B; Zvolenszky, Z (eds.). Actas de SALT XI . Semántica y Teoría Lingüística. 11 . Sociedad Lingüística de América .
- ^ Goldstein, Simon (2019). "Semántica de actualización generalizada" (PDF) . Mente . 128 (511). doi : 10.1093 / mind / fzy076 .
- ^ a b c d e f g h yo j k Goldstein, Simon (2017). "Introducción". Semántica dinámica informativa (PhD). Universidad Rutgers.
- ^ Stalnaker, Robert (1978). "Afirmación". En Cole, Peter (ed.). Pragmática . Rodaballo. págs. 315–332. doi : 10.1163 / 9789004368873_001 .
- ^ van Benthem, Johan (1986). Ensayos de semántica lógica . Dordrecht: Reidel.
- ^ Yalcin, Seth (2007). "Modales epistémicos" (PDF) . Mente . 116 (464).
- ^ a b Yalcin, Seth (2007). "Modales epistémicos" (PDF) . Mente . 116 (464).
- ↑ Para obtener una derivación completa del principio de contradicción epistémica dentro de Update Semantics, consulte, por ejemplo, Goldstein (2016), p. 13. Esta derivación depende fundamentalmente de una definición particular de implicación, así como de una entrada semántica intersectiva para y un tratamiento de actualizándose consecutivamente con los conjuntos en su orden lineal.
enlaces externos
- Semántica dinámica, Enciclopedia de filosofía de Stanford
- Notas de semántica dinámica, Daniel Rothschild
- Semántica dinámica y alternativas pragmáticas, Notas del curso ESSLLI 2017