逻辑学大全PDF电子书下载

逻辑学 1

一、普通逻辑 1

普通逻辑 2

(一)概念 3

概念 3

事物 3

事物的属性和类 3

概念与语词 8

概念的内涵和外延 9

属概念与种概念 9

内涵和外延的反变关系 10

普遍概念与单独概念 11

集合概念与非集合概念 11

概念的种类 11

简单概念与复合概念 12

概念外延间的关系 14

定义 26

定义的组成 27

定义的模式 27

定义的规则 30

划分 34

划分的三要素 34

划分的规则 35

分类 35

分类的类型 35

(二)命题 39

命题 39

命题与语句 40

命题的结构 40

命题与判断 41

命题的种类 42

简单命题 42

性质命题 42

周延与不周延 45

性质命题的真假 46

性质命题的对当关系 47

关系命题 50

关系命题的组成 50

关系的逻辑特性 51

复合命题 53

命题联结词 53

联言命题 54

选言命题 55

假言命题 58

相关命题间的条件联系 58

充分条件假言命题 59

必要条件假言命题 60

充分条件假言命题与必要条件假言命题的相互转换 61

充分必要条件假言命题 62

负命题 64

多重复合命题 67

模态命题 67

任意两命题之间的真假关系 70

几种特殊的命题形式 71

多数S是(不是)P，少数S是(不是)P 72

除X外，S都是P 72

只有S才(是)P 72

S基本上是P 73

P或非P是q或非q的关键 73

(三)普通逻辑基本规律 73

普通逻辑基本规律 73

同一律 75

不矛盾律 77

排中律 80

充足理由律 83

(四)推理 87

推理 87

推理内容与推理形式 88

推理的语言形式 90

演绎推理 91

复合命题推理 92

联言推理 92

选言推理 93

不相容的选言推理 94

相容的选言推理 95

假言推理 96

假言直言推理 96

充分条件假言推理 96

必要条件假言推理 98

充分必要条件假言推理 99

纯假言推理 101

充分条件纯假言推理 101

必要条件纯假言推理 102

假言选言推理 103

二难推理 104

假言易位推理 106

归谬法 108

假言联言推理 109

反三段论 109

简单命题推理 111

直接推理 111

命题的变形 111

根据对当关系的直接推理 117

附性法 120

间接推理 121

三段论 121

三段论公理 122

三段论规则 123

三段论的格 124

三段论的式 126

三段论的简略式 127

三段论的复合式 128

关系命题推理 130

纯粹关系推理 131

混合关系推理 133

模态推理 134

直接模态推理 134

间接模态推理 136

归纳推理 139

完全归纳推理 141

简单枚举归纳推理 142

科学归纳推理 144

契合法 145

穆勒氏方法 145

差异法 146

契合差异并用法 147

共变法 148

剩余法 149

类比推理 150

机械类比 151

假说 152

假说构成的条件 152

建立假说的步骤 153

假说的逻辑形式 154

假说与科学理论 155

(五)论证 156

论证 156

论据 157

论题 157

论证方式 158

论证的种类 158

演绎论证 159

归纳论证 159

类比论证 160

直接论证 160

间接论证 160

论证的规则 162

论题的规则 162

论据的规则 163

论证方式的规则 163

反驳 164

反驳论证方式 165

反驳论题 165

反驳论据 165

直接反驳 166

间接反驳 166

诡辩 167

偷换概念 167

偷换论题 168

循环论证 168

虚假论据 168

以人为据 169

以偏概全 169

二、数理逻辑 170

数理逻辑 170

逻辑演算 173

(一)逻辑演算 173

命题逻辑 175

命题和命题变元 175

真值联结词 176

命题演算 181

以？、∧、∨、→、？作为初始联结词的命题演算公式 182

分别以？、∧；？，∨；？，→作为初始联结词的命题演算公式 185

以舍佛竖作为初始联结词的命题演算公式 185

命题演算公式省略括号的规定 186

命题演算自然推理系统的变形规则 187

命题演算自然推理系统P的变形规则 188

命题演算自然推理系统P∨，P∧，P→的变形规则 193

命题演算自然推理系统中的形式证明 194

斜形形式证明 195

自然推理系统P中的形式证明 195

几种命题演算自然推理系统之间的关系 201

命题演算自然推理系统P中重要的形式定理 202

联结词的结合律 202

联结词的交换律 203

联结词的分配律 203

合取词等幂律和析取词等幂律 204

合取词简化律和析取词引入律 205

合取词对折聚词的吸收律和析聚词对合取词的吸收律 205

蕴涵词传递律和等值词传递律 205

关于前件，后件的形式定理 206

其他重要形式定理 207

命题演算的公理系统 208

命题演算公理系统〔P〕 208

命题演算公理系统〔PV〕 209

命题演算公理系统〔P→〕 211

尼古命题演算公理系统 212

命题演算公理系统的形式证明 212

命题演算公理系统的协调性、完备性和独立性 215

协调性 215

完备性 216

独立性 217

命题演算公理系统中重要的语法定理 219

置换定理 219

求否定规则 221

对偶原理 222

赋值 225

重言式 227

非永真公式 228

不可满足公式 228

可满足公式 228

逻辑推论 230

语义等值公式 232

命题逻辑中的范式 233

合取范式 234

析取范式 235

优合取范式和优析取范式 236

优等值范式和优异或范式 240

联结词的完备集 241

谓词逻辑 246

谓词 246

量词 248

摹状词 249

高阶谓词逻辑 250

谓词演算 251

谓词演算的初始符号 252

第一种类型谓词演算的初始符号和公式 253

第二种类型谓词演算的初始符号和公式 255

第三种类型谓词演算的初始符号和公式 256

谓词演算自然推理系统的变形规则 260

谓词演算自然推理系统F的变形规则 260

谓词演算自然推理系统F∨？，F∧？，F→？，F∨？，F∧？和F→？的变形规则 264

带等词的谓词演算自然推理系统的变形规则 264

谓词演算自然推理系统F，F∨？，F∧？，F→？，F∨？，F∧？，F→？之间的关系 267

谓词演算自然推理系统F中重要形式定理 268

量词交换律 268

量词分配律 269

与门 269

量词否定律 269

全称蕴涵存在律 269

量词转换律 270

量词移置律 270

谓词演算的公理系统 271

谓词演算公理系统〔F〕 271

谓词演算公理系统〔F→？〕 273

谓词演算公理系统〔Fo〕 273

谓词演算公理系统的协调性、完备性和独立性 277

协调性 278

完备性 278

独立性 279

谓词演算公理系统中重要的语法定理 279

置换定理 279

求否定规则 280

对偶原理 280

赋值 282

永真公式 285

不可满足公式 285

可满足公式 286

非永真公式 287

逻辑推论 287

紧致性定理和勒文海姆-斯柯伦定理 288

谓词逻辑中的范式 288

前束范式 289

斯柯伦范式 291

斯柯伦偶范式 291

无？前束范式 292

无嵌套范式 292

判定问题 294

参考文献 296

(二)集合论 298

朴素集合论 298

集合论里的悖论 299

公理集合论 301

集合的形成 303

Zermelo-Fraenkel集合论 306

集合 315

类 316

相等集合 317

有穷集合 318

空集 318

子集 318

无序对集合 319

并集 320

交集 320

差集 321

集合运算的基本定律 321

奇异集合与极小元 323

奇异集合 323

极小元 324

自然数 324

自然数的集合表示 325

自然数集合 325

自然数的通常序关系 328

归纳集合 328

数学归纳法 329

传递集合 329

幂集合 330

集合的广义并与广义交 332

集合的广义并 332

集合的广义交 333

有序对与积集合 334

序对集合 335

积集合 336

有序三元组 336

映射 337

满射 338

单射 338

双射 338

逆映射 338

直积映射 339

配置集 340

部分映射 340

恒等映射 340

合成映射 340

关系 341

关系的性质 342

逆关系 343

复合 344

限制 345

像 345

函数 346

单射函数 346

满射函数 346

双射函数 347

恒等函数 347

反函数 347

偶函数 347

奇函数 347

复合函数 347

置换 349

延拓 350

函数的相容性 350

函数集合 350

族(簇) 351

集合的元素族 351

指标集 351

子族 352

集族 352

集族的交 352

集族的并 353

集族的卡氏积 353

超幂与超积 354

超幂 354

超积 355

关系结构 356

乘积定理 356

特殊元素 357

序集合 359

偏序 360

整序 361

良序 363

超穷归纳原理 364

良基关系 365

良基的超穷最归纳原理 365

良偏序集合 366

良序集合 366

传递闭包 368

树 368

等价关系 371

二元树 371

万有树seq 371

等价类 372

分割 373

商集 374

代表集 375

等价关系与函数的相容性 375

相容性定理 375

对等集合 376

关系闭包 379

同构 379

有向集合 380

整数集合 381

整数与有理数集合 381

同态 381

次序关系 382

有理数集合 383

密集合 383

实数 384

基本函数 385

基本函数的等价关系 385

实数集合 386

基本函数的自然次序 387

实数的四则运算 387

区间与界 388

点集合 390

间隙 390

完备集合 390

有界定理 390

导集合 391

闭集合 391

密集合 391

完备集合 392

连续集合 392

自然数的函数 393

递归原理 393

自然数算术 394

递归定理 394

配对函数 394

剩余函数 398

自然数集合的皮亚诺公设 398

超穷递归定理 400

？像 400

序数 403

良序集合加法 403

良序集合乘法 403

有穷序数与超穷序数 405

最小序数 405

继元序数 405

极限序数 406

超穷归纳法原理 407

序数加法 408

序数乘法 409

序数乘幂 410

和与积的结合律与左分配律 411

标准型 412

正规函数 412

序数的共端性 412

共端示性数 413

可构造序数 414

归纳有穷集合 418

有穷集 420

戴德金有穷集 420

基数 421

基数算术 423

基数加法 423

基数乘法 423

加与乘的基本定律 423

基数的幂 424

覆盖集合 425

序数的基数 426

第一数类与第二数类 426

阿列弗 427

正则基数与奇异基数 428

无穷集合 429

不可追达基数 429

可数集合 430

非可数集合 434

戴德金无穷 434

更深层的非可数集合 435

选择函数与选择公理 436

选择函数 436

选择公理(AC1-AC6) 437

良序定理 439

极大原理 441

连续统假设 444

选择公理和连续统假设的相容性 445

选择公理和连续统假设的独立性 446

可测基数 448

马丁公理 449

苏斯令假设 450

参考文献 452

符号表 460

(三)证明论 466

证明论 466

希尔伯特方案 467

形式化 468

有穷观点 469

哥德尔不完备性定理 470

证明论的发展 472

公理化算术 473

扩充的谓词演算 474

递归项 478

递归等式 479

有穷算术 479

原始递归函数 479

递归谓词 480

公理化算术的若干定理 481

有穷算术无矛盾性证明 481

原始真公式 482

质被加项 483

质因子 483

化归公式 483

递归公式 484

算术公式递归项的两个定理 485

有穷算术无矛盾性定理 486

(四)递归论 488

递归论 488

原始递归函数 489

原始递归函数的运算 497

原始递归谓词 498

μ递归函数 499

形式系统的项 500

数字 500

形式系统的方程 500

形式系统的符号 500

一般递归函数 500

F项 501

形式系统的演算 501

递归谓词 502

递归可枚举集 503

递归集 504

图灵机 505

图灵可计算函数 519

图灵机的变形 519

W机 521

哥德尔编码 523

判定问题 524

邱吉论题 529

递归证法 530

参考文献 532

(五)模型论 540

模型论 540

命题逻辑的模型理论 543

命题逻辑 543

命题逻辑的形式演绎 545

命题的模型 546

理论 548

一阶谓词逻辑 550

一阶语言 550

一阶谓词逻辑的形式演绎 554

一阶语言与命题的模型 556

一阶语言的模型 557

满足 560

命题的模型 563

理论与模型 564

理论 564

理论的模型 566

完全性定理的证明与紧致性定理的应用 587

完全性定理的证明 587

图象法 590

紧致性定理的应用 592

省略类型定理 594

ω-完全性定理 598

扩充省略类型定理 599

插值定理 600

完全理论的可数模型 601

原子模型 601

饱和模型 605

ω-范畴 607

初等扩充 608

完全性和范畴性 611

初等链 614

模型链 614

初等链 615

部分初等链 617

初等链的应用 619

齐次模型 619

斯柯伦函数 621

不可辨元 622

特殊模型 624

超积 626

滤子 626

超积 628

可测基数 631

正则超幂 633

同构定理 635

霍恩公式 637

参考文献 638

符号表 641

(1)多值逻辑 643

多值逻辑 643

(六)几个逻辑学分支概述 643

卢卡西维奇三值逻辑 648

布茨瓦尔三值系统 651

克林三值系统 654

卢卡西维奇三值逻辑的多值推广 656

波斯特多值系统 660

布劳维-海丁多值系统 662

重言式与特指值 665

参考文献 666

符号表 676

(2)模糊逻辑 677

模糊逻辑 677

模糊概念 682

模糊子集 685

模糊子集的运算 686

截集 689

正规模糊集 690

模糊度 691

模糊矩阵 692

模糊矩阵的合成 695

模糊矩阵的截矩阵 696

模糊矩阵的转置矩阵 697

模糊关系 698

模糊关系的逆关系 699

模糊关系的合成 699

模糊等价关系 700

模糊相似关系 700

传递闭包 701

模糊映射 701

模糊变换 702

扩展原理 703

内积与外积 704

贴近度 705

模糊关系方程 706

择近原理 706

模糊语言 712

构造的模糊语言 715

语义 716

模糊语言的语法 718

模糊语言的语义 725

模糊推理 734

模糊命题 734

似然推理 736

德·摩根代数 737

格 737

模糊逻辑公式 739

相容公式 740

标准型公式 740

模糊蕴涵 741

模糊逻辑公式的极小化 742

模糊语言逻辑 745

参考文献 750

归纳逻辑 753

(3)归纳逻辑 753

(4)模态逻辑 762

模态逻辑 762

基本模态概念 765

直观上可靠的原则 765

直观上不能确定是否正确的公式 766

模态命题演算 767

可能世界语义学 774

模态命题演算的模型 779

模态系统的完全性 784

模态谓词演算 790

模态谓词演算的模型 792

参考文献 795

道义逻辑 797

绝对道义逻辑 797

必须命题 797

(5)道义逻辑 797

道义上中立命题 799

绝对道义逻辑系统 800

DT的初始基础 800

DT的一些主要定理 801

相对道义逻辑 803

道义逻辑的语义学 806

道义逻辑与alethic模态逻辑间的关系 809

道义逻辑中的悖论 811

(6)时态逻辑 814

时态逻辑 814

参考文献 814

时态命题形式 815

时态命题的解释 819

时态逻辑系统 823

线性时态逻辑系统 823

Kt的定理模式 825

Kt的线性扩充 826

线性系统CL 826

线性系统SL 828

线性系统PL 828

线性系统PCr 829

分枝时态逻辑系统 830

量词时态逻辑 831

时间模态 832

(7)认识论逻辑 833

认识论逻辑 833

参考文献 833

认识论命题形式 834

知道逻辑 835

知道逻辑系统Prk 836

知道逻辑系统KS4 837

冯·赖特的认识论逻辑 840

知道逻辑语言学 841

信念逻辑 843

相信的涵义和相信命题形式 843

绝对相信逻辑 844

相对相信逻辑 846

信念逻辑语言学 848

混合认识论逻辑 849

参考文献 850

数制 851

(8)计算机逻辑 851

并置记数法 852

多项式表示法 852

带符号的数 852

定点数 852

浮点数 852

二进制加法 853

二进制减法 853

二进制乘法 854

二进制除法 854

二--十进制转换 855

十进制整数换为二进制整数 855

二进小数换为十进小数 856

二进整数换为十进整数 856

十进小数换为二进小数 856

反码 857

补码 857

二进制编码的十进制码 858

葛莱码 858

盖博码 859

布尔代数 860

定义 860

置换律 860

0和1的存在律 860

交换律 860

结合律 860

布尔算符 861

布尔变量 861

布尔运算 861

布尔函数 861

补元素的存在律 861

分配律 861

布尔常数 861

独项式 861

极小项 862

极简项 863

极简布尔多项式 863

布尔方程 864

文氏图 864

奎因方法 865

布尔式的化简 866

K值函数 867

封闭集 868

极大封闭集 868

封化集 868

完备集 868

二值函数 868

开关电路 868

或门 869

非门 870

与非门 870

或非门 870

异或门 871

开关网络的分析 871

开关网络的综合 872

开关网络的简化 873

竞争-冒险现象 873

多值逻辑 873

只读存贮器逻辑 873

阀值 874

阀值门 874

时序网络 875

状态图 876

状态转换表 876

T型触发器 878

触发器 878

开关函数的简化 878

延迟线 878

D型触发器 879

K-J型触发器 880

R-S型触发器 881

自动机 881

图灵机 882

自动机分类 882

自动机分解 883

线性自动机 884

线性界限自动机 884

模糊集合 884

模糊逻辑 885

全集 886

子集 886

集合的表示法 886

空集 886

集合 886

集合的交 887

集合的并 887

集合的补 887

集合的运算 887

可数集合 888

不可数集合 888

基数 888

关系 888

关系的和 889

逆关系 889

关系的积 889

关系的性质 889

树 890

图 890

图论 890

格 891

控制论逻辑 891

算法论 893

递归 893

循环指令(递归指令) 894

递归函数 894

递归可枚举集 894

递归过程 894

递归模式 894

递归集 895

递归子程序 895

归纳法 895

逻辑指令 896

指令系统 896

逻辑操作 896

负逻辑 897

正逻辑 897

中断 897

中断向量 897

人工语言 897

人工智能 898

三、辩证逻辑 901

(一)概论 901

辩证逻辑概论 901

辩证逻辑对象 903

辩证逻辑与唯物辩证法、认识论的关系 906

辩证法与认识论的关系 909

唯物辩证法与辩证逻辑的关系 911

认识论与辩证逻辑关系 913

辩证逻辑与形式逻辑的关系 915

辩证逻辑的作用 919

概念论 922

(二)概念论 922

辩证逻辑概念论与形式逻辑概念论 924

辩证逻辑的概念 925

抽象概念 926

概念的辩证法 927

概念的客观性与主观性 928

概念的抽象性与具体性 929

概念的共性与人性 930

概念的确定性与灵活性 931

概念的内涵与外延 932

概念潜在的辩证法 933

对立概念 934

概念的中介环节 935

概念的终点环节 936

具体概念 936

抽象概念与具体概念 937

具体概念的矛盾运动 937

具体概念的发展形式 939

具体概念向辩证判断的过渡 940

辩证逻辑的判断 941

普通判断 942

判断的起点环节 943

普通判断与辩证判断 944

判断的辩证本性 945

判断的同一与差异 945

判断的肯定与否定 946

判断的个别与一般 946

判断的潜在辩证法 947

对立判断 948

辩证判断 949

辩证判断的基本特征 950

辩证判断的分类 951

辩证判断的纵向分类 952

辩证判断的横向分类 952

辩证矛盾与逻辑矛盾 954

判断向推理的过渡 955

辩证逻辑的推理 956

辩证逻辑推理与形式逻辑推理 957

推理的辩证本性 958

普通推理 959

推理之间的矛盾关系 960

推理潜在的辩证法 960

对立推理 961

辩证推理 962

辩证推理的基本特征 963

辩证推理的分类 965

推理向辩证范畴体系的过渡 970

(三)范畴论 971

范畴论 971

个别、特殊、普遍 971

逻辑范畴与实践 973

范畴 975

范畴与概念 976

逻辑范畴与具体科学范畴 976

逻辑范畴与思维规律 977

逻辑中介 977

逻辑范畴的本性 979

逻辑范畴体系 980

层次性 981

系统性 982

范畴体系的结构方式 982

辩证逻辑原理体系的基本特征 984

辩证逻辑原理的范畴体系 984

(四)规律论 986

规律论 986

辩证逻辑规律与客观辩证法规律 987

辩证逻辑规律与唯物辩证法规律 990

辩证逻辑规律与形式逻辑规律 991

辩证逻辑的特殊规律 993

分析与综合辩证同一规律 994

辩证分析与综合的关系 999

分析与综合辩证同一规律的基本逻辑特征 1000

从抽象上升到具体规律 1002

思想抽象与思维具体的关系 1005

从抽象上升到具体规律的基本逻辑特征 1006

思维抽象的逻辑起点 1006

从抽象上升到具体的中介环节 1007

逻辑的与历史的相符合规律 1008

从抽象上升到具体的逻辑终点 1008

逻辑的与历史的关系 1009

逻辑的与历史的相符合规律的基本逻辑特征 1010

辩证逻辑的根本规律 1014

质量互变思维规律 1014

量变与质变的关系 1016

质量互变思维规律的基本逻辑特征 1018

否定之否定思维规律 1020

否定之否定思维规律的基本逻辑特征 1020

否定之否定思维规律的普遍性 1023

对立同一思维规律 1025

对立同一思维规律的基本逻辑特征 1027

辩证思维方法 1030

抽象的分析方法与综合方法 1031

辩证的分析方法与综合方法 1032

形式逻辑的分析法与综合法同辩证逻辑的分析法与综合法的关系 1035

形式逻辑的分析法与综合法同辩证逻辑的分析与综合法的关系 1036

抽象的方法与具体的方法 1037

从抽象上升至具体方法的基本逻辑特征 1038

逻辑的方法与历史的方法 1040

逻辑的方法与历史的方法的辩证统一 1042

(五)总论 1043

辩证逻辑总论 1043

主体与客体 1044

实践与主体、客体 1046

辩证思维理论 1047

辩证思维理论的特点 1047

辩证思维理论的形成和发展 1051

假说与辩证思维理论的形成 1051

假说的作用 1052

辩证思维理论发展的具体过程 1054

真理的具体性及其发展过程 1055

真理与实践 1055

实践是检验真理的唯一标准 1057

辩证逻辑--伟大的认识工具 1058

参考文献 1059

四、逻辑史 1061

(一)中国逻辑史 1061

(1)中国名辩学的萌发和创立 1061

春秋战国是中国名辩学萌发和创立时期 1061

孔子 1062

邓析 1062

墨子 1063

惠施 1064

庄子 1065

公孙龙 1066

后孙墨家 1068

荀子 1080

韩非 1086

秦汉魏晋时期的名辩思想 1088

(2)秦汉魏晋时期的名辩思想 1088

吕不韦 1089

刘安 1091

董仲舒 1092

王充 1093

王符和徐幹 1094

刘邵 1095

嵇康 1096

鲁胜 1097

刘徽 1098

(3)印度因明的传入和唐宋明的名辩思想 1099

印度因明的传入和唐宋明的名辩思想 1099

玄奘 1102

窥基 1103

刘知几 1104

邵雍 1105

朱熹 1106

陈亮 1108

叶适 1109

萨班·庆喜幢 1110

宗喀巴 1111

(4)西方逻辑传入以后的逻辑发展(明末至“五四”运动时期) 1112

西方逻辑传入以后的逻辑发展 1112

李之藻 1113

傅山 1114

顾炎武 1115

王夫之 1116

孙诒让 1118

严复 1118

章炳麟 1120

梁启超 1121

章士钊 1122

古希膜罗马逻辑 1123

(二)西方逻辑史 1123

(1)古希腊罗马逻辑 1123

苏格拉底 1124

柏拉图 1125

亚里斯多德 1126

亚里斯多德的逻辑著作 1126

关于范畴和谓词的学说 1128

关于命题的学说 1130

三段论学说 1134

亚里斯多德的模态三段论 1140

亚里斯多德论思维规律 1141

关于证明的学说 1143

亚里斯多德关于谬误的学说 1146

德奥弗拉斯特和欧德姆 1149

麦加拉派 1151

斯多葛派 1153

盖伦 1158

西塞罗 1158

阿普里乌斯 1159

阿弗洛底细亚的亚历山大 1160

波菲利 1160

鲍依修斯 1160

(2)中世纪逻辑 1161

中世纪逻辑 1161

阿伯拉尔 1162

西班牙彼得 1163

托马斯·阿奎那 1165

赖蒙德·卢里 1166

威廉·奥卡姆 1167

约翰·布里丹 1169

萨克森的阿尔伯特 1170

威尼斯保罗 1172

阿拉伯逻辑 1174

近代逻辑 1177

(3)近代逻辑 1177

彼得·拉姆斯 1178

弗兰西斯·培根 1179

霍布斯 1183

洛克 1184

斯宾诺莎 1185

《汉堡逻辑》 1185

《波尔罗亚尔逻辑》 1186

沃尔夫 1189

欧拉 1190

康德 1191

黑格尔 1194

赫舍尔 1197

约翰·斯图亚特·穆勒 1198

现代逻辑 1201

(4)现代逻辑 1201

莱布尼兹 1202

汉密尔顿 1204

德摩根 1205

布尔 1206

文恩 1209

耶方斯 1211

皮尔斯 1212

康托 1215

弗雷格 1217

皮亚诺 1220

罗素 1221

路易斯 1225

希尔伯特 1227

布劳维尔 1228

塔尔斯基 1229

哥德尔 1230

数学基础中的四大流派 1231

逻辑主义 1231

形式主义 1233

直觉主义 1234

柏拉图主义 1236

(三)印度逻辑史 1237

正理逻辑 1237

正理学派 1238

推理 1239

谬误理由 1241

论辩 1243

耆那逻辑 1248

那耶 1248

七重判断 1250

推理 1250

推理谬误 1251

佛家逻辑 1254

佛家逻辑 1255

龙树 1256

弥勒 1257

无著、世亲 1259

陈那 1261

法称 1266

新正理逻辑 1268

新正理派 1268

参考文献 1272

附录 1273

一、逻辑学文献中常见的人名译名 1273

二、英汉逻辑学辞汇 1283

三、条目索引 1437

(一)数字、英文字母、希腊文字母条目索引 1437

(二)汉字笔画条目索引 1439