Semántica formal (lenguaje natural) - Formal semantics (natural language)

La semántica formal es el estudio del significado gramatical en los lenguajes naturales utilizando herramientas formales de la lógica y la informática teórica . Es un campo interdisciplinario, a veces considerado como un subcampo tanto de la lingüística como de la filosofía del lenguaje . Proporciona explicaciones de lo que significan las expresiones lingüísticas y cómo se componen sus significados a partir de los significados de sus partes. Se puede pensar en la empresa de la semántica formal como en la ingeniería inversa de los componentes semánticos de las gramáticas de los lenguajes naturales.

Visión general

La semántica formal estudia las denotaciones de las expresiones del lenguaje natural. Las preocupaciones de alto nivel incluyen la composicionalidad , la referencia y la naturaleza del significado . Las áreas temáticas clave incluyen alcance , modalidad , vinculación , tiempo y aspecto . La semántica es distinta de la pragmática , que abarca aspectos del significado que surgen de la interacción y la intención comunicativa.

La semántica formal es un campo interdisciplinario, a menudo visto como un subcampo tanto de la lingüística como de la filosofía , al tiempo que incorpora trabajos de la informática , la lógica matemática y la psicología cognitiva . Dentro de la filosofía, los semánticos formales adoptan típicamente una ontología platónica y una visión externalista del significado. Dentro de la lingüística, es más común ver la semántica formal como parte del estudio de la cognición lingüística . Como resultado, los filósofos ponen más énfasis en las cuestiones conceptuales, mientras que los lingüistas tienen más probabilidades de centrarse en la interfaz sintaxis-semántica y la variación interlingüística.

Conceptos centrales

Condiciones de verdad

La cuestión fundamental de la semántica formal es qué se sabe cuando se sabe interpretar las expresiones de un idioma. Una suposición común es que conocer el significado de una oración requiere conocer sus condiciones de verdad , o en otras palabras, saber cómo debería ser el mundo para que la oración sea verdadera. Por ejemplo, para conocer el significado de la oración en inglés "Nancy fuma", uno tiene que saber que es verdad cuando la persona que Nancy realiza la acción de fumar.

Sin embargo, muchos enfoques actuales de la semántica formal postulan que hay más en el significado que las condiciones de verdad. En el marco semántico formal de la semántica inquisitiva , conocer el significado de una oración también requiere saber qué cuestiones (es decir, preguntas) plantea. Por ejemplo, "Nancy fuma, pero ¿bebe?" transmite la misma información condicional de verdad que el ejemplo anterior, pero también plantea la cuestión de si Nancy bebe. Otros enfoques generalizan el concepto de condicionalidad de la verdad o lo tratan como un epifenómeno. Por ejemplo, en semántica dinámica , conocer el significado de una oración equivale a saber cómo actualiza un contexto. Pietroski trata los significados como instrucciones para construir conceptos.

Composicionalidad

El principio de composicionalidad es el supuesto fundamental en semántica formal. Este principio establece que la denotación de una expresión compleja está determinada por las denotaciones de sus partes junto con su modo de composición. Por ejemplo, la denotación de la oración en inglés "Nancy fuma" está determinada por el significado de "Nancy", la denotación de "fuma" y cualquier operación semántica que combine los significados de los sujetos con los significados de los predicados . En un análisis semántico simplificado, esta idea se formalizaría postulando que "Nancy" denota a la propia Nancy, mientras que "fuma" denota una función que toma algún individuo x como argumento y devuelve el valor de verdad "verdadero" si x realmente fuma. Suponiendo que las palabras "Nancy" y "fuma" se componen semánticamente mediante la aplicación de funciones , este análisis predeciría que la oración en su conjunto es verdadera si Nancy realmente fuma.

Fenómenos

Alcance

El alcance se puede considerar como el orden semántico de las operaciones. Por ejemplo, en la oración " Paulina no bebe cerveza pero sí bebe vino ", la proposición de que Paulina bebe cerveza aparece dentro del alcance de la negación , pero la proposición de que Paulina bebe vino no. Una de las principales preocupaciones de la investigación en semántica formal es la relación entre las posiciones sintácticas de los operadores y su alcance semántico. Esta relación no es transparente, ya que el alcance de un operador no necesita corresponder directamente a su posición de superficie y una forma de superficie única puede ser semánticamente ambigua entre diferentes construcciones de alcance. Algunas teorías del alcance postulan un nivel de estructura sintáctica llamado forma lógica , en el que la posición sintáctica de un elemento corresponde a su alcance semántico. Otras teorías calculan relaciones de alcance en la propia semántica, utilizando herramientas formales como cambiadores de tipo, mónadas y continuaciones .

Vinculante

La vinculación es el fenómeno en el que los elementos anafóricos , como los pronombres, se asocian gramaticalmente con sus antecedentes . Por ejemplo, en la oración inglesa "Mary se vio a sí misma", la anáfora "ella misma" está ligada por su antecedente "Mary". La vinculación se puede autorizar o bloquear en ciertos contextos o configuraciones sintácticas, por ejemplo, el pronombre "ella" no puede estar vinculado por "María" en la oración en inglés "María la vio". Si bien todos los idiomas son vinculantes, las restricciones varían incluso entre idiomas estrechamente relacionados. La vinculación fue un importante paradigma para el gobierno y la teoría vinculante .

Modalidad

La modalidad es el fenómeno por el cual se usa el lenguaje para discutir escenarios potencialmente no reales. Por ejemplo, mientras que una oración no modal como "Nancy fumaba" hace una afirmación sobre el mundo real, oraciones modalizadas como "Nancy podría haber fumado" o "Si Nancy fumaba, estaré triste" hacen afirmaciones sobre escenarios alternativos. . Las expresiones más estudiadas incluyen auxiliares modales como "podría", "debería" o "debe"; adverbios modales como "posiblemente" o "necesariamente"; y adjetivos modales como "concebible" y "probable". Sin embargo, se han identificado componentes modales en los significados de innumerables expresiones del lenguaje natural, incluidos los contrafácticos , las actitudes proposicionales , los evidenciales , los habituales y los genéricos. El tratamiento estándar de la modalidad lingüística fue propuesto por Angelika Kratzer en la década de 1970, basándose en una tradición anterior de trabajo en lógica modal .

Historia

La semántica formal surgió como un área importante de investigación a principios de la década de 1970, con el trabajo pionero del filósofo y lógico Richard Montague . Montague propuso un sistema formal ahora conocido como gramática de Montague que consistía en un formalismo sintáctico novedoso para el inglés, un sistema lógico llamado Lógica Intensional y un conjunto de reglas de traducción homomórficas que vinculan los dos. En retrospectiva, Montague Grammar se ha comparado con una máquina de Rube Goldberg , pero se consideró trascendental cuando se propuso por primera vez, y muchas de sus ideas fundamentales sobreviven en los diversos modelos semánticos que la han reemplazado.

Barbara Partee fue una de las fundadoras y principales contribuyentes al campo.

La gramática de Montague fue un avance importante porque demostró que los lenguajes naturales podían tratarse como lenguajes formales interpretados . Antes de Montague, muchos lingüistas habían dudado de que esto fuera posible, y los lógicos de esa época tendían a ver la lógica como un reemplazo del lenguaje natural más que como una herramienta para analizarlo. El trabajo de Montague se publicó durante las Guerras Lingüísticas , y al principio muchos lingüistas quedaron desconcertados. Mientras que los lingüistas querían una teoría restrictiva que solo pudiera modelar los fenómenos que ocurren en los lenguajes humanos, Montague buscó un marco flexible que caracterizara el concepto de significado en su forma más general. En una conferencia, Montague le dijo a Barbara Partee que ella era "la única lingüista con la que no puedo hablar".

La semántica formal se convirtió en un subcampo importante de la lingüística a fines de la década de 1970 y principios de la de 1980, debido al trabajo fundamental de Barbara Partee. Partee desarrolló un sistema lingüísticamente plausible que incorporó los conocimientos clave tanto de la gramática de Montague como de la gramática transformacional . Las primeras investigaciones en semántica formal lingüística utilizaron el sistema de Partee para lograr una gran cantidad de resultados empíricos y conceptuales. El trabajo posterior de Irene Heim , Angelika Kratzer , Tanya Reinhart , Robert May y otros se basó en el trabajo de Partee para reconciliarlo aún más con el enfoque generativo de la sintaxis. El marco resultante se conoce como el sistema de Heim y Kratzer , en honor a los autores del libro de texto Semantics in Generative Grammar que lo codificaron y popularizaron por primera vez. El sistema de Heim y Kratzer se diferencia de los enfoques anteriores en que incorpora un nivel de representación sintáctica llamado forma lógica que se somete a una interpretación semántica. Por lo tanto, este sistema a menudo incluye representaciones sintácticas y operaciones que fueron introducidas por reglas de traducción en el sistema de Montague. Sin embargo, el trabajo de otros como Gerald Gazdar propuso modelos de la interfaz sintaxis-semántica que se acercaron más al de Montague, proporcionando un sistema de interpretación en el que las denotaciones podrían calcularse sobre la base de estructuras de superficie . Estos enfoques viven en marcos como la gramática categorial y la gramática categorial combinatoria .

La semántica cognitiva surgió como una reacción contra la semántica formal, pero recientemente ha habido varios intentos de reconciliar ambas posiciones.

Ver también

• Semántica alternativa
• Barbara Partee
• Composicionalidad
• Semántica computacional
• Teoría de la representación del discurso
• Semántica dinámica
• Semántica inquisitiva
• Filosofía del lenguaje
• Pragmática
• Richard Montague
• Gramática de Montague

Referencias

Otras lecturas

• Max Cresswell (2006). "Semántica formal". En Michael Devitt, Richard Hanley (ed.). La guía Blackwell de la filosofía del lenguaje . Wiley-Blackwell. ISBN 978-0-631-23142-4. Una descripción general muy accesible de las principales ideas en el campo.
• John I. Saeed (2008). Semántica . Introducción a la lingüística (3ª ed.). Wiley-Blackwell. ISBN 978-1-4051-5639-4. El Capítulo 10, Semántica formal, contiene la mejor cobertura a nivel de capítulo de las principales direcciones técnicas.
• Johan van Benthem ; Alice Ter Meulen (2010). Manual de Lógica y Lenguaje (2ª ed.). Elsevier. ISBN 978-0-444-53726-3. La referencia más completa de la zona.
• Emmon W. Bach (1989). Conferencias informales sobre semántica formal . Prensa SUNY. ISBN 978-0-88706-772-3.Uno de los primeros libros de texto. Accesible para estudiantes universitarios.
• Ronnie Cann (1993). Semántica formal: una introducción . Prensa de la Universidad de Cambridge. ISBN 978-0-521-37610-5.
• Irene Heim ; Angelika Kratzer (1998). Semántica en gramática generativa . Wiley-Blackwell. ISBN 978-0-631-19713-3.
• Gennaro Chierchia; Sally McConnell-Ginet (2000). Significado y gramática: una introducción a la semántica (2ª ed.). Prensa del MIT . ISBN 978-0-262-53164-1.
• Sean A. Fulop (2004). Sobre la lógica y el aprendizaje del lenguaje . Publicación de Trafford. ISBN 978-1-4120-2381-8.
• Glyn V. Morrill (1994). Tipo de gramática lógica: lógica categorial de signos . Saltador. ISBN 978-0-7923-3095-0.
• Reinhard Muskens. Semántica de tipo lógico . Enciclopedia de filosofía en línea de Routledge .
• Bob Carpenter (1998). Semántica de tipo lógico . Prensa del MIT. ISBN 978-0-262-53149-8.
• Johan van Benthem (1995). Lenguaje en acción: categorías, lambdas y lógica dinámica . Prensa del MIT. ISBN 978-0-262-72024-3.
• Barbara H. Partee . Reflexiones de un semántico formal a febrero de 2005. Amplia información histórica. (Una versión extendida del ensayo introductorio en Barbara H. Partee: Compositionality in Formal Semantics: Selected Papers of Barbara Partee. Blackwell Publishers, Oxford, 2004.)