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.