图书标签: 哲学 弗雷格 数学 数理逻辑 分析哲学 逻辑学 逻辑哲学 算术基础
发表于2025-01-12
算术基础 pdf epub mobi txt 电子书 下载 2025
弗雷格(Gottlob Friedrich Ludwig Frege,1848-1925)在《算术基础》中阐述了三条基本原理,这三条原理一方面说明他为什么要构造他的人工语言系统,另一方面说明算术何以能够建立在逻辑的基础之上,这是从哲学的高度出发论证他的逻辑和数学思想的基础。
弗雷格于1897年发表《概念文字:一种模仿算术语言构造的纯思维的形式语言》(Begriffsschrift,eine der arithmetischen nachgebildete Formelsprache des reinen Denkens)。这本薄薄的书可谓现代逻辑的开山之作。它奠定了数理逻辑中的命题逻辑和一阶谓词逻辑的基础。然而,对于这本逻辑史上划时代的专著,在当时却少有人问津。弗雷格反思其原因,认为除人们对那陌生的符号系统望而生畏外,还不理解他为什么要构造这一系统的理由。他在1884年发表了专著《算术基础》(Grundlagen der Arithmetik)。在这本书中,他没有使用数理逻辑的符号,而是哲学理论上论证他所构造的人工语言系统的基本原理,指出严格区分心理的东西和逻辑的东西、主观的东西和客观的东西的必要性;强调决不要忘记概念和客体之间的区别;对当时所流行的逻辑学和数学中的心理主义展开批判。他认为逻辑是数学的基础,数的概念可以被定义为逻辑的类的概念,而类则被看成概念的外延。可以说,《算术基础》一书是弗雷格在哲学的方面为他的数学基础研究中的逻辑主义的方案奠定基础。
书写得条理不清楚,更像是信笔随手把脑子里的东西全倾泻到纸上。不过更可能是自己笨,跟不上作者的节奏
评分凑数用///数的前世今生,数与逻辑,可惜我的逻辑还不够,光是一个外延内涵就够呛,意谓什么的也记不清了,看来是时候看看逻辑了。
评分薄而玄。
评分这种玄书值得再翻翻~恩,好书好书,放着以后再继续翻翻~
评分语言分析与逻辑理解,本是一个交叉的问题思考
顺着Frege的思路重新推导了一下第四小节里定义数字的方式,用英文是因为意思比较清楚,也是为了自己看笔记。可以推测, frege的推导为现代计算机语言提供了原型。他的主旨是,我们不需要知道数字本质上到底是什么,也不需要知道人是怎样发现数字和算数法则的。我们只需要一套稳...
评分Jan 27, 2006 8:48 AM Fw: daily quote<2006-01-05> from selbsterhaltung ---------- Forwarded message ---------- From: oz.hades. Date: 2006-01-05 上午5:12 Subject: Fw: daily quote<2006-01-05> To: blog bornvagabond.*********@spaces.msn.com 最近的每日乱摘越...
评分 评分弗雷格先生的这本书,大概说了这样一个事情:设立一个概念F,所有的数字都通过φ这个关系与F这个概念建立一一对应的关系;同时再建立一个概念G,将现实的事物通过ψ关系与G建立一一对应的关系,然后通过F与G相等,从而证明了数的意义……
评分弗雷格先生的这本书,大概说了这样一个事情:设立一个概念F,所有的数字都通过φ这个关系与F这个概念建立一一对应的关系;同时再建立一个概念G,将现实的事物通过ψ关系与G建立一一对应的关系,然后通过F与G相等,从而证明了数的意义……
算术基础 pdf epub mobi txt 电子书 下载 2025