目 录 1
撰稿人名单 1
导言 1
词 目 7
悖论 7
逻辑（集合论）悖论。语义悖论。悖论的消除 18
波兰记法 18
程序设计语言 21
抽象可计算理论 24
抽象算子 26
初等理论 30
代数结构 33
道义逻辑 46
字母表。合式公式。公理。推理规则。定义。选出的定理递归函数 57
定义和主要性质。递归论。广义化（一般化）递归论点号记法 70
定义 72
标准定义。归纳定义。条件定义。其他定义 87
独立性 87
对话逻辑 89
对偶 102
多值逻辑 104
反例方法 116
波斯特逻辑。卢卡西维茨逻辑。多值逻辑的应用 116
范畴语法 121
句法联结。范畴语法与语义范畴和语法范畴的理论。范畴语法与其他形式语法的比较。术语和记法的差异范式 134
分析性 138
概率 142
概率的形式性质。概率的解释。随机变量。概率和归纳推理。概率和信息哥德尔定理 158
一阶谓词演算的完全性定理。皮亚诺算术的不完全性。相容性的不可证明性公理集合论 160
关系理论 165
后承 171
界限自动机 175
可定义性 181
可判定性 183
可判定性理论。不可判定理论和问题 189
莱斯涅夫斯基的系统 189
初始学。本体论。部分学 203
兰布达－算子（λ－算子） 203
类理论 206
类型论 209
简单类型论。分支类型论。蒯因的系统。各种形式的类型论和其他一些理论的联系量词 222
逻辑语法学 227
语法学的概念。形式语法和逻辑语法。语法描述的工具。作为逻辑语法学例子的语句演算。基本的证明论概念逻辑语义学 242
模型论。真值语义学 251
逻辑语用学 251
语用学的概念。逻辑语用学的概念。逻辑语用学的方法和概念机制。对蒙塔古语用学的评价逻辑形式 268
名称 275
模态词 278
模态词的种类。模态系统的类别。模态词和量化 291
模态逻辑 291
模态语义学 300
模型论 305
内涵 313
时态逻辑 316
矢列演算 320
树 326
算法 330
算术 336
拓扑 339
抽象拓扑空间 343
外延 343
完全性 347
谓词逻辑 351
一阶逻辑语言的语法。公理、推理规则、定理选介。语义学。元数学性质。一些基本的元定理。带等词和函数符号的谓词逻辑。带等词的二阶谓词逻辑。谓词逻辑的某些变种问题 375
无穷集 380
现代逻辑史 384
语句逻辑。谓词逻辑。逻辑代数。元数学 408
相容性（一致性） 408
形式化 410
形式语法 413
短语结构语法。短语结构语法的类型 423
演绎定理 423
演绎方法 427
衍推和相干 430
阿克曼的严密蕴涵演算。衍推和相干的其他系统 439
意义 439
意义的类型。意义作为一种使用方法 444
映射 444
有定摹状词 447
包含摹状词的推理问题。罗素方法。弗雷格方法。自然语言中的摹状词有序集 463
语句 468
语句逻辑 470
真值函项。重言式，可判定性。语句逻辑的公理系统。元数学性质真 482
塔斯基关于满足的定义。真的可定义性和不可定义性。逻辑真。改进的方法真值表方法 500
直觉主义逻辑 504
直觉主义。逻辑常项的意义。命题演算。谓词逻辑自动机 517
图灵机。线性界限自动机。下推自动机。其他类型的自动机自然演绎 525
组合逻辑 529
公理和直接推论。λ－演算的一些性质 534
总文献目录 534
主题索引与术语表 551
人名译名对照表 594
符号索引 602