作为一本形式语义学教科书，《形式语义学的要素》着重呈现该领域研究的两个“要素”：一是形式分析的对象——蕴涵（entailment）推理这一语义直觉。全书讨论结构歧义、广义量词、内涵语境下唯名唯实解读等一系列语义问题均围绕蕴涵关系的解释展开，既突出了蕴涵推理作为语义直觉的重要地位，也充分体现形式语义学作为经验科学解释语义直觉的初衷。二是对语义组合原则的讨论。作为形式语义学的基本原则，任何一本形式语义学教材都会涉及语义组合性，本书的特色主要是将讨论延伸至不相邻表达语义组合带来的挑战及相应的处理手段。