《现代西方哲学逻辑》求取 ⇩

前言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