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

《数学哲学》三大主义(一) (10-2)

• 当且仅当对任意概念F,若F对0成立并且对每个对象d,从命题d在F之下可得到d的每个后继在F之下,那么n在F之下,n是一个自然数。

• 弗雷格证明了诸如归纳原理的常见算术命题如何从这些定义得出,这一从休谟原理对基本算术原理的导出现在被称为弗雷格定理。

• 休谟原理决定“F的数=G的数”这种形式的等同,但它不能决定“F的数=t”(t是任意专名)这种形式的句子的真值。

• 一个概念的外延是这个概念适用于其上的所有对象的类,概念F的数被定义为“与概念F等数”这个概念的外延。

• 弗雷格证明了休谟原理如何从这些定义中得出以及外延的其他一些常见性质,完成了对算术的导出和关于自然数的逻辑主义的确立;弗雷格成功地证明了算术是分析的,这严格地把运用算术解释为对概念和对象的集合的计数。

• 算术原理可由逻辑法则推导出这一论题与逻辑学本身没有本体论的观点是对立的,不存在特别的逻辑对象;因为存在无穷的自然数,所以如果逻辑对存在多少对象无所述说,那么人们就不能在逻辑中定义自然数。

• 对弗雷格来说外延紧密联结于概念,因此逻辑学有本体论,逻辑对象包括一些必然存在的概念的外延,因此逻辑对象必然存在,也因此逻辑的必然性得以保持。

• 弗雷格明确区分了逻辑学与特殊科学,由于逻辑学是普适的,逻辑学是话题中立的,即逻辑真是绝对普遍的,对概念和它们的外延的使用没有损害它的中立性。

• 弗雷格并没有把他的逻辑主义推广到几何学。在这一问题上他是个康德主义者,认为欧几里得几何的原理是先天综合的,几何学有一个特殊的非普遍的研究对象,即空间。

• 弗雷格的基本法则五是:对任意概念F和G,F的外延等于G的外延当且仅当对任意对象a,Fa当且仅当Ga。

• 罗素发现弗雷格的基本法则五是不一致的(罗素悖论),令R为恰在下述情况下对x成立的概念:存在概念F,使x是F的外延且Fx为假;令r为R的外延,假设Rr为真,那么存在概念F,使得r是F的外延且Fr为假,由基本法则五就可以得出Rr也为假,因为r也是R的外延;又因为Rr是假的,存在概念F(即R),使得r是F的外延且Fr为假,所以R对r成立,因而Rr为真。

2.罗素

• 罗素认为弗雷格对自然数的解释本质上是正确的,他不同意弗雷格的说法:由于基本法则五带来的矛盾,算术的唯一可能的基础似乎消失了;对基本法则五只要做恰当的理解,它就是关于“外延”或“类”的正确定义。

• 从基本法则五到悖论的推理援引了一个谬误,一个对数学实体的定义是“非直谓的”是指该定义涉及包含这个被定义实体的集合,罗素主张非直谓的定义是不合理的,因为它们是循环的;若要通过一个变元生成一个新的对象,这个新的对象必须不在此变元可取的值的范围内。

• 罗素悖论的形成违反了“恶性循环原则”,为了产生该悖论,我们定义概念R“满足x当且仅当存在概念F,x是F的外延且Fx为假”,R的这一定义涉及所有概念F,且R正是这样一个概念F,因此R的定义是非直谓的,对非直谓定义的禁止排除了做出这种假设的可能。

• 罗素提出了类型论,将宇宙划分为不同部分:把“个体”定义为不是类的对象,个体属于类型0,而个体组成的类属于类型1,个体类的类属于类型2,依此类推。

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

相关小说

南珩 连载中
南珩
洛._974523976
南珩六子的奇幻冒险故事纯属梦境伪造
3.9万字9个月前
宇宙沙盘 连载中
宇宙沙盘
96_03
情节纯属虚构,文笔不好请见谅。
0.7万字8个月前
暴躁女配在线罢工 连载中
暴躁女配在线罢工
爱吃格力高
辛辛苦苦打工人,为老板鞍前马后,却被当猴耍,这谁能忍?于是拍案而起,老子不干了!
9.4万字8个月前
成功的卧底 连载中
成功的卧底
微风轻云淡
南景夜因为处分降职暂时调到亚兰斯特监狱任职,在翻看犯人资料时意外发现,当年害死家人的一次恐怖袭击中,木简就是当年抓到的恐怖分子之一,但又由于......
1.3万字8个月前
快穿之养成宿主 连载中
快穿之养成宿主
玲珑红豆_950024382
云雪昭,雪神之子,生性如雪一样淡漠,也如雪一样干净、纯净。本是高高在上的天骄,却因世人的贪欲,众神的冷眼旁观,致此陨落,却不想,还有一线生机......
4.4万字8个月前
不死女医师 连载中
不死女医师
VIP单身DOG_838717351
一座深山上,楚听雨被楚姨上山找野菜时遇见,并带回村子里,故事就开始了……
8.2万字8个月前