序言 1
第一编 演绎及其证成 3
第一章 变异逻辑的挑战 3
本章提要 3
第一节 经典逻辑的一个形式系统 3
第二节 什么是扩充逻辑和变异逻辑？ 9
第三节 变异逻辑是否与经典逻辑相冲突？ 14
第四节 正确的逻辑是一种还是多种？ 22
思考题 26
推荐阅读文献 27
第二章 逻辑后承 29
本章提要 29
第一节 推理、后承关系和蕴涵 29
第二节 保真性 33
第三节 必然性 38
第四节 相干性和独立性 40
第五节 普遍性和简单性 45
思考题 49
推荐阅读文献 49
第三章 演绎的证成 51
本章提要 51
第一节 绝对主义逻辑观面临的挑战 51
第二节 可靠性、完全性与逻辑系统的证成 55
第三节 逻辑与经验的间接联系 59
第四节 逻辑真理的相对必然性 63
第五节 逻辑在原则上是可修正的 66
思考题 67
推荐阅读文献 67
第一节 塔斯基关于真的语义定义 71
本章提要 71
第二编 真理与悖论第四章 逻辑真理 71
第二节 经典逻辑中的逻辑真 76
第三节 哲学逻辑中的逻辑真 80
第四节 逻辑真理的哲学性质 83
第五节 没有思维基本规律吗？ 88
思考题 91
推荐阅读文献 92
第五章 逻辑悖论 94
本章提要 94
第一节 悖论的特征和关于解悖方案的要求 94
第二节 语形悖论及其主要解决方案 99
第三节 语义悖论及其主要解决方案 111
第四节 关于悖论产生原因的分析 118
第五节 关于悖论研究的一些思考 124
思考题 130
推荐阅读文献 131
第三编 意义与指称第六章 逻辑学中的意义理论 137
本章提要 137
第一节 观念论、心理主义和反心理主义 137
第二节 指称论、真值条件论和外延逻辑 144
第三节 精致的指称论和内涵逻辑 147
第四节 使用论和自然语言逻辑 150
思考题 160
推荐阅读文献 160
第七章 摹状词 163
本章提要 163
第一节 罗素的理论 163
第二节 斯特劳森的观点 168
第三节 唐奈兰的观点 172
第四节 克里普克的观点 175
第五节 简要的评论 177
思考题 180
推荐阅读文献 180
第八章 专名和通名 182
本章提要 182
第一节 描述理论 183
第二节 因果历史理论 192
第三节 描述理论已经被驳倒了吗？ 208
第四节 一种经过修正和改造的描述理论 216
思考题 223
推荐阅读文献 224
第九章 命题和言语行为 229
本章提要 229
第一节 什么是命题？ 230
第二节 命题是否作为意义实体而存在？ 233
第三节 命题的真假：符合、融贯和冗余 237
第四节 “说话就是做事”：言语行为理论 243
第五节 简要的评论 262
思考题 263
推荐阅读文献 263
第十章 主词和谓词 267
本章提要 267
第一节 实体—属性理论 267
第二节 个别—一般理论 270
第三节 外延理论、内涵理论 274
第四节 同一理论、扩大理论 277
第五节 相似理论、语用理论 280
第六节 个体词、谓词和量化命题 283
第七节 简要的评论 285
推荐阅读文献 287
思考题 287
第四编 存在、量化和本体论 293
第十一章 逻辑和本体论 293
本章提要 293
第一节 量词和本体论承诺 293
第二节 “是”的存在含义与关于“存在”谓词的论战 299
第三节 逻辑中的唯名论和柏拉图主义 305
第四节 存在的三个层次或类型 308
思考题 311
推荐阅读文献 311
第十二章 模态逻辑和可能世界 314
本章提要 314
第一节 模态逻辑和可能世界语义学 314
第二节 有关模态逻辑的问题 321
第三节 有关可能世界的问题 329
第四节 跨界同一性和跨界识别 335
思考题 339
推荐阅读文献 340
第五编 归纳逻辑和休谟问题 345
第十三章 归纳的证成 345
本章提要 345
第一节 休谟问题及其影响 345
第二节 金岳霖的归纳证成方案 348
第三节 归纳问题在逻辑上无解 354
第四节 归纳的实践必然性 358
第五节 一个全面的归纳逻辑研究纲领 361
思考题 363
推荐阅读文献 363
参考文献 365
人名中英文对照表 371
术语索引 374