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