图书介绍

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

爱思唯尔科学哲学手册  数学哲学
  • 郭贵春,殷杰主编;康仕慧译 著
  • 出版社: 北京:北京师范大学出版社
  • ISBN:7303173048
  • 出版时间:2015
  • 标注页数:925页
  • 文件大小:101MB
  • 文件页数:960页
  • 主题词:数学哲学

PDF下载


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

下载说明

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

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

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

(文件页数 要大于 标注页数,上中下等多册电子书除外)

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

图书目录

危险关系 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

精品推荐