Lógica, lenguaje y significado. Lógica intensional y gramática lógica

Este texto representa el esfuerzo combinado de dos lógicos, dos filósofos y un lingüista. Esta empresa fue inspirada por la convicción de los autores de que la lógica y el lenguaje son inseparables, en particular en lo que respecta al análisis del significado. Una región interdisciplinaria emerge entre los límites de la filosofía, la lógica y la lingüística. Lógica, lenguaje y significado: lógica intensional y gramática lógica es una introducción a este campo, el cual aplica los sistemas lógico-formales al estudio del significado del lenguaje natural. El libro comienza con una introducción de los distintos principios de la semántica intensional y luego presenta varias lógicas intensionales, tales como la lógica proposicional modal, la lógica de predicados modal y la lógica temporal. También introduce la teoría de tipos, la lambda-abstracción y la sintaxis categorial. La teoría de tipos y la lógica intensional se combinan para dar lugar a la reconocida lógica de tipos intensional empleada por Montague. Después de presentar la maquinaria lógico técnica necesaria, continúa con una introducción detallada de la Gramática de Montague como un caso particular de gramática lógica. El capítulo final se dedica a la introducción de tres desarrollos en gramática lógica: la teoría de los cuantificadores generalizados, la sintaxis categorial flexible, y la teoría de representación de discursos. La presente versión en español, editada por la Editorial Universidad del Rosario, contiene, además, una "Nota de los traductores". En ella se discuten las adaptaciones y modificaciones más notables que se hicieron a la Gramática de Montague y a los ejemplos, para explicar los fenómenos lingüísticos propios del español.