Cambiador de tipo

Regla de interpretación en semántica formal

En semántica formal , un modificador de tipo es una regla de interpretación que cambia el tipo semántico de una expresión . Por ejemplo, la expresión inglesa "John" podría denotar normalmente al propio John, pero una regla de modificación de tipo llamada Lift puede elevar su denotación a una función que toma una propiedad y devuelve "verdadero" si el propio John tiene esa propiedad. Lift puede verse como el mapeo de un individuo sobre el ultrafiltro principal que genera. ^{[1] [2] [3]}

1. Sin cambio de tipo: ${\displaystyle \,\,[\![John]\!]=j}$
2. Cambio de tipo con Lift : ${\displaystyle [\![John]\!]=\lambda P_{\langle e,t\rangle }.P(j)}$

Los cambiadores de tipo fueron propuestos por Barbara Partee y Mats Rooth en 1983 para permitir la ambigüedad sistemática de tipo . El trabajo de la época suponía que las categorías sintácticas se correspondían directamente con los tipos semánticos, y los investigadores, por lo tanto, tenían que "generalizar al peor de los casos" cuando usos particulares de expresiones particulares de una categoría dada requerían un tipo especialmente alto. Además, Partee argumentó que la evidencia, de hecho, apoyaba expresiones que tenían diferentes tipos en diferentes contextos. Por lo tanto, ella y Rooth propusieron el cambio de tipo como un mecanismo basado en principios para generar la ambigüedad. ^{[1] [2] [3]}

Los cambiadores de tipo siguen siendo una herramienta estándar en el trabajo semántico formal, particularmente en la gramática categorial y marcos relacionados. Los cambiadores de tipo también se han utilizado para interpretar cuantificadores en la posición del objeto y para capturar ambigüedades de alcance . En ese sentido, sirven como una alternativa a las operaciones sintácticas como la elevación de cuantificadores utilizada en los enfoques generativos convencionales de la semántica. ^{[4] [5]} Los cambiadores de tipo también se han utilizado para generar y componer conjuntos alternativos sin la necesidad de adoptar por completo una semántica basada en alternativas . ^{[6] [7]}

Véase también

• Semántica alternativa
• Bárbara Partee
• Gramática categorial
• Conversión de tipos
• Teoría de tipos
• Alcance (semántica formal)
• Interfaz sintaxis-semántica

Notas

1. Partee, Barbara ; Rooth, Mats (1983). "Conjunción generalizada y ambigüedad de tipo" (PDF) . En Portner, Paul; Partee, Barbara (eds.). Semántica formal: las lecturas esenciales . Wiley. págs. 334–356. doi :10.1002/9780470758335.ch14. ISBN 9780470758335.
2. Partee, Barbara (1983). "Interpretación de frases nominales y principios de cambio de tipo" (PDF) . En Portner, Paul; Partee, Barbara (eds.). Semántica formal: las lecturas esenciales . Wiley. págs. 357–381. doi :10.1002/9780470758335.ch15. ISBN . 9780470758335.
3. Heim, Irene ; Kratzer, Angelika (1998). Semántica en gramática generativa . Oxford: Wiley Blackwell. Capítulo 4.
4. Heim, Irene ; Kratzer, Angelika (1998). Semántica en gramática generativa . Oxford: Wiley Blackwell. págs. 184–188.
5. Jacobson, Pauline (2014). Semántica compositiva: una introducción a la interfaz sintaxis/semántica . Oxford University Press. ISBN 9780199677153.
6. Charlow, Simon (2015). "Alternativas a través del alcance" (PDF) . Apuntes de curso inéditos .
7. Charlow, Simon (2020). "El alcance de las alternativas: indefinición e islas". Lingüística y filosofía . 43 (4): 427–472. doi :10.1007/s10988-019-09278-3. S2CID  254749307.