En este libro se presentan los conceptos y las técnicas centrales de la lógica formal que se utilizan en la semántica de la oración y en el análisis de las inferencias lingüísticas, así como una exposición de las propuestas teóricas dirigidas al estudio de la modalidad. Los cuatro capítulos tienen como hilo conductor el estudio del significado en las lenguas naturales, desde perspectivas con las que actualmente se analiza. Se circunscriben al significado gramatical y a la pragmática. Cada capítulo ofrece una amplia bibliografía. Sus autoras, basadas en los resultados de sus investigaciones y en su experiencia didáctica, exponen, paso a paso: a) las bases para construir e interpretar las fórmulas de la lógica cuantificacional, así como los requisitos que las lenguas naturales le han impuesto al lenguaje formalizado, para enriquecerlo; b) los principios de la semántica veritativa composicional con modelos, dirigidos a describir el conocimiento que los hablantes tenemos del significado oracional de nuestra lengua, cualquiera que ésta sea; c) Una mirada conciliadora de Grice, entre “formalistas” e “informalistas”, como prólogo para abordar las inferencias lingüísticas, y un método que permite distinguirlas entre sí y de las inferencias lógicas; d) un recorrido por los avances que han tenido los estudios de la modalidad, a partir de la herencia medieval, hasta el día de hoy, en un camino de búsqueda que ubica en el horizonte las tres funciones básicas del lenguaje.