第一部分是对20世纪70年代以来自然语言逻辑一些重要理论的介绍，包括蒙塔古语法、範畴类型逻辑、话语表现理论、情境理论、管辖和约束理论、博弈论语义学六个理论。第二部分选择了影响较大的专题研究，包括组合原则、特徵逻辑、类型论、动态语义学、偏序、数理语言学和证明论、形式学习理论、语言学巾的非对称性八个专题研究。第三部分主要关注能够激发逻辑理论创新的一些重要的语言问题：在语言学和逻辑学中的广义量词、时间性、预设、複数与聚合、质疑、概称和预设六个问题。该书力图说明在逻辑和自然语言交叉层面的研究中，逻辑系统如何被设计和修改以适应刻画自然语言的需要，并且在上述过程中数学理论怎样产生以及它们对后续的语言学理论发展的影响。