现代西方哲学逻辑PDF电子书下载

前言 2

导论 4

第一章 命题与可能世界 18

1.1 命题及其本体地位 18

1.2 可能世界的理论 27

1.3 推理的永真性和其他逻辑关系 38

第二章 命题逻辑：命题的语句和语句学 45

2.1 命题的语句和真值联结词 45

2.2 多重复杂命题的语句 62

2.3 非真值复杂命题 64

2.4 SL的语句学 66

第三章 命题逻辑：语义学 72

3.1 赋值和语句的真值表 72

3.2 逻辑真理性，逻辑错误性和逻辑可能性 79

3.3 语义等值关系 81

3.4 语义一致性 83

3.5 推演关系和永真性 85

第四章 命题逻辑：演绎 92

4.1 推理和演绎 92

4.2 SL的演绎规则 96

4.3 演绎的方法和技巧 108

4.4 SL自然演绎体系的基本概念 120

4.5 命题逻辑的完全性和确实性 128

第五章 命题逻辑：语义推导 132

5.1 语义推导和语义一致性 132

5.2 逻辑真理性，逻辑错误性和逻辑可能性 139

5.3 语义等值关系 142

5.4 推演关系和永真性 145

第六章 谓词逻辑：命题的语句和语句学 149

6.1 命题逻辑的局限性 149

6.2 个体常项和谓词 150

6.3 量词和量词式 154

6.4 符号化过程中可能存在的问题 161

6.5 多重量词式 165

6.6 同一关系及其逻辑特性 167

6.7 复杂的PL语句 170

6.8 PL的语句学 172

第七章 谓词逻辑：语义学 176

7.1 PL语义学概念——解释 176

7.2 逻辑真理性，逻辑错误性和逻辑可能性 186

7.3 语义等值关系和语义一致性 191

7.4 推演关系和永真性 196

7.5 PL的严格语义学 199

第八章 谓词逻辑：演绎 208

8.1 PL的演绎规则 208

8.2 PL演绎的方法与技巧 218

8.3 PL自然演绎体系的基本概念 224

第九章 谓词逻辑：语义推导 233

9.1 PL语义推导及其规则 233

9.2 语义一致性 235

9.3 逻辑真理性，逻辑错误性和逻辑可能性 238

9.4 语义等值关系 245

9.5 推演关系和永真性 248

第十章 个体词和指称 252

10.1 罗素的三大难题 253

10.2 马尔朗的对象理论 258

10.3 弗雷格的含义与指称理论 262

10.4 罗素的摹状词理论 272

10.5 斯特劳逊的直指学说 288

10.6 克里普克的模态理论 296

第十一章 存在量词式和本体论 315

11.1 存在就是作为变项的值 315

11.2 没有同一性就没有实体 323

第十二章 悖论与类型论 330

参考书目 351

术语对照表 353