自然语言语义学是涉及语言学、逻辑学、计算机科学、心理学等诸多领域的一门学科。本书第1-6章和第8-10章主要介绍成分结构语法及相关知识，第7章和第11-15章主要介绍类型逻辑语法(Lambek类型语法)，并讨论了成分结构语法和类型逻辑语法之间的异同。本书对自然语言语义学的介绍主要是基于英语的语法，作为导论性书籍，省略了许多更为复杂的逻辑形式。