算术基础 在线电子书 图书标签: 哲学 弗雷格 数学 数理逻辑 分析哲学 逻辑学 逻辑哲学 算术基础
发表于2024-11-21
算术基础 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
#纸质版
评分真的是好完美的定义~~
评分薄而玄。
评分两个核心,一是数学真理的客观非心理性,反对将数学规约为物理(穆勒)或直观的抽象(康德),而应是纯粹的逻辑形式。二是强调数学对象必有明确的指称(即凯撒问题),在这点与希尔伯特分歧,形式主义纲领中数学对象由其在形式系统中的位置和性质确定,因而无矛盾性即是存在的充要条件,其指称是无所谓的,而弗雷格认为如果我们不能明确地指涉一物就无权利谈论其性质。书中给出的算术系统构造若以集合论语言重述其实很简洁,0定义为空集,后继运算定义为集合嵌套递归,但弗雷格坚持概念与概念外延的区分,坚持只使用命题函项语言,为的是将构造限制在纯粹逻辑的基础之上。如果弗雷格的方法可以成功,则“数学为何可以应用于世界”将不是问题,因为逻辑是任何事项都必须遵守的纯然形式,而对于由形式主义利用公理系统演绎出的数学则是一个问题。
评分书写得条理不清楚,更像是信笔随手把脑子里的东西全倾泻到纸上。不过更可能是自己笨,跟不上作者的节奏
弗雷格(Gottlob Friedrich Ludwig Frege,1848-1925)在《算术基础》中阐述了三条基本原理,这三条原理一方面说明他为什么要构造他的人工语言系统,另一方面说明算术何以能够建立在逻辑的基础之上,这是从哲学的高度出发论证他的逻辑和数学思想的基础。
弗雷格于1897年发表《概念文字:一种模仿算术语言构造的纯思维的形式语言》(Begriffsschrift,eine der arithmetischen nachgebildete Formelsprache des reinen Denkens)。这本薄薄的书可谓现代逻辑的开山之作。它奠定了数理逻辑中的命题逻辑和一阶谓词逻辑的基础。然而,对于这本逻辑史上划时代的专著,在当时却少有人问津。弗雷格反思其原因,认为除人们对那陌生的符号系统望而生畏外,还不理解他为什么要构造这一系统的理由。他在1884年发表了专著《算术基础》(Grundlagen der Arithmetik)。在这本书中,他没有使用数理逻辑的符号,而是哲学理论上论证他所构造的人工语言系统的基本原理,指出严格区分心理的东西和逻辑的东西、主观的东西和客观的东西的必要性;强调决不要忘记概念和客体之间的区别;对当时所流行的逻辑学和数学中的心理主义展开批判。他认为逻辑是数学的基础,数的概念可以被定义为逻辑的类的概念,而类则被看成概念的外延。可以说,《算术基础》一书是弗雷格在哲学的方面为他的数学基础研究中的逻辑主义的方案奠定基础。
这本书的副标题是“对于数这个概念的一种逻辑数学的研究”。虽然字数不算多,但它显然不是一本易读的著作。理性思考贯穿始终,抽象分析比比皆是。作为数学家和逻辑学家,作者严谨的论述提高了著作的质量,可是这样一来普通读者就必须全神贯注才能跟上作者的思维。 本书的研究...
评分《纯粹理性批判》康德:因而借助感性,对象被给予我们,而且只有感性为我们提供直觉。 几何——直观——直觉 人们可以不把一个推理串与一个事实直接联系起来,而是对事实不予考虑,把其内容作为条件加以接纳。当人们以这种方式把一个思想序列中的所有事实代之以条件时,就得到...
评分數字只有依存於概念才有意義,概念是算數學得以成立的根基。同樣,文字的意義只有落到某個概念之下才有真假函項。一旦對某實體進行了概念化處理,那它在邏輯上則既可真亦可假。語言的本質就是遊戲。所以,數字和語言是分析的先驗判斷,運用形式邏輯可對其進行分析。弗雷...
评分作为经验主义者,同时也是一个神秘主义者,我的思想与弗雷格的《算术基础》大相径庭,所以以下的内容在尽量客观的基础上肯定充满了主观的偏见,所以先做个声明。 《算术基础》这本小册子即容易理解又费解。 说它容易理解,是因为弗雷格的哲学观点的立场很鲜明,...
评分數字只有依存於概念才有意義,概念是算數學得以成立的根基。同樣,文字的意義只有落到某個概念之下才有真假函項。一旦對某實體進行了概念化處理,那它在邏輯上則既可真亦可假。語言的本質就是遊戲。所以,數字和語言是分析的先驗判斷,運用形式邏輯可對其進行分析。弗雷...
算术基础 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024