《形式语义学导论》由剑桥大学出版社于1993年出版，作者Ronnie Cann长期执教于爱丁堡大学语言学系，曾任该系系主任。

较之一些同类教材，本书的特色在于循序渐进地系统介绍经典蒙太格语义学，不预设语义学和逻辑学的专门知识，便于初学者阅读。

本书没有预设语义学和逻辑学的专门知识，循序渐进地介绍了经典蒙太格语义学，便于初学者阅读。读者通过本书可对蒙太格语义学的体系有较全面深入的认识。

本书适合语言学、人工智能、认知科学等相关专业的研究者阅读。

《西方语言学视野》总序

《形式语义学导论》导读

原书目录

1 绪论

 1.1 语义学与语义理论

1.1.1 意义的叠置组合

1.1.2 语义关系

1.1.3 歧义

1.1.4 指谓

 1.2 解释与表征

1.2.1 真值条件

1.2.2 形式化、模型与集合

 1.3 超出真值条件的意义

1.3.1 知识、行为与语用

1.3.2 语境

 1.4 方法略论

 1.5 延伸阅读

2 谓词与论元

 2.1 将英语译成逻辑语言

2.1.1 Lp语言的语法

2.1.2 英语的部分语法系统

2.1.3 转译的程序

 2.2 对Lp语言的解释

2.2.1 个体和等同算子

2.2.2 集合论浅介

2.2.3 对谓词的解释

2.2.4 结语

 2.3 延伸阅读

3 否定与并列

 3.1 复合句

 3.2 复杂逻辑式

 3.3 解释

3.3.1 否定

3.3.2 合取

3.3.3 析取

3.3.4 蕴涵

3.3.5 等同

 3.4 形式化解释

3.4.1 形式化模型

3.4.2 模型论

 3.5 延伸阅读

4 类型论

 4.1 动词组和其他成分

 4.2 类型化逻辑语言

4.2.1 语义类型

4.2.2 动词组的转译

 4.3 对集合沦的补充

4.3.1 关系和函项

4.3.2 再沦集合

 4.4 对Ltype语言的解释

4.4.1 指谓

4.4.2 理论的修订

 4.5 副词

 4.6 延伸阅读

5 兰姆达算子

 5.1 被动式

 5.2 兰姆达算子的引入

5.2.1 L语言的扩展

5.2.2 兰姆达表达式的解释

5.2.3 再论被动式

 5.3 兰姆达表达式的泛化

 5.4 并列式重考

5.4.1 句际并列

5.4.2 其他范畴的并列

 5.5 延伸阅读

6 量化

 6.1 名词组的多种形式

 6.2 逻辑量词介绍

6.2.1 量词

6.2.2 对Ln语言的解释

6.2.3 量化与否定

 6.3 叠置组合操作

6.3.1 量词指代词的转译

6.3.2 复杂名词组

6.3.3 名词修饰语

 6.4 专名和有定摹状表达式

 6.5 两个问题

6.5.1 类升级

6.5.2 辖域上的歧义

 6.6 广义量词

 6.7 延伸阅读

7 推理

 7.1 推理的操作

 7.2 逻辑演绎

7.2.1 连词推演法

7.2.2 量词推演法

 7.3 词义关系

 7.4 连词的非真值条件语义

7.4.1 And的语义

7.4.2 Or的语义

7.4.3 If的语义

 7.5 延伸阅读

8 时间、时制与时态

 8.1 时间上的偶然性

 8.2 时间

8.2.1 时段

8.2.2 历时模型

 8.3 时制

8.3.1 过去、现在与将来

8.3.2 复式时制

 8.4 简单时态

8.4.1 完成态和未完成态

8.4.2 状态与行为

 8.5 辖域上的歧义

 8.6 延伸阅读

9 可能世界

 9.1 衍推语义的不足

 9.2 内涵与外延

 9.3 其他世界的引入

9.3.1 简单情态

9.3.2 可及世界

 9.4 延伸阅读

10 内涵语义学

 10.1 内涵的模型论表达

 10.2 内涵语言Lu

10.2.1 内涵表达式

10.2.2 及其解释

 10.3 隐性语境的解释

10.3.1 间接及物动词

10.3.2 控制型动词

10.3.3 命题态度

 10.4 两个问题

10.4.1 内涵的等值

10.4.2 跨世界的指称

 10.5 结语

 10.6 延伸阅读