La gramática de Montague es un enfoque de la semántica del lenguaje natural , que lleva el nombre del lógico estadounidense Richard Montague . La gramática de Montague se basa en la lógica matemática , especialmente la lógica de predicados de orden superior y el cálculo lambda , y hace uso de las nociones de lógica intensional , a través de modelos de Kripke . Montague fue pionero en este enfoque en la década de 1960 y principios de la de 1970.
Descripción general
La tesis de Montague fue que los lenguajes naturales (como el inglés ) y los lenguajes formales (como los lenguajes de programación ) pueden tratarse de la misma manera:
En mi opinión, no existe una diferencia teórica importante entre los lenguajes naturales y los lenguajes artificiales de los lógicos; de hecho, considero posible comprender la sintaxis y la semántica de ambos tipos de lenguaje dentro de una única teoría natural y matemáticamente precisa. En este punto difiero de varios filósofos, pero creo que estoy de acuerdo con Chomsky y sus asociados. ("Gramática universal" 1970)
Montague publicó lo que pronto se conoció como gramática Montague [1] en tres artículos:
- 1970: "Gramática universal" (= UG) [2]
- 1970: "Inglés como lengua formal" (= EFL) [3]
- 1973: "El tratamiento adecuado de la cuantificación en inglés común" (= PTQ) [4]
En un artículo de 2004, [5] Chris Barker vinculó el tratamiento de Montague de la cuantificación con la noción de continuación en la semántica del lenguaje de programación .
Ilustración
La gramática de Montague puede representar los significados de oraciones bastante complejas de forma compacta. A continuación se muestra una gramática presentada en el libro de texto de Eijck y Unger. [6]
Los tipos de categorías sintácticas en la gramática son los siguientes, donde t denota un término (una referencia a una entidad) y f denota una fórmula.
categoría | símbolo | tipo |
---|---|---|
Oración | S | |
Frase verbal | Vicepresidente | |
Frase sustantiva | notario público | |
Sustantivo común | CN | |
Determinante | DET | |
Verbo transitivo | televisor |
El significado de una oración obtenida por la regla se obtiene aplicando la función de NP a la función de VP.
Los tipos de VP y NP pueden parecer un poco poco intuitivos: ¿por qué el significado de un sintagma nominal no es simplemente un término? Esto se debe a que los significados de muchas frases nominales, como "el hombre que silba", no es solo un término en la lógica de predicados, sino que también incluye un predicado para la actividad, como "silbidos", que no se puede representar en el término (que consiste de símbolos de función y constante, pero no de predicados). Por lo tanto, necesitamos algún término, por ejemplo x , y una fórmula silba (x) para referirse al hombre que silba. El significado de las frases verbales VP se puede expresar con ese término, por ejemplo, indicando que una x en particular satisface duerme (x)ronca (x) (expresado como una función de xa esa fórmula). Ahora, la función asociada con NP toma ese tipo de función y la combina con las fórmulas necesarias para expresar el significado del sintagma nominal. Tenga en cuenta que esta forma particular de escribir NP y VP no es la única posible.
Lo importante aquí es que el significado de una expresión se obtiene en función de sus componentes, ya sea mediante la aplicación de una función o construyendo una nueva función a partir de las funciones asociadas con el componente. Esta composicionalidad permite asignar significados de manera confiable a estructuras oracionales arbitrariamente complejas, con cláusulas auxiliares y muchas otras complicaciones.
Los significados de otras categorías de expresiones son aplicaciones de funciones similares o funciones de orden superior . Las siguientes son las reglas de la gramática, con la primera columna indicando un símbolo no terminal , la segunda columna una forma posible de producir ese no terminal a partir de otros no terminales y terminales, y la tercera columna indicando el significado correspondiente.
significado | ||
---|---|---|
S | NP VP | |
notario público | nombre | |
notario público | DET CN | |
notario público | DET RCN | |
DET | "algunos" | |
DET | "a" | |
DET | "cada" | |
DET | "No" | |
Vicepresidente | intransverbio | |
Vicepresidente | TV NP | |
televisor | transverbio | |
RCN | CN "ese" VP | |
RCN | CN "ese" NP TV | |
CN | predicado |
Aquí hay expresiones de ejemplo y su significado asociado de acuerdo con la gramática anterior. Puede observar cómo se forma el significado de una oración dada a partir de sus expresiones constituyentes, ya sea formando una nueva función de orden superior o aplicando una función de orden superior para una expresión al significado de otra.
expresión | significado |
---|---|
a | |
hombre | |
un hombre | |
duerme | |
un hombre duerme | |
hombre que sueña | |
un hombre que sueña | |
un hombre que sueña duerme |
Los siguientes son otros ejemplos de oraciones traducidas a la lógica de predicados por la gramática.
oración | traducción a la lógica |
---|---|
Jill ve a Jack | |
cada mujer ve a un hombre | |
toda mujer ve un hombre que duerme | |
una mujer que come ve un hombre que duerme |
En la cultura popular
En la novela Infinite Jest de David Foster Wallace , el protagonista Hal Incandenza ha escrito un ensayo titulado Montague Grammar and the Semantics of Physical Modality . La gramática de Montague también se hace referencia explícita e implícitamente varias veces a lo largo del libro.
Ver también
Referencias
- ^ La lingüista Barbara Partee afirma de manera creíble haber inventado el término en 1971 "para el sistema que se explica en" UG, EFL y "especialmente en PTQ" de Montague. Véase su ensayo "Reflexiones de un semántico formal a partir de febrero de 2005" , p. 14, nota a pie de página 36.
- ^ "Gramática universal". Theoria 36 (1970), 373–398. (reimpreso en Thomason, 1974)
- ^ "Inglés como lenguaje formal". En: Bruno Visentini (ed.): Linguaggi nella società e nella tecnica . Mailand 1970, 189-223. (reimpreso en Thomason, 1974)
- ^ "El tratamiento adecuado de la cuantificación en inglés ordinario ". En: Jaakko Hintikka , Julius Moravcsik , Patrick Suppes (eds.): Approaches to Natural Language . Dordrecht 1973, 221–242. (reimpreso en Thomason, 1974)
- ^ Ver Continuaciones en lenguaje natural , Chris Barker, resumen extendido para el cuarto taller de continuación ACM-SIGPLAN '04 Venecia, Italia
- ^ J. van Eijck y C. Unger. Semántica computacional con programación funcional. Prensa de la Universidad de Cambridge, 2010.
Otras lecturas
- Richmond Thomason (ed.): Filosofía formal. Artículos seleccionados de Richard Montague. New Haven, 1974, ISBN 0-300-02412-6
- Paul Portner, Barbara H. Partee (eds.): Semántica formal : Las lecturas esenciales , Blackwell, 2002. ISBN 0-631-21542-5
- DR Dowty , RE Wall y S. Peters: Introducción a la semántica de Montague. Editores académicos Kluwer , 1981, ISBN 90-277-1142-9
- Emmon Bach : Conferencias informales sobre semántica formal. Prensa SUNY , 1989, ISBN 0-88706-771-9
- BH Partee , AGB ter Meulen y RE Wall: Métodos matemáticos en lingüística. Editores académicos Kluwer , 1990, ISBN 90-277-2245-5
- BH Partee con Herman Hendriks: Gramática de Montague. En: Manual de lógica y lenguaje , eds. JFAK van Benthem y AGB ter Meulen Elsevier / MIT Press , 1997, págs. 5-92. ISBN 0-262-22053-9
- Reinhard Muskens Type-logic Semantics aparecerá en la Enciclopedia de Filosofía en Línea de Routledge (contiene una bibliografía anotada).
enlaces externos
- Un analizador Montague gratuito en una extensión no determinista de Common Lisp .
- Gramática de Montague en contexto histórico. / La teoría y la sustancia de la gramática Montague. Principios centrales. / Nuevos desarrollos y controversias. por Barbara H. Partee.