第一章 引言 1
1．1 逻辑语义学的涵义 1
1．2 沿革 5
1．3 发展 13
1．3．1 关于逻辑学方面的发展 14
1．3．2 关于哲学方面的发展 19
1．3．3 关于语言学方面的发展 24
1．3．4 关于人工智能方面的发展 29
参考文献 34
第二章 弗雷格：逻辑语义学缘起 35
2．1 概述 35
2．2 概念文字及其解释 36
2．2．1 对形式语言的说明 37
2．2．2 对公式推导的解释 39
2．2．3 对演绎系统的解释 40
2．3 意义和所指 41
2．3．1 符号的意义和所指 42
2．3．2 专名的意义和所指 43
2．3．3 句子的意义和所指 44
2．3．4 概念的意义和所指 48
2．4 逻辑研究真 51
2．4．1 什么是真 51
2．4．2 如何研究真 53
2．4．3 为什么要研究真 54
2．5 弗雷格逻辑语义学思想评价 56
2．5．1 关于语形和语义 56
2．5．2 关于意义理论 57
2．5．3 关于专名 58
2．5．4 关于真 59
参考文献 60
第三章 塔斯基的外延语义理论 61
3．1 概述 61
3．2 定义真性概念的目标、要求 66
3．2．1 目标 66
3．2．2 约定T 69
3．2．3 日常语言和人工语言 70
3．2．4 对象语言和元语言 72
3．3 类演算中真句子概念的语义理论 75
3．3．1 类演算语言 76
3．3．2 满足和真性概念 80
3．3．3 结论 85
3．4 评价 88
3．4．1 开创外延逻辑语义学 88
3．4．2 运用分析方法的典型 89
3．4．3 中立主义的真理论 91
3．4．4 朴素的唯物论和辩证法因素 92
参考文献 94
第四章 卡尔纳普的外延内涵方法 95
4．1 卡尔纳普语义学思想的沿革 95
4．1．1 从逻辑语形学到逻辑语义学 96
4．1．2 从外延语义学到内涵语义学 99
4．1．3 引进内涵的必要性 102
4．2 外延内涵方法 107
4．2．1 真和L-真 110
4．2．2 语言表达式的双重意义——外延和内涵 116
4．2．3 各种语境中的可互换性 119
4．2．4 内涵同构 122
4．3 三个理论问题 127
4．3．1 对于内涵的成功的形式刻画 128
4．3．2 分析性定义的改进 133
4．3．3 内涵与内涵结构 138
参考文献 142
5．1 概述 144
第五章 克里普克的可能世界语义学 144
5．2 可能世界语义学 148
5．2．1 基本思想 148
5．2．2 叠置模态和特征公理的语义分析 151
5．2．3 模型结构和模型 154
5．2．4 克里普克语义图 156
5．2．5 模态谓词逻辑语义学 163
5．3 讨论 172
5．3．1 克里普克的名字理论 172
5．3．2 关于可能世界语义学的一些哲学问题 183
参考文献 190
第六章 蒙太古语法 191
6．1 概述 191
6．1．1 内涵和外延 192
6．1．2 内涵逻辑 193
6．1．3 范畴语法 198
6．2 PTQ语法 206
6．2．1 FE的语形学 206
6．2．2 IL的语形学 214
6．2．3 IL的语义学 218
6．2．4 从FE到IL的翻译 225
6．3 结束语 237
参考文献 243
第七章 λ-演算与组合逻辑 245
7．1 概述 246
7．2 λ-演算的语言 248
7．2．1 基本符号 248
7．2．2 自由出现与约束出现，代入 249
7．3 λ-演算的语法 251
7．3．1 归纳与转换 251
7．3．2 Church-Risser定理 252
7．3．3 外延λ-演算 253
7．4 组合逻辑的语法 254
7．4．1 组合逻辑的组成 254
7．4．2 组合逻辑中的抽象运算 255
7．4．3 与λ-演算定理等价的组合逻辑的扩充 256
7．4．4 与外延λ-演算定理等价的组合逻辑的扩充 257
7．5 组合逻辑的语义 258
7．5．1 贴合结构 258
7．5．2 组合代数 260
7．5．3 λ-代数 262
7．6 λ-演算的语义 263
7．6．1 λ-演算的模型的定义 263
7．6．2 λ-演算的项模型 266
7．6．3 λ-演算的代数模型 268
7．6．4 λ-演算的泛函模型 270
7．6．5 λ-演算的连续映射模型 272
7．6．6 Engeler λ-模型 274
7．6．7 外延λ-演算的模型 276
7．6．8 具体的λ-模型 277
参考文献 280
第八章 人工智能涉及的某些语义问题 281
8．1 什么是人工智能 281
8．2 一阶谓词逻辑的知识表示 284
8．2．1 一阶逻辑表示领域知识 285
8．2．2 语义演绎系统 291
8．2．3 子句演绎系统 293
8．2．4 Horn子句演绎系统 299
8．3 prolog语言及其指称语义和操作语义 302
8．3．1 演绎推理的实施机构——prolog语言 302
8．3．2 prolog逻辑程序的指称语义 307
8．3．3 prolog逻辑程序的操作语义 309
8．4 知识表示的其它方法 310
8．5．2 单词的获取 315
8．5 自然语言理解 315
8．5．1 理解的定义 315
8．5．3 句子的结构分析 316
8．5．4 句子的语义分析 324
参考文献 328
第九章 语言学中的逻辑语义研究 329
9．1 概述 329
9．2 库珀与“语言—逻辑—体化科学理论” 338
9．2．1 语言自动装置 340
9．2．2 演绎逻辑与语义、语用 342
9．2．3 归纳逻辑与语义 345
9．3 预设逻辑 346
9．3．1 语义预设 349
9．3．2 超赋值 351
9．3．3 语用预设 353
9．4 结语 356
参考文献 357
〔附录〕逻辑语义学和论证逻辑体系的认识论前提 358