《现代逻辑词典》

目 录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