现代逻辑词典PDF电子书下载

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