爱思唯尔科学哲学手册 逻辑哲学 上pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

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

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

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

引言：当代逻辑哲学 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.逻辑衍推系统E 261

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和R 969

弗协调逻辑与弗协调性 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