La semántica formal: un panorama desde la perspectiva de la gramática generativa

Abstract

Este trabajo se propone trazar un estado del arte de la semántica formal o semántica composicional, disciplina que usa herramientas de la lógica y la matemática para estudiar sistemáticamente el modo en que se compone el significado lingüístico de las expresiones complejas. En primer lugar, se esboza una breve historización de la disciplina. En segundo lugar, se presenta el aparato lógico que permite construir un modelo semántico para el significado veritativo-condicional. En tercer y cuarto lugar se introducen algunos conceptos que permiten extender este sistema para modelizar los significados no proposicional y temático respectivamente. Finalmente, se resumen algunas de las propuestas y discusiones respecto de cómo utilizar este aparato para dar cuenta del significado de una selección de clases de palabras y categorías gramaticales disponibles en las lenguas naturales.

The aim of this paper is to provide a state of the art in the field of formal semantics, a branch of linguistics which relies on logic and mathematics to study systematically how the meaning of complex linguistic expressions is derived. First, I offer an overview of the history of the discipline. Second, I present the logical apparatus that allows us to build a semantic model for truth-value meaning. In the third and fourth place, I introduce some concepts that make it possible to extend the formal system in order to deal with not-at-issue and information-structure meanings, respectively. Finally, I review some of the proposals and discussions on how to use this system to account for a selection of parts of speech and grammatical categories available in natural languages.