欧美逻辑学说史PDF电子书下载

绪论 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