现代形式逻辑入门PDF电子书下载

查看更多关于的内容

第一章 经典形式逻辑简介 2

第一节 形式逻辑之初衷 2

第二节 工具论 11

第三节 四种判断之间的关系 18

第二章 现代形式逻辑简介 26

第一节 简史 26

第二节 弗雷格的批判 40

第三节 数理逻辑的哲学意义 49

第三章 谓词演算 56

第一节 从函数到谓词演算 56

第二节 个体词（个体常项、专指语） 58

第三节 量词 61

第四节 谓词常项与变项 71

第五节 谓词演算的公理和定理 74

第六节 小结 75

第四章 命题演算 78

第一节 逻辑原子论 78

第二节 逻辑联结词 79

第三节 命题演算和逻辑真值表 80

第四节 复杂的复合命题 93

第五节 归谬法、重言式 96

第六节 英语终止性和延续性动词之间的假言关系 99

第五章 内涵逻辑 104

第一节 从外延逻辑说起 104

第二节 问题的提出：实质蕴涵悖论 106

第三节 内涵逻辑 110

第六章 狭义模态逻辑 114

第一节 基本概念 114

第二节 狭义模态逻辑 119

第三节 克里普克语义学 128

第七章 模态命题演算VS模态谓词演算 134

第一节 模态命题演算 134

第二节 模态谓词演算 136

第三节 小结 138

第八章 广义模态逻辑 140

第一节 可证性逻辑 140

第二节 认识逻辑 141

第三节 道义逻辑 145

第四节 时态逻辑 148

第九章 关系逻辑与谓词特征 156

第一节 关系逻辑 156

第二节 谓词特征和元 158

第三节 二元谓词的特征和推理 160

第十章 语义公设 166

第一节 语义公设与涵义关系 166

第二节 小结 170

第十一章 蒙塔古语义学 172

第一节 转换生成语法vs蒙塔古语法 172

第二节 通用语法 177

第三节 用内涵逻辑解释语义 178

第四节 数理逻辑法 180

第五节 PTQ系统 182

第六节 自然语言逻辑 184

第十二章 现代形式逻辑的利与弊 191

第一节 优点 191

第二节 问题 194

第三节 小结 204

附录 205

附录1 普通逻辑学提纲 205

附录2 数理统计在当代语言测试中的应用 206

附录3 论证与论文写作 218

附录4 术语英汉对照表 230

附录5 国外人名对照表 241

主要参考书目 246

查看更多关于的内容