Semántica Composicional y Formal
La semántica formal ofrece una explicación precisa y basada en condiciones de verdad del significado, en la que el significado de una expresión compleja se construye composicionalmente a partir de los significados de sus partes.
Definition
La semántica composicional y formal es el estudio del significado lingüístico utilizando la lógica formal y la teoría de modelos, centrándose en la interpretación composicional y basada en condiciones de verdad de las expresiones.
Scope
Esta área abarca el estudio formal y de teoría de modelos del significado del lenguaje natural. Incluye el principio de composicionalidad, el uso de herramientas lógicas y de teoría de conjuntos para asignar denotaciones a las expresiones, el programa de Montague de tratar el lenguaje natural con el rigor de la lógica formal, el análisis de la cuantificación y el alcance, y la semántica del tiempo, el aspecto y la modalidad. La idea principal es que conocer el significado de una oración es conocer sus condiciones de verdad, y que estas se calculan sistemáticamente a partir de los significados y el modo de combinación de sus constituyentes.
Sub-topics
Core questions
- ¿Cómo se determina el significado de una expresión compleja por los significados de sus partes y su combinación sintáctica?
- ¿Cómo se pueden representar los significados de las expresiones del lenguaje natural en un sistema formal de teoría de modelos?
- ¿Cómo deben analizarse los cuantificadores, el alcance y la vinculación?
- ¿Cómo deben modelarse los fenómenos dependientes del contexto e intensionales (tiempo, modalidad)?
Key concepts
- principio de composicionalidad
- condiciones de verdad
- denotación y tipo semántico
- cálculo lambda
- modelo y función de interpretación
- intensión y extensión
- aplicación funcional
Key theories
- Semántica de teoría de modelos basada en condiciones de verdad
- El significado de una oración declarativa se identifica con sus condiciones de verdad, calculadas en relación con un modelo que interpreta las expresiones básicas, siguiendo la tradición fregeana y tarskiana.
- Gramática de Montague
- El lenguaje natural puede tratarse como un lenguaje formal: una sintaxis emparejada con una semántica de teoría de modelos a través de un homomorfismo, utilizando el cálculo lambda tipado y la lógica intensional para interpretar las expresiones composicionalmente.
- Interpretación composicional basada en tipos
- A las expresiones se les asignan tipos semánticos y se combinan mediante reglas generales como la aplicación funcional, de modo que la interpretación está impulsada por los tipos de los constituyentes, tal como se sistematiza en el marco de Heim y Kratzer.
History
La semántica formal desciende del trabajo de Frege sobre el sentido y la referencia y de la definición de verdad de Tarski para lenguajes formales. El paso decisivo fue la afirmación de Montague a principios de la década de 1970 de que no existe una diferencia fundamental entre los lenguajes naturales y formales, y que al inglés se le podría dar una semántica de teoría de modelos. Barbara Partee desempeñó un papel central en la transmisión del programa de Montague a la lingüística, y el libro de texto de Heim y Kratzer posteriormente estandarizó la semántica composicional basada en tipos en la gramática generativa.
Debates
- Interpretación directa vs. indirecta (representacional)
- Si el lenguaje natural debe interpretarse directamente en un modelo, como en el programa de Montague, o mediante la traducción a un nivel de forma lógica / representación mental.
Key figures
- Richard Montague
- Barbara Partee
- Irene Heim
- Angelika Kratzer
- Gottlob Frege
- Alfred Tarski
Related topics
Seminal works
- montague1974
- heimkratzer1998
- partee1990
Frequently asked questions
- ¿Qué significa decir que la semántica se basa en condiciones de verdad?
- Significa que especificar el significado de una oración declarativa es especificar las condiciones bajo las cuales sería verdadera; conocer el significado es saber cómo tendría que ser el mundo para que la oración se cumpliera.