绪论 1
一、欧美逻辑学说史的研究领域 1
二、欧美逻辑学说史的历史分期 4
第一篇 古代逻辑学说 4
第一章 亚里士多德前逻辑学说的蕴萌 4
第一节 古代逻辑学说产生的背景 4
一、与生产发展相应的希腊哲学、文化和科学对逻辑学产生的影响 4
二、与古希腊阶级纷争相关的论辩技巧的探究对逻辑学诞生的推动 6
第二节 古代逻辑学说的先驱者 8
一、赫拉克利特 8
三、欧美逻辑学说史的发展特点 9
二、巴门尼德 9
三、爱利亚的芝诺 10
四、普罗泰戈拉和高尔吉亚 12
六、苏格拉底 13
五、德谟克利特 13
七、柏拉图 14
第二章 亚里士多德的逻辑学说 20
第一节 亚里士多德的逻辑观 20
第二节 概念、命题和推理 23
一、亚里士多德对概念的研究 23
二、亚里士多德对命题的研究 25
三、亚里士多德对推理的研究 29
第三节 三段论学说 30
一、三段论的定义 31
二、三段论的结构 32
三、三段论的分类 34
四、三段论的格 35
五、三段论的式 37
六、三段论的规则 39
七、三段论的化归 41
八、三段论的特点 43
一、亚氏使用的模态词 46
第四节 关于模态逻辑的学说 46
二、亚氏的模态命题理论 48
三、亚氏的模态三段论 50
第五节 关于证明的学说 56
一、亚氏关于证明的定义和结构 56
二、亚氏证明的规则 58
三、亚氏的定义学说 60
四、亚氏的公理学说 62
五、关于科学的性质问题 64
第六节 关于谬误和反驳的理论 65
一、诡辩推论中的谬误 65
二、亚氏关于反驳的理论 67
第七节 关于非分析的推理 67
一、亚氏逻辑推理的两种类型 67
二、假设三段论 69
三、类逻辑和谓词逻辑 71
四、根据等同性原理的推理 72
五、关系逻辑 73
六、一些命题逻辑的思想萌芽 74
七、根据更大和更小程度比较的推理 75
八、类比推理 76
第八节 关于形式逻辑基本规律的理论 77
一、亚氏的矛盾律和排中律 77
二、关于充足理由律问题 81
三、关于矛盾律是最基本的规律问题 83
二、关于语义学方面的元理论 84
第九节 亚里士多德的元逻辑思想 84
一、关于规范三段论的元理论 84
三、关于语法学方面的元理论 87
第十节 关于归纳的思想 88
一、归纳与演绎 89
二、亚氏发现的完全归纳推理和不完全归纳推理 90
第十一节 对亚里士多德逻辑学说的评价 91
一、亚氏逻辑的基本特征 92
二、亚氏在逻辑史上的伟大贡献 93
三、亚氏逻辑的主要局限 94
第三章 亚里士多德学派的逻辑理论 95
第一节 假言三段论和选言推理 96
第二节 模态逻辑 97
第三节 直言三段论 99
第四节 质的三段论 100
第四章 麦加拉-斯多葛学派的逻辑学说 102
第一节 麦加拉-斯多葛学派的逻辑观 105
第二节 斯多葛学派的语义学 106
一、关于Lekton这个概念 107
二、斯多葛学派逻辑关于记号、意义和指谓三者关系的论述 108
三、真和真理 110
第三节 命题和命题函子 111
一、命题 112
二、命题函子 115
一、第奥多鲁斯的模态理论 126
第四节 模态理论 126
二、费罗的模态理论 128
三、克里西普斯的模态理论 128
第五节 斯多葛学派的范畴学说和概念论 129
一、范畴学说 129
二、概念论 129
第六节 推论和推理图式 131
一、推论的定义 131
二、推论的分类 132
三、五个基本的非证明推理及其推理图式 137
四、非简单推论 139
五、非有效推论 140
六、元逻辑规则 141
七、公理化 142
八、条件化原则 143
一、悖论 144
二、说谎者悖论 144
第七节 悖论 144
第八节 麦加拉-斯多葛学派逻辑的意义 147
一、麦加拉-斯多葛学派逻辑的特征 147
二、麦加拉-斯多葛学派逻辑的意义及其影响 147
第五章 后期亚里士多德学派的逻辑理论 149
第一节 后期亚里士多德学派的逻辑发展 150
一、后期亚氏学派对逻辑技巧的发展 150
二、对直言三段论的发展和改动 152
三、盖仑的逻辑学说 153
四、波斐利和波斐利树 156
第二节 后期亚里士多德学派其他有影响的逻辑家 158
一、阿普里乌斯 158
二、盖里乌斯 159
三、卡佩拉 160
四、昆体良 161
五、塞涅卡 162
七、马里厄斯·维克多里勒 163
六、奥古斯丁 163
第二篇 中世纪和文艺复兴时期的逻辑学说 167
第六章 中世纪的逻辑学说 167
第一节 中世纪逻辑学说概述 167
第二节 中世纪前期的逻辑学说 169
一、鲍依修斯关于蕴涵理论和假言三段论的 169
新近发展 169
二、阿伯拉尔的逻辑理论 176
一、亚里士多德逻辑在东罗马帝国的传播和发展，形成阿拉伯逻辑 179
第三节 中世纪中期的逻辑学说 179
二、亚里士多德逻辑返回西欧，形成中世纪西欧的逻辑学说 188
第四节 中世纪后期的逻辑学说 199
一、卢禄的逻辑演算理论 199
二、奥卡姆的推演学说 201
三、布里丹对于推演学说的发展 204
四、萨克森的阿尔伯特的推演学说 209
五、威尼斯的保罗关于悖论的逻辑思想 213
一、逻辑观 221
第一节 拉穆斯的逻辑理论 221
第七章 文艺复兴时期的逻辑学说 221
二、对亚氏逻辑的态度和对逻辑的改革 222
三、对德奥弗拉斯特假言推理的阐发 223
第二节 人文主义的逻辑 224
一、人文主义逻辑早期几个代表人物 224
二、人文主义中修辞学逻辑的倾向 225
三、人文主义对经院逻辑的系统批判 226
四、佛罗伦萨的柏拉图学园 227
一、经院逻辑对文艺复兴时期的影响 228
第三节 文艺复兴时期的亚里士多德主义 228
二、新亚里士多德主义 231
第三篇 近代逻辑学说 236
第八章 近代前期的逻辑学说 236
第一节 培根的归纳逻辑学说 236
一、培根关于科学分类的思想及逻辑观 236
二、培根对亚氏逻辑和经院逻辑的批判 237
三、培根的归纳逻辑 239
一、笛卡儿的逻辑学说 241
第二节 近代前期的演绎逻辑思想 241
二、霍布斯的逻辑学说 245
三、斯宾诺莎的逻辑学说 247
第三节 近代前期影响深远的逻辑著作 248
一、《汉堡逻辑》 248
二、《波尔-罗亚尔逻辑》 249
第九章 莱布尼兹的逻辑学说 253
第一节 莱布尼兹的逻辑观 253
一、莱布尼兹逻辑在其哲学中的位置 253
二、莱布尼兹关于思维两大原则的观点 254
三、莱布尼兹关于传统形式逻辑的观点 256
第二节 莱布尼兹的符号主义 259
一、创设“通用数学”和“通用语言” 259
二、莱布尼兹的符号体系的构成原则和推论的本质 262
三、莱布尼兹对符号体系的具体构设 263
第三节 莱布尼兹对形式逻辑的伟大贡献 267
第一节 兰贝特对莱布尼兹逻辑的发展 269
第十章 近代后期的逻辑学说 269
第二节 康德的逻辑思想 271
一、康德的逻辑观 271
二、康德关于逻辑规律的思想 273
三、康德对概念的研究 274
四、康德对判断的研究 275
五、康德对推理的研究 276
第三节 黑格尔的逻辑思想 279
一、黑格尔的逻辑观 280
二、黑格尔对概念、判断和推理的研究 282
第四节 海尔巴特和鲍尔查诺的逻辑理论 284
一、海尔巴特的逻辑理论 284
二、鲍尔查诺的逻辑理论 285
第四篇 现代逻辑学说 291
第十一章 现代前期的逻辑学说 291
第一节 汉密尔顿的谓项量化理论 291
一、关于类逻辑的初步构设 294
第二节 德·摩根的逻辑学说 294
二、对关系逻辑的建构 296
第三节 布尔的逻辑代数 299
一、关于逻辑演算的精确思想 300
二、布尔的类演算 301
三、布尔的命题演算 307
四、布尔代数对现代形式逻辑发展的影响 312
一、耶芳斯的逻辑学说 314
第一节 布尔代数的发展 314
第十二章 现代中期的逻辑学说 314
二、文恩图解 318
三、亨廷顿和施罗德对布尔代数的发展 324
第二节 麦考尔的命题逻辑学说 328
一、麦考尔命题逻辑的基本概念和符号体系 328
二、麦考尔的命题逻辑系统 329
三、麦考尔关于模态逻辑的研究 331
一、皮尔斯关于逻辑演算的思想 333
第三节 皮尔斯的逻辑学说 333
二、对布尔逻辑代数的修正 334
三、皮尔斯的命题逻辑 336
四、皮尔斯的关系逻辑 339
五、皮尔斯关于量词的理论 344
第四节 弗雷格的逻辑学说 346
一、弗雷格的逻辑主义的逻辑观 347
二、弗雷格的命题逻辑 350
三、弗雷格的谓词逻辑 357
四、弗雷格的定义理论 358
五、弗雷格的语义学理论和证明理论 359
第五节 皮亚诺的逻辑学说 362
第六节 罗素的逻辑学说 371
一、罗素的逻辑主义 372
二、变元和约束变元、命题和命题函项 374
三、罗素的命题演算系统和谓词演算系统 377
四、罗素的蕴涵学说 381
五、罗素的逻辑类型论 383
六、罗素的摹状词理论 386
七、罗素的类逻辑与关系逻辑 390
八、罗素对现代形式逻辑的贡献及不足 396
第十三章 现代后期的逻辑学说 398
第一节 以元数学为中心的现代形式逻辑学说 398
一、希尔伯特的逻辑系统和元数学思想 399
二、数学基础论的三大流派 404
三、哥德尔的不完全性定理 414
第二节 以元逻辑为中心的现代形式逻辑学说 419
一、塔尔斯基的形式语义学理论 421
二、卡尔纳普关于语言逻辑句法的理论 434
第五篇 当代逻辑学说 443
第十四章 逻辑哲学 443
第一节 逻辑哲学概述 443
第二节 维特根斯坦及其《逻辑哲学论》 450
一、关于逻辑原子主义的思想 452
二、图式说 453
三、意义理论 454
四、真值函项的理论 456
五、逻辑命题与数学命题的理论 458
第三节 奎因的逻辑哲学思想 460
一、意义理论 460
二、真和逻辑的真 463
三、关于逻辑的本体论问题 467
四、关于逻辑的认识论问题 468
第四节 哈克的逻辑哲学思想 471
一、有效性 472
二、语句联结词 475
三、量词 477
四、关于逻辑的某些本体论和认识论问题 478
第十五章 哲学逻辑 481
第一节 哲学逻辑概述 481
一、模态词和可能世界 483
第二节 模态逻辑 483
二、最基本的现代模态逻辑系统——S5 484
第三节 道义逻辑 489
一、麻利的道义逻辑系统 489
二、冯·莱特的道义逻辑系统 492
第四节 时态逻辑 494
一、时态逻辑的一般理论 494
二、朴奈尔的时态逻辑系统 496
一、卢卡西维茨的多值逻辑系统 497
第五节 多值逻辑 497
二、波斯特的多值逻辑系统 500
第六节 概率逻辑 503
一、概率的形式性质 504
二、概率运算 505
参考文献 507
主要人名中英对照表 511
后记 516