数学联邦政治世界观
超小超大

数学哲学(二) (5-2)

数学和逻辑学在历史上曾是截然不同的研究领域,但在现代都有了发展:逻辑学越来越数学化而数学越来越逻辑化。其后果是,现在已不能在二者之间划出一条界线;事实上二者是一回事……证明二者是同一的是一个细节问题。(罗素 <Introduction to Mathematical Philosophy> 1919)

逻辑主义的开端来自Frege,他完成了一系列极其精细而富于技术化的工作,例如在不定义自然数的前提下仅仅依靠逻辑学资源定义一一对应的概念。在这里描绘这些技术性的工作并不合适,但它确实是非常精彩而天才的。Frege本人仅仅讨论了算术(数论),而没有将其他数学分支也逻辑化。对于几何学,Frege则是一个康德主义者,认为关于空间的几何知识是先天综合的。

尽管Frege的工作极其精彩,然而罗素先生的一封信还是使他遭遇了“一个科学家所能遭遇的最尴尬的情况:当他的工作即将完成之际,其基础却垮掉了(Frege本人对这封信的评价)”,这就是众所周知的罗素悖论。为了解决这个问题,罗素本人(和Whitehead一起)对逻辑主义进行了进一步的发展,这些技术性的工作不具体讨论。一言以蔽之,通过引入两条有争议的公理(预设),即可归化公理和无穷公理(当然还有选择公理),他完成了将他那个时代除了集合论之外所有数学的逻辑化(包括Frege没有处理的几何学在内)。

需要着重说明的是,Frege本人在数学上持有本体论和真值双重实在论立场,而罗素则持有本体反实在论立场(我不太确信他在真值问题上的看法。以及罗素出了名的善变,这只是针对他某一时期),这种立场也促使了他们在非直谓定义上的决定性分歧。回到我们的问题上去,Frege认为数学和逻辑都是实在的,并因此是可用的,同时它还能通过心灵把握逻辑的方式为心灵所把握。数学是通过语言(语义)分析被还原到逻辑上去,而心灵如何把握实在的逻辑则是另一个问题。罗素把数、函数定义为不同类型的类、类上的关系、类上关系上的关系等等,那么我们仍然可以问数到底是什么,和Frege不同,罗素认为类只是逻辑虚构,从而数学对象也只是逻辑虚构,即一种唯名论立场。那么为什么这样的数学是可用的,我个人不太确信罗素本人对这个问题如何回答(罗素的著作太多了,而且他又不停地改变自己的观点和立场)

在罗素以后,逻辑主义为维也纳圈子(Vienna Circle)的逻辑实证主义者继承,其中的代表人物是Carnap。逻辑实证主义者拒绝传统的本体论问题,在Carnap看来,数学和逻辑是一个语言框架,人们可以自由规定这个框架,在这之后才有了框架内的问题,比如一个物理学或生物学问题。这个框架不是先天存在的,而是一个约定(convention),或者说是一个习俗(tradition),之所以选择这个框架而不是另一个可能是由于实用性等考虑。诸如数学对象是否实在并非是一个框架以内的问题,而任何问题都必须被限制在某个框架中,故而它是一个无意义的外部问题。而数学命题的真是关于这个框架的知识,它是先天的在于它不依赖于任何框架内的经验。(看上去Carnap好像是说数学是约定,但这样的说法并不准确,准确来说我们应对于数学是什么这样的问题保持沉默(不能问或说无意义的问题))

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

幻想:乐园 连载中
幻想:乐园
A酱咩咩咩
(奇幻/幻想+双女主(第1卷)+微日常……)不知道怎么描述主要剧情,大家还是自己看吧₍˄·͈༝·͈˄₎◞(文笔很人机,已经不知道重开这本多少......
3.0万字8个月前
angel天使之都 连载中
angel天使之都
木须橙子
这是一个关于天使的故事哦~越看会越有意思的,友友们要耐心看完哦~
16.3万字8个月前
LOVE文案 连载中
LOVE文案
梨白小生
各种文案集合在一起。有伤感,开心,也有对生活的感叹。
15.1万字8个月前
京剧猫:幻灭之时 连载中
京剧猫:幻灭之时
太初之始测试抄袭勿封
本书为测试作品,用以渠道推广测试,若书中含有不良信息,请联系话本客服(我的-设置-客服咨询内)督判卷:其罪非罪虽然这并非心中所愿的结果,但却......
48.7万字8个月前
我的小型监控们 连载中
我的小型监控们
小监控
在网上看到小电器人,成了小电器人的麻麻?
0.1万字8个月前
未命名的他 连载中
未命名的他
草落雁书
[修文期][完结]主角:许梦生vs周言之/“我最喜欢做的事情就是每天在睡觉前默念一遍他名字,他就会出现在我梦里保驾护航到第二天梦想。于是噩梦......
11.4万字8个月前