Semántica de Montague y Semántica Teórico-Modelo

La semántica de Montague interpreta el lenguaje natural de forma teórico-modelo, utilizando la lógica intensional tipificada para asignar denotaciones a las expresiones de manera totalmente composicional.

Definition

La semántica teórico-modelo interpreta las expresiones en relación con un modelo formal; la semántica de Montague es el programa específico para hacerlo en el lenguaje natural utilizando la lógica intensional tipificada y un mapeo homomórfico sintaxis-semántica.

Scope

Este tema abarca el aparato formal de la semántica teórico-modelo para el lenguaje natural: modelos con dominios de individuos, mundos posibles y tiempos; tipos semánticos y el cálculo lambda tipificado; y la interpretación de expresiones como funciones sobre estos dominios. Se centra en el trabajo de Montague 'The Proper Treatment of Quantification in Ordinary English' (PTQ) y el programa más amplio de tratar el inglés con el rigor de la lógica formal, incluyendo la intensión y la extensión, y el análisis de los sintagmas nominales como cuantificadores generalizados.

Core questions

• ¿Cómo se asignan denotaciones a las expresiones de un lenguaje natural en un modelo formal?
• ¿Qué papel desempeñan los tipos semánticos y el cálculo lambda en la interpretación composicional?
• ¿Cómo se distinguen la intensión y la extensión, y por qué se necesitan los mundos posibles?
• ¿Cómo aborda el tratamiento de Montague las frases cuantificadoras y el alcance?

Key concepts

• mundos posibles
• intensión vs. extensión
• tipo semántico
• cálculo lambda tipificado
• cuantificador generalizado
• mapeo homomórfico sintaxis-semántica
• lógica intensional

Key theories

El Tratamiento Adecuado de la Cuantificación (PTQ)

El fragmento de inglés de Montague en el que las reglas sintácticas se emparejan uno a uno con las reglas de interpretación semántica, los sintagmas nominales denotan cuantificadores generalizados y la lógica intensional maneja la opacidad y la modalidad.

Teoría de tipos y lógica intensional

Las expresiones se asignan a tipos construidos a partir de tipos básicos (entidades, valores de verdad) y posiblemente mundos/tiempos; las intensiones son funciones de mundos posibles a extensiones, capturando el significado de contextos opacos y modales.

History

Basándose en Frege, la distinción intensión/extensión de Carnap y la teoría de modelos tarskiana, Montague publicó una serie de artículos alrededor de 1970, siendo el más famoso PTQ, argumentando que el inglés puede ser tratado como un lenguaje formal con una semántica teórico-modelo. El libro de texto de Dowty, Wall y Peters hizo accesible el aparato técnico a los lingüistas, y el marco se convirtió en la base de la semántica formal moderna.

Debates

Intensiones de mundos posibles y el problema de la granularidad

Tratar los significados como funciones de mundos posibles a extensiones equipara erróneamente todas las expresiones necesariamente equivalentes, lo que impulsa propuestas para nociones de significado más finas, estructuradas o hiperintensionales.

Key figures

• Richard Montague
• Barbara Partee
• David Dowty
• Stanley Peters

Seminal works

• montague1974
• dowtywallpeters1981

Frequently asked questions

¿Cuál es la diferencia entre intensión y extensión?

La extensión de una expresión es su denotación en un mundo dado (por ejemplo, el conjunto real de perros), mientras que su intensión es la función que produce una extensión para cada mundo posible (aproximadamente, el concepto), que es lo que se necesita para interpretar contextos modales y opacos.