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

约德·温特（Yoad Winter）是荷兰乌得勒支大学语言学学院语义学及人工智能专业教授。其研究领域主要有人工智能、计算机科学、语言学、自然语言处理等。

《西方语言学视野》总序
《形式语义学要素》导读
英文目录
致谢
符号
缩写
勘误表
第一章 导言
写作目的和全书结构
关于本书的练习
适用对象
知识背景要求
教学建议
延伸阅读、练习和答案
第二章 意义与形式
蕴涵
模型和真值条件标准
任意和恒定指谓
蕴涵的分析
直接组合性
结构歧义
延伸阅读、练习和答案
第三章 类型与语义组合
第一部分：类型和域
第二部分：指谓的组合
第三部分：兰姆达标记系统的使用
第四部分：指谓的限制
延伸阅读、练习和答案
第四章 量化名词短语
广义量词和量化名词短语的指谓
在模型中考察广义量词
量词单调性
量化名词短语和动词短语并列结构
限定词表达
关于单调性和否定极性词的说明
更多蕴涵关系以及限定词守恒性
量化名词短语并列结构
专有名词和广义量词
延伸阅读、练习和答案
第五章 长距离语义关系
多重名词短语小句
假设推理和兰贝克一范本瑟姆演算
语言符号和抽象范畴语法
符号的使用
延伸阅读、练习和答案
第六章 内涵性和可能世界
有关内涵表达的困惑
外延、内涵和可能世界
内涵性和语法结构体系
唯名／唯实解读和辖域歧义
延伸阅读、练习和答案
第七章 结语和延伸专题
要点回顾
下一步的方向
更多形式语义学专题和阅读文献
第三章附录
参考书目
索引