形式语义学导论 英文PDF电子书下载

1 绪论 1

1.1 语义学与语义理论 1

1.1.1 意义的叠置组合 2

1.1.2 语义关系 5

1.1.3 歧义 8

1.1.4 指谓 10

1.2 解释与表征 13

1.2.1 真值条件 15

1.2.2 形式化、模型与集合 17

1.3 超出真值条件的意义 19

1.3.1 知识、行为与语用 19

1.3.2 语境 22

1.4 方法略论 23

1.5 延伸阅读 25

2 谓词与论元 27

2.1 将英语译成逻辑语言 27

2.1.1 Lp语言的语法 27

2.1.2 英语的部分语法系统 28

2.1.3 转译的程序 32

2.2 对Lp语言的解释 38

2.2.1 个体和等同算子 41

2.2.2 集合论浅介 44

2.2.3 对谓词的解释 47

2.2.4 结语 52

2.3 延伸阅读 53

3 否定与并列 54

3.1 复合句 54

3.2 复杂逻辑式 55

3.3 解释 60

3.3.1 否定 60

3.3.2 合取 63

3.3.3 析取 67

3.3.4 蕴涵 70

3.3.5 等同 73

3.4 形式化解释 74

3.4.1 形式化模型 75

3.4.2 模型论 78

3.5 延伸阅读 81

4 类型论 82

4.1 动词组和其他成分 82

4.2 类型化逻辑语言 83

4.2.1 语义类型 83

4.2.2 动词组的转译 88

4.3 对集合论的补充 93

4.3.1 关系和函项 93

4.3.2 再论集合 96

4.4 对Ltype语言的解释 98

4.4.1 指谓 98

4.4.2 理论的修订 103

4.5 副词 107

4.6 延伸阅读 111

5 兰姆达算子 112

5.1 被动式 112

5.2 兰姆达算子的引入 115

5.2.1 Ltype语言的扩展 116

5.2.2 兰姆达表达式的解释 119

5.2.3 再论被动式 126

5.3 兰姆达表达式的泛化 127

5.4 并列式重考 136

5.4.1 句际并列 136

5.4.2 其他范畴的并列 143

5.5 延伸阅读 149

6 量化 150

6.1 名词组的多种形式 150

6.2 逻辑量词介绍 151

6.2.1 量词 152

6.2.2 对LQ语言的解释 154

6.2.3 量化与否定 158

6.3 叠置组合操作 159

6.3.1 量词指代词的转译 159

6.3.2 复杂名词组 162

6.3.3 名词修饰语 169

6.4 专名和有定摹状表达式 172

6.5 两个问题 177

6.5.1 类升级 177

6.5.2 辖域上的歧义 180

6.6 广义量词 187

6.7 延伸阅读 195

7 推理 197

7.1 推理的操作 197

7.2 逻辑演绎 200

7.2.1 连词推演法 204

7.2.2 量词推演法 210

7.3 词义关系 215

7.4 连词的非真值条件语义 224

7.4.1 And的语义 224

7.4.2 Or的语义 226

7.4.3 If的语义 229

7.5 延伸阅读 231

8 时间、时制与时态 233

8.1 时间上的偶然性 233

8.2 时间 233

8.2.1 时段 234

8.2.2 历时模型 236

8.3 时制 241

8.3.1 过去、现在与将来 241

8.3.2 复式时制 246

8.4 简单时态 251

8.4.1 完成态和未完成态 251

8.4.2 状态与行为 256

8.5 辖域上的歧义 259

8.6 延伸阅读 262

9 可能世界 263

9.1 衍推语义的不足 263

9.2 内涵与外延 267

9.3 其他世界的引入 269

9.3.1 简单情态 270

9.3.2 可及世界 276

9.4 延伸阅读 281

10 内涵语义学 282

10.1 内涵的模型论表达 282

10.2 内涵语言LIL 288

10.2.1 内涵表达式 289

10.2.2 ……及其解释 293

10.3 隐性语境的解释 299

10.3.1 间接及物动词 299

10.3.2 控制型动词 306

10.3.3 命题态度 308

10.4 两个问题 315

10.4.1 内涵的等值 316

10.4.2 跨世界的指称 319

10.5 结语 320

10.6 延伸阅读 322