自然语言语义学是涉及语言学、逻辑学、计算机科学、心理学等诸多领域的一门学科。本书主要讨论成分结构语法和类型逻辑语法，涵盖重要的逻辑概念和语言模式，并通过科学归纳进行实证研究。本书对自然语言语义学的介绍主要是基于英语语法，作为导论性书籍，省略了一些复杂的逻辑形式。同时，本书对读者的数学和逻辑学背景知识要求较低，对于学习本书所必需的数学和逻辑学知识，书中都进行了集中讲解，便于读者掌握基本的逻辑工具并开展进阶学习。

现为加拿大麦吉尔大学语言学教授。于1984年获美国麻省理工学院的哲学博士学位，1975年获得美国密歇根大学东亚研究硕士学位，1979年在多伦多大学获得梵文和印度学硕士学位。 Brendan教授曾在中国台北学习普通话和古汉语，后在美国印度研究所任高级研究员（1986-1987）。曾先后在美国麻省理工学院、加拿大阿尔伯塔大学和多伦多大学任教，主教哲学。在奥地利，加拿大，法国，德国，印度www.fltacn.com日本，荷兰，瑞典，瑞士，美国和英国的许多大学举办过专题讲座。

目　　录
Natural Language Semantics: Formation and Valuation
译者序
前言
希腊字母表
第1章　语言、语言学、语义学导论　1
1.1　20世纪以前的语言研究　1
1.2　语言学的诞生　1
1.2.1　语言学和心理学　2
1.2.2　语言学和逻辑学　11
1.3　结论　23
1.3.1　涵盖的主题及其相互关系　23
1.3.2　关于实证研究的几点看法　23
部分练习答案　31
第2章　基础集合论　34
2.1　介绍　34
2.2　集合及其成员　34
2.2.1　一些重要的集合　35
2.2.2　集合的大小　36
2.2.3　集合之间的关系　36
2.3　集合的运算　41
2.4　序列　44
2.4.1　有序对　44
2.4.2　笛卡儿积　44
2.5　集合族　46
2.5.1　幂集运算　46
2.5.2　集合族运算　47
2.6　关系　49
2.6.1　集合上的二元关系　50
2.6.2　集合到集合的二元关系　57
2.6.3　函数　60
部分练习答案　68
第3章　基础英语语法　70
3.1　介绍　70
3.2　传统英语语法　71
3.2.1　词类　71
3.2.2　从句　79
3.2.3　传统英语语法的局限性　81
3.3　英语句法　82
3.3.1　直接成分分析法　83
3.3.2　成分语法　88
3.3.3　论证和证据　93
3.3.4　问题　98
3.4　结论　112
部分练习答案　113
第4章　语言和语境　119
4.1　语境　119
4.2　背景和外指　120
4.2.1　人称　122
4.2.2　时间顺序　124
4.2.3　空间位置　125
4.2.4　深入细节　126
4.3　语境：内指与省略　127
4.3.1　内指　129
4.3.2　省略　133
4.4　语境和歧义　137
4.5　结论　140
部分练习答案　140
第5章　语言与认知：暗含与预设　143
5.1　语言、交流和认知　143
5.2　暗含　143
5.2.1　Grice准则　145
5.2.2　暗含的性质　149
5.2.3　暗含与歧义　150
5.3　预设　152
5.3.1　预设的触发因素　154
5.3.2　共同点　155
5.3.3　预设、蕴含和暗含　156
5.4　目的和理解　158
5.5　结论　161
部分练习答案　161
第6章　经典命题逻辑：符号
与语义　163
6.1　论证　163
6.2　经典命题逻辑　165
6.2.1　符号　168
6.2.2　语义　175
部分练习答案　186
第7章　经典命题逻辑：演绎　188
7.1　演绎　188
7.2　公式自然演绎　189
7.2.1　列中的公式　189
7.2.2　树中的公式　203
7.3　序列自然演绎　207
7.3.1　列中的序列　207
7.3.2　树中的序列　212
7.4　Gentzen序列演算　215
7.4.1　∧左引入和右引入　216
7.4.2　?左引入和右引入　216
7.4.3　→左引入和右引入　217
7.4.4　∨左引入和右引入　217
7.4.5　?左引入和右引入　218
7.5　子结构逻辑　218
第8章　英语连接词　220
8.1　介绍　220
8.2　英语连接词和分句　220
8.3　真值和独立，陈述句　225
8.4　英语并列连词and　226
8.4.1　英语并列连词and的明显
问题　228
8.4.2　英语并列连词and的未解决
问题　232
8.5　英语并列连词or　235
8.5.1　英语并列连词or的明显
问题　236
8.5.2　英语并列连词or的未解决
问题　240
8.6　英语从属连词if　242
8.6.1　英语从属连词if的明显
问题　245
8.6.2　英语从属连词if的未解决
问题　247
8.7　英语副词not　252
8.7.1　not的语法　253
8.7.2　英语副词not的未解决问题　254
8.8　结论　255
部分练习答案　255
第9章　经典谓词逻辑　257
9.1　介绍　257
9.2　符号　257
9.2.1　CPDL公式　259
9.2.2　公式和子公式　260
9.3　语义　262
9.3.1　语义性质和关系　266
9.4　演绎　269
部分练习答案　270
第10章　英语中的语法谓语和最小
子句　272
10.1　介绍　272
10.2　最小英语子句　273
10.2.1　动词短语：动词及其补语　273
10.2.2　形容词短语：形容词及其
补语　284
10.2.3　介词　287
10.2.4　名词　289
10.3　英语词典的一种结构　289
10.3.1　类别更加丰富的成分语法　291
10.3.2　语义　294
10.3.3　成分估值规则定义　296
10.3.4　进一步扩展　302
10.3.5　未解决的问题　310
10.4　结论　312
第11章　经典量化逻辑　313
11.1　符号　313
11.2　CQL的经典估值方法　319
11.2.1　CQL估值的综合定义　319
11.2.2　CQL估值的分类定义　335
11.2.3　语义性质和关系　340
11.3　演绎　347
11.3.1　?消除　347
11.3.2　?引入　348
11.3.3　?引入　349
11.3.4　?消除　350
部分练习答案　355
第12章　经典量化逻辑的扩展　358
12.1　介绍　358
12.2　带有等价关系的经典量化逻辑　358
12.3　一元量化逻辑　362
12.3.1　一位一元量化逻辑　362
12.3.2　二位一元量化逻辑　367
12.4　结论　376
部分练习答案　376
第13章　Lambek演算和Lambda
演算　378
13.1　介绍　378
13.2　Lambek演算　379
13.2.1　公式演绎　379
13.2.2　序列演绎　382
13.2.3　Gentzen演绎　389
13.2.4　割消除　395
13.3　Lambda演算　402
13.3.1　Lambda演算的表示　402
13.3.2　语义：功能结构　411
13.3.3　演绎　413
13.4　Lambek类型的Lambda演算　419
部分练习答案　425
第14章　英语名词短语　426
14.1　介绍　426
14.2　英语中的简单名词短语　426
14.2.1　英语名词　426
14.2.2　形容词　432
14.2.3　限定词　435
14.3　整合　436
14.3.1　带有数量名词短语的简单
从句　437
14.3.2　再议形容词　441
14.3.3　介词短语　443
14.3.4　限制性关系从句　445
14.3.5　再议数量名词短语　448
14.3.6　非从句并列连接　458
14.4　结论　466
部分练习答案　467
第15章　总结　468
15.1　介绍　468
15.2　回顾　468
15.3　未涵盖的内容　470
15.4　相关方法　472
参考文献　474