爱思唯尔科学哲学手册 逻辑哲学 上【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

爱思唯尔科学哲学手册 逻辑哲学 上PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

引言：当代逻辑哲学1

1.逻辑与哲学1

2.在逻辑的糖果店里2

3.理解逻辑的多元性6

4.哲学逻辑与逻辑哲学的未来方向10

逻辑是什么？14

1.逻辑与推理14

2.演绎推理与信息15

3.分析推理16

4.外推性推理17

5.“逻辑”对“超逻辑的系统化”18

6.语形与语义19

7.语形进路的限制20

8.语义进路的限制21

9.策略性规则与定义性规则22

10.什么是一阶逻辑？24

11.公认一阶逻辑的预设25

12.量词的意义27

13.语义博弈28

14.独立—友好逻辑的含义：可公理化性29

15.否定及其重要性31

16.高阶逻辑32

17.没有本体论差异的一个区分34

18.替代逻辑？35

19.外推性推理与信息采集37

逻辑的范围和限制50

1.全面回顾50

2.逻辑的定义51

3.属于逻辑的概念53

4.三段论断言55

5.推理模式58

6.逻辑还原62

7.蒯因的“逻辑的范围”66

8.逻辑概念69

9.我们应该如何思考？71

哲学中的逻辑82

1.在那个世纪82

2.一次快乐的历史之行86

3.逻辑形式与自然逻辑：从三段论逻辑学到广义量词91

4.推理类型：从波尔扎诺到条件逻辑和人工智能96

5.语义解释机制：从塔斯基到“动力学”101

6.理论与信念修正：从新实证主义到计算机科学106

7.动态逻辑、交流、行为和博弈111

8.深入主题116

9.结论：再次讨论逻辑与哲学117

非形式逻辑与论证概念129

1.“论证”的技术和日常意义130

2.论证作为通过提供一个以上的理由支持某观点的对话132

3.诱导推理的论证135

4.扩展：潜在论证与论证的等价类136

5.复合直接论证138

6.假定论证141

7.总结一145

8.论证的竞争概念147

9.排除在论证类之外的对象151

10.总结二153

11.后记153

论非形式与符号逻辑的关系166

1.一种奇怪的二分法166

2.关于形式逻辑与非形式逻辑的定义168

3.形式逻辑与非形式逻辑的合作172

4.结论192

模糊性与日常语言的逻辑196

1.认知诊断197

2.逻辑适用于日常世界吗？198

3.柏拉图天堂中的模糊性199

4.逻辑适用于日常语言吗？201

5.作为前逻辑现象的模糊性202

6.逻辑只能松散地使用吗？206

7.真值间隙206

8.逻辑多元论207

9.变异逻辑209

10.多值逻辑210

11.家族相似性211

12.原型215

逻辑与语义分析218

1.引言218

2.一些经典的论证220

3.通过逻辑类推进行语义分析229

4.在逻辑中进行语义分析241

5.开放性问题与深入解读251

形式语义学的辩护无关问题257

1.背景及概述257

2.辩护一种形式逻辑的问题259

3.逻辑衍推系统E261

4.E-模型结构——Ems的使用与解释263

5.关于两个和三个“点”的世界一线矩阵272

真之简史282

1.简介282

2.早期观点283

3.中期思想314

4.后期观点344

5.简短的结论387

真与悖论：哲学概览405

1.本文的目标与结构405

2.d真与真407

3.说谎者悖论：总括图景与计划409

4.弗完全411

5.弗协调逻辑458

6.d真、有效性与保真472

7.离开d真：参数与语境转变476

8.修正理论489

9.集合论悖论495

10.最终的复仇497

11.延伸阅读503

希尔伯特纲领的过去与现在516

1.引言516

2.希尔伯特纲领的过去517

3.希尔伯特纲领的哲学解释527

4.希尔伯特纲领的现状543

5.结论552

逻辑主义及其在当代的遗产566

1.弗雷格570

2.语境、数与新弗雷格逻辑主义579

3.罗素的逻辑主义与“无类”理论595

4.卡尔纳普的内在逻辑主义598

5.逻辑主义的当代评论603

6.结构主义对逻辑主义的替代611

7.逻辑主义与类型论616

经典逻辑时代的来临628

1.引言628

2.一阶逻辑的崛起630

3.语义可判定性与语义完备性633

4.形式上不可判定的陈述、真的不可定义性以及非标准模型的存在性635

5.第二不完备性定理以及后来哥德尔成果的扩充638

6.第二不完备性定理之后的一致性证明641

7.递归论的兴起643

8.选择公理与广义连续统假设的相对一致性651

9.巅峰与编撰655

无穷663

1.引言663

2.实无穷667

3.潜无穷691

4.物理无穷713

勒文海姆—司寇仑定理743

1.引言743

2.勒文海姆—司寇仑定理746

3.勒文海姆—司寇仑—塔斯基定理750

4.从“非常大”到“非常小”754

5.建构基数到逻辑中757

6.普通逻辑系统中的转移760

7.一般性质767

8.在有穷中的转移771

司寇仑悖论的数学779

1.司寇仑悖论781

2.一个简明的技术求解794

3.量化的优点798

4.量化Ⅰ的缺陷804

5.量化Ⅱ的缺陷808

6.一些结论813

量词的对象与替换的解释820

1.引言820

2.蒯因和本体论承诺824

3.指称的与非指称的基础语义学826

4.替换策略828

5.克里普克关于替换量化836

6.莱肯—范·因瓦根—法恩的反对840

7.太多名称的问题844

8.自然语言替换主义846

多值逻辑849

1.基本观点849

2.历史概述855

3.多值逻辑的基本系统858

4.标准的及代数的语义学861

5.特殊的三值和四值—系统865

6.基于t-范数的联结词逻辑874

7.剩余蕴涵对S-蕴涵876

8.连续t-范数878

9.连续t-范数的逻辑880

10.左连续t-范数的逻辑883

11.一些推广885

12.帕维尔卡式外延888

13.杰拉的一般方法890

14.最近的一些应用892

相干逻辑907

1.经典“蕴涵”的一个问题909

2.一次衍推914

3.T-聚焦票据衍推917

4.其他相干逻辑：B、L、E和R969

弗协调逻辑与弗协调性991

1.引言991

2.C-逻辑998

3.弗协调集合论1035

4.亚希科夫斯基的逻辑1051

5.标记逻辑1069

6.弗协调逻辑的发展1083

7.应用1089

8.结束语1122

外延与内涵逻辑1142

1.弗雷格的意谓1142

2.卡尔纳普的外延及外延逻辑1149

3.外延性的失败与卡尔纳普的内涵1156

4.模态逻辑1159

5.模态谓词逻辑1162

6.蒙塔古的“局部的”内涵逻辑1165

7.“整体”内涵逻辑1169

8.蒯因的外延主义者计划1172

9.超越内涵1174

逻辑可能世界和模态逻辑的对应语义学1182

1.导言1182

2.没有对象的世界1186

3.对象的世界1200

模态实在论及其在数学实在论中的根源1250

1.引言1250

2.刘易斯的可能世界1252

3.普兰汀格的可能世界理论1260

4.论证T的一个检验1268

5.结束语1277

自由逻辑1280

1.自由的好处1280

2.空域1282

3.证明理论1284

4.单域与对偶域1286

5.正语义学1288

6.负语义学1291

7.零价的语义学1295

8.超赋值1297

9.哪一种语义学？1299

10.限定摹状词1300

11.集合论1305

12.被定义的逻辑及程序语言1308

13.模态和时态逻辑1310

14.直觉主义逻辑1315

15.双条件句替换的失败1317

16.一种表达的限制1318

17.什么是自由逻辑？1321

18.结论1323

虚构及其逻辑1329

1.逻辑1329

2.虚构逻辑的目标1336

3.直觉1338

4.考察基本概念模型1357

5.最大的解释1395

反事实语句、因果关系以及抢先占有1415

1.引言1415

2.反事实语句的逻辑1416

3.反事实的因果论1419

4.作为影响的因果关系1423

5.事实上的依赖1426

6.蓝图策略1430

逻辑、数学与自然科学1438

1.引言1438

2.自然科学中假设演绎法构造方法的适当性问题1438

3.经验理论的反驳1440

4.不可证经验陈述的反实在论解释1444

5.应用数学中严格经典定理的命运1446

6.面对伯吉斯的反对1450

缺省推理1458

1.缺省推理1458

2.展望错误的前景1460

3.作为缺省推理的归纳1462

4.非单调的缺省推理1463

5.一些有益的思考1464

索引1469