Si bien los dos volúmenes de "Lógica, lenguaje y significado" pueden leerse en forma separada, en su conjunto constituyen una detallada visión general de la lógica moderna en tanto que herramienta para el análisis del lenguaje natural.
El volumen 2, Lógica intensional y gramática lógica, comienza con una introducción a los diversos principios de la semántica intensional, y luego brinda un tratamiento de diferentes 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 los tipos, la abstracción lambda y la gramática categorial. Se combinan la teoría de los tipos y la lógica intensional en la bien conocida lógica intensional de los tipos empleada por Montague. Luego de la necesaria maquinaria técnica lógica, sigue una detallada introducción a la Gramática de Montague en tanto que gramática lógica. El capítulo final está dedicado a una introducción de tres nuevos desarrollos en gramática lógica: la teoría de los cuantificadores generalizados, la gramática categorial flexible y la teoría de la representación del discurso.
