图书介绍
爱思唯尔科学哲学手册 数学哲学pdf电子书版本下载
- 郭贵春,殷杰主编;康仕慧译 著
- 出版社: 北京:北京师范大学出版社
- ISBN:7303173048
- 出版时间:2015
- 标注页数:925页
- 文件大小:101MB
- 文件页数:960页
- 主题词:数学哲学
PDF下载
下载说明
爱思唯尔科学哲学手册 数学哲学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