- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
数学及哲学
数学与哲学
从1900年到1930年左右,数学的危机使许多数学家都卷入到一场大辩论当中。他们看到这次危机涉及数学的根本,必须对数学的哲学基础加以严密的考察。在这场大辩论中,原来的不明显的意见分歧扩展成为学派的争论,以罗素为代表的逻辑主义,以布劳威尔为代表的直觉主义,以希尔伯特为代表的形式主义三大学派应运而生。他们在争论过程中尽管言语尖刻,好象势不两立,其实他们各自的观点在争论过程中都吸收了对立面的看法而有很多变化。
1930年,哥德尔不完全性定理的证明暴露了各派的弱点,哲学的争论冷淡了下去。此后各派力量沿着自己的道路发展演化。尽管争论的问题远未解决,但大部分数学家并不太关心哲学问题。近年来数学哲学问题又激起人们的兴趣,因此我们有必要了解一下数学哲学的来龙去脉。
1、逻辑主义
罗素在1903年出版的《数学的原理》中对于数学的本性发表了自己的见解。他说:“纯粹数学是所有形如‘p蕴涵q’的所有命题类,其中p和q都包含数目相同的一个或多个变元的命题,且p和q除了逻辑常项之外,不包含任何常项。所谓逻辑常项是可由下面这些对象定义的概念:蕴涵,一个项与它所属类的关系,如此这般的概念,关系的概念,以及象涉及上述形式一般命题概念的其他概念。除此之外,数学使用一个不是它所考虑的命题组成部分的概念,即真假的概念。”
这种看法是罗素自己最早发表的关于逻辑主义的论点。这种看法在以前也不同程度被戴德金、弗雷格、皮亚诺、怀特海等人表达过。戴德金在1872年出版了《连续性及无理数》一文,在这篇文章中,他把有理数做为已知,进而分析连续性这个概念。为了要彻底解决这个问题,必须考虑有理数乃至自然数产生的问题。他认为应该建立在逻辑基础上,但没有实行。
弗雷格在1884年《算术基础》中认为每个数是一个独立的对象。他认为算术规则是分析判断,因此是先验的。根据这点,算术只是逻辑进一步发展的形式,每个算术定理是一个逻辑规律。把算术应用到自然现象上的解释只是对所观察到的事实的逻辑加工,计算就是推理。数字规律无须实践检验即可应用于外在世界,而在外在世界、空间总体及其内容物,并没有概念、没有数。因此,数字规律实际上不能应用于外在世界,这些规律并不是自然规律。不过它们可以应用于对外在世界中的事物为真的判断上,这些判断即是自然规律。它们反映的不是自然现象之间的关系,而是关于自然现象的判断之间的关系。
早在罗素发现悖论之前,他在写作《数学的原理》时就企图把数学还原为逻辑,由于发现悖论,这个计划遭到了困难。他发现消除悖论的方法之后,又开始具体实现他的计划,这就是他和怀特海合著的《数学原理》。
既然罗素、怀特海的《数学原理》原来的目的是企图把数学建立在逻辑的基础上,因此,书一开始就提出几个不加定义的概念和一些逻辑的公理,由此推出逻辑规则以及数学定性。
不加定义的概念有基本命题、命题函数、断言、或、否(非);这里讲的命题是指陈述一件事实或描述一种关系的一个语句,如“张三是人”,“苹果是红的”等等,由这些概念可定义逻辑上最重要的概念“蕴涵”。
要想由逻辑推出数学,第一步是推出“数”来,这件事皮亚诺及弗雷格都做了。罗素在消除悖论之后,成功地用“类”来定义1。这个过程极为繁琐费力,一直到《数学原理》第一卷的363页才推出“1”的定义,而第二卷费了很大力气证明了n×m=m×n。
在《数学的原理》及《数学原理》中,罗素的目标在于证明“数学和逻辑是全等的”这个逻辑主义论题,它可以分析为三部分内容:
1、每条数学真理都能够表示为完全用逻辑表达或表示的语言。简单来讲,即每条数学真理都能够表示为真正的逻辑命题。
2、每一条真的逻辑命题如果是一条数学真理的翻译,则它就是逻辑真理。
3、每条数学真理一旦表示为一个逻辑命题,就可由少数逻辑公理及逻辑规则推导出来。
这三方面不完全一样,罗素只是分别在各处用一条或两条表示过逻辑主义。由于哥德尔的不完全定理,3是错的,但是还可以坚持1和2。
罗素认为逻辑主义的许多主要论点不是来自他本人,弗雷格就曾明确地表示过一些逻辑主义的观点。但是,逻辑主义观点尽管受到批判,罗素本人还一直坚持。在三十年代以后,还是有许多人发展逻辑主义。
逻辑主义从—开始就遭到批评,“因为如果数学只是一套逻辑演绎系统,那么它怎么可能反映广泛的自然现象呢?它又怎样能够有创造力呢?它又怎样能够产生新观念呢?”用维特根斯坦的话说,数学就是同语反复(重言式),结不出任何新知识。
罗素悖论的出现,使得这一派遭到的攻击更大。彭加勒挖苦他们“逻辑主义的理论倒不是不毛之地,什么也不长,它滋长矛盾,这就更加让人受不了”。罗素—怀特海用了几年时间写出了《数学原理》论证了自己的观点,仍不免遭到讥讽。彭加勒挖苦他们费很大力气去定义1,说“这是一个可钦可佩的定义,它献给那些从来不知道1的人”,别人也说这一套完全是中世纪的教条。更
您可能关注的文档
最近下载
- 柑橘基地质量管理体系.pdf
- CAD2007入门教程_图文版.ppt VIP
- TSG Z7005—2015 特种设备无损检测机构 核准规则_可搜索.pdf VIP
- DB4419_T 24-2024 社区社会组织孵化服务指南.docx VIP
- 安全可靠分布式事务型数据库技术要求.pdf VIP
- SH3124-2001T 石油化工给水排水工艺流程设计图例.pdf VIP
- 电缆敷设图集 12D101-5.pdf VIP
- 《银行业法律法规与综合能力》课件.pptx VIP
- 2024新信息科技四年级《第二单元 用编码描绘世界》大单元整体教学设计.docx
- 淮北矿业2015年矿瓦斯综合治理“六项指标”考核办法淮北矿业2015年矿井瓦斯综合治理“六项指标”考核办法.doc VIP
文档评论(0)