Una región interdisciplinaria emerge entre los límites de la filosofía, la lógica y la lingüística. Este libro es una introducción a este campo que aplica los sistemas lógico-formales al estudio del significado del lenguaje natural. Con una introducción de los distintos principios de la semántica intensional, presenta varias lógicas intensionales tales como la lógica proposicional modal, la lógica de los predicados y la lógica temporal. También introduce a la teoría de tipos, la lambda-abstracción y la sintaxis categorial.