La semántica inquisitiva es un marco en la lógica y la semántica del lenguaje natural . En la semántica inquisitiva, el contenido semántico de una oración captura tanto la información que transmite la oración como el problema que plantea. El marco proporciona una base para el análisis lingüístico de declaraciones y preguntas. [1] [2] Fue desarrollado originalmente por Ivano Ciardelli, Jeroen Groenendijk , Salvador Mascarenhas y Floris Roelofsen. [3] [4] [5] [6] [7]
Nociones basicas
La noción esencial en la semántica inquisitiva es la de una proposición inquisitiva .
- Un estado de información (alternativamente una proposición clásica ) es un conjunto de mundos posibles .
- Una proposición inquisitiva es un conjunto de estados de información no vacío cerrado hacia abajo .
Las proposiciones inquisitivas codifican contenido informativo a través de la región del espacio lógico que cubren sus estados de información. Por ejemplo, la proposición inquisitivacodifica la información de que { w } es el mundo real. La proposición inquisitiva codifica que el mundo real es o .
Una propuesta inquisitiva codifica contenido inquisitivo a través de sus elementos máximos, conocidos como alternativas . Por ejemplo, la proposición inquisitiva tiene dos alternativas, a saber y . Por lo tanto, plantea la cuestión de si el mundo real es o al tiempo que transmite la información de que debe ser uno u otro. La proposición inquisitiva codifica la misma información pero no plantea ningún problema, ya que solo contiene una alternativa.
El contenido informativo de una propuesta inquisitiva se puede aislar agrupando los estados de información que la constituyen, como se muestra a continuación.
- El contenido informativo de una proposición inquisitiva P es.
Las proposiciones inquisitivas se pueden usar para proporcionar una semántica para las conectivas de la lógica proposicional, ya que forman un álgebra de Heyting cuando se ordenan por la relación de subconjuntos . Por ejemplo, para cada proposición P existe un pseudocomplemento relativo , que asciende a . De manera similar, cualesquiera dos proposiciones P y Q tienen un encuentro y una unión , que equivalen a y respectivamente. Así, las proposiciones inquisitivas pueden asignarse a fórmulas de Como se muestra abajo.
Dado un modelo donde W es un conjunto de mundos posibles y V es una función de valoración:
¡Los operadores! y ? se utilizan como abreviaturas de la manera que se muestra a continuación.
Conceptualmente, se puede pensar que el operador! Cancela los problemas planteados por lo que sea a lo que se aplica mientras deja intacto su contenido informativo. Para cualquier fórmula, la proposición inquisitiva expresa la misma información que , pero puede diferir en que no plantea problemas no triviales. Por ejemplo, sies la inquisitiva proposición P de hace unos párrafos, entonceses la proposición curiosos Q .
El operador \ beta trivializa la información expresada por lo que sea a lo que se aplica, mientras convierte los estados de información que establecerían que sus problemas son irresolubles en estados que los resuelven. Esto es muy abstracto, así que considere otro ejemplo. Imagina que el espacio lógico consta de cuatro mundos posibles, w 1 , w 2 , w 3 y w 4 , y considera una fórmula tal que contiene { w 1 }, { w 2 } y, por supuesto,. Esta proposición transmite que el mundo real es w 1 o w 2 y plantea la cuestión de cuál de esos mundos es realmente. Por lo tanto, el problema que plantea no se resolvería si supiéramos que el mundo real está en el estado de información { w 3 , w 4 }. Más bien, aprender esto demostraría que el problema planteado por nuestra propuesta de juguetes no tiene solución. Como resultado, la propuesta contiene todos los estados de , junto con { w 3 , w 4 } y todos sus subconjuntos.
Ver también
Referencias
- ^ "¿Qué es la semántica inquisitiva?" . Instituto de Lógica, Lenguaje y Computación, Universidad de Amsterdam .
- ^ Ciardelli, Ivano; Groenendijk, Jeroen; Roelofsen, Floris (2019). Semántica inquisitiva (PDF) . Prensa de la Universidad de Oxford.
- ^ Ciardelli, I. (2009). "Semántica inquisitiva y lógicas intermedias" (PDF) . Tesis de Maestría, ILLC University of Amsterdam .
- ^ Ciardelli, Ivano; Roelofsen, Floris (2009). "Lógica inquisitiva generalizada: integridad a través de modelos intuicionistas de Kripke" (PDF) . Actas de la XII Conferencia sobre los aspectos teóricos de la racionalidad y el conocimiento . ACM: 71–80.
- ^ Jeroen Groenendijk (2009). "Semántica inquisitiva: dos posibilidades de disyunción" (PDF) . Actas del Séptimo Simposio Internacional de Tbilisi sobre Lenguaje, Lógica y Computación . Springer: 80–94.
- ^ Groenendijk, Jeroen; Roelofsen, Floris (2009). "Semántica y pragmática inquisitiva" (PDF) . Actas del Taller internacional de ILCLI sobre semántica, pragmática y retórica : 41–72.
- ^ Mascarenhas, Salvador (2009). "Semántica y lógica inquisitiva" (PDF) . Tesis de Maestría, ILLC University of Amsterdam .
Otras lecturas
- Ciardelli, Ivano; Groenendijk, Jeroen; y Roelofsen, Floris (2019) Semántica inquisitiva . Prensa de la Universidad de Oxford. ISBN 9780198814788
- https://projects.illc.uva.nl/inquisitivesemantics/