当前位置:首页 > 数理化
爱思唯尔科学哲学手册  数学哲学
爱思唯尔科学哲学手册  数学哲学

爱思唯尔科学哲学手册 数学哲学PDF电子书下载

数理化

  • 电子书积分:24 积分如何计算积分?
  • 作 者:郭贵春,殷杰主编;康仕慧译
  • 出 版 社:北京:北京师范大学出版社
  • 出版年份:2015
  • ISBN:7303173048
  • 页数:925 页
图书介绍:《科学哲学手册》丛书(Handbook of The Philosophy of Science Series)是国际著名学术出版机构爱思唯尔出版公司(Elsevier Publishing Company)于2006年开始推出的一套科学哲学研究书系,由世界著名科学哲学家英国伦敦国王学院的多夫·加贝(Dov M.Gabbay)、加拿大滑铁卢大学的保罗·萨加德(Paul Thagard)和不列颠哥伦比亚大学的约翰·伍兹(John Woods)联合主编。丛书一经推出,立即在世界科学哲学界产生重要影响,被普遍认为是世界上目前出版的最新、最权威、学术水平最高的科学哲学研究参考书。《科学哲学手册》丛书汇集了国际科学哲学界一流专家的集体智慧,立足于当代科学哲学发展的最前沿,融合了相关科学研究领域的最新成果,全方位地展示出了当前世界科学哲学研究领域的全景。丛书体例严谨、内容极为丰富,既涵盖了基础理论研究的核心内容,又涉及到应用研究的具体领域,是科学哲学及其各分支学科研究者必备的参考资料,同时也非常适合于相关专业的研究生和高年级本科生阅读。此外,本丛书也适合于对其专业领域的方法论问题感兴趣的科学家参阅
《爱思唯尔科学哲学手册 数学哲学》目录

危险关系 1

数学中的实在论和反实在论 43

1.立场回顾 45

2.对各种观点的批评 62

3.结论:问题不可解和一种更好、更温和的实证主义 110

亚里士多德的实在论 128

1.引言 128

2.亚里士多德实在论者的观点 130

3.数学作为量和结构的科学 136

4.关于实在的必然真理 142

5.形式科学 152

6.柏拉图主义和唯名论的比较 156

7.认识论 167

8.实验数学和猜想的证据 174

9.结论 186

数学哲学中的经验主义 194

1.引言 194

2.亚里士多德 198

3.约翰·斯图尔特·密尔 207

附录 非欧几何 215

4.密尔的现代支持者 221

5.蒯因、普特南和菲尔德 244

6.逻辑和分析 263

康德的数学哲学观点 286

0.引言 286

1.数学,形式科学 288

2.个体对象——为什么数学不能被还原为逻辑 290

3.形式规则——为什么数学不能被还原为纸上符号的操作 292

4.表征的规则和形式——希尔伯特的形式主义 295

5.公理化和结构——改变数学对象 298

6.集合论提供了杂多的一种纯理论吗? 299

7.序数、基数和两种无穷 301

8.直觉和纯杂多的理论 309

9.作为集结的杂多 312

10.最大值、最小值——总体和量词 317

11.康德的进路是什么? 320

附录 一种非欧几里得几何学和爱因斯坦的相对论 321

逻辑主义 332

1.什么是逻辑主义? 332

2.什么是数学? 333

3.什么是逻辑主义的逻辑? 335

4.弗雷格 第一位逻辑主义者 338

5.弗雷格的量词逻辑 339

6.定义实数 340

7.弗雷格的高阶逻辑 341

8.公理集合论VS.逻辑主义 342

9.数学原理及其后果 343

10.逻辑主义VS.数学 345

11.逻辑主义的转变 346

12.纠正弗雷格的量化理论 348

13.还原到一阶层面 349

14.得到辩护的逻辑主义? 349

形式主义 356

1.准备工作 356

2.旧的形式主义及其驳斥 358

3.新公理 362

4.容度危机 366

5.经典时期 370

6.哥德尔的爆炸性事件 374

7.形式主义的遗产 375

8.结论 377

数学中的构造主义 380

1.引言:各种各样的构造主义 380

2.19世纪的构造主义杜·博伊斯-雷蒙德和克罗内克 387

3.直觉主义和L.E.J.布劳威尔 392

4.海丁和形式的直觉主义逻辑 400

5.马尔可夫或俄罗斯的构造主义 402

6.毕晓普的新构造主义 405

7.直谓主义 407

8.有穷主义 412

虚构主义 424

1.各种各样的虚构主义 425

2.数学哲学中虚构主义的动机 432

3.虚构主义简史 438

4.没有数的科学 450

5.巴拉格尔的虚构主义 460

6.亚布洛的比喻主义 462

7.语义学策略 465

从康托尔到科恩的集合论 492

1.康托尔 493

2.数学化 506

3.统一 531

4.独立性 555

交错集合论 591

0.引言 591

第Ⅰ部分 弗雷格问题的拓扑学解决策略 592

1.朴素的集合概念 592

2.抽象过程 592

3.集合和属于关系 593

4.一阶版本 594

5.罗素悖论 595

6.解决途径 595

7.弗雷格结构 596

8.大小的限定性学说 597

9.增加结构 598

10.拓扑结构和不可辨别性 598

11.作为一个快速执行者的不可辨别性(?) 600

第Ⅱ部分 部分集、悖论集和二重集 601

12.引言 601

13.部分集 602

14.正集合 605

15.悖论集 608

16.二重集 610

第Ⅲ部分 精确集合的邻近空间 612

17.引言 612

18.朝向模态集合论 613

19.邻近结构 614

20.邻近的弗雷格结构 617

21.精确集合的正交格 619

22.PFS的模型 620

23.论不相交集合的可辨别性 622

24.充分 624

25.结论 625

概率哲学 632

1.引言 632

第Ⅰ部分 概率框架 633

2.变量 633

3.事件 634

4.语句 635

第Ⅱ部分 概率解释 637

5.解释和区别 637

6.频率 638

7.倾向 640

8.机会 641

9.贝叶斯主义 642

10.作为最终信念的机会 644

11.应用概率 645

第Ⅲ部分 客观贝叶斯主义 646

12.主观和客观贝叶斯主义 646

13.概述的客观贝叶斯主义 647

14.挑战 649

15.动机 649

16.语言依赖 651

17.计算 654

18.定性知识 656

19.无穷定义域 660

20.完全客观概率 663

21.概率逻辑 666

第Ⅳ部分 对数学哲学可能的影响 674

22.解释的作用 674

23.数学的认识论观点 676

24.结论 677

论可计算性 685

1.引言 685

2.可判定性和可计算性 691

3.递归性和丘奇论题 717

4.计算和组合过程 737

5.可计算性的公理 759

6.关于机器和心灵的观点 775

不相容的数学:一些哲学影响 806

1.引言:悖论 806

2.逻辑的作用 808

3.纯数学 812

4.几何学 815

5.应用数学 817

6.回到逻辑主义和基础主义 819

7.修正主义和对偶 821

8.文本的作用 822

9.结论 824

数学和世界 829

1.不可或缺性论证 830

2.什么是不可或缺的? 839

3.自然主义和整体论 845

4.通向唯名论的艰难之路:菲尔德的规划 852

5.通向唯名论的容易之路:拒绝整体论 861

6.数学不可思议的有效性 876

7.应用数学:哲学课程和未来的方向 886

索引 896

相关图书
作者其它书籍
返回顶部