发表于2024-11-21
算术基础 2024 pdf epub mobi 电子书
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 最近的每日乱摘越...
评分这本书的副标题是“对于数这个概念的一种逻辑数学的研究”。虽然字数不算多,但它显然不是一本易读的著作。理性思考贯穿始终,抽象分析比比皆是。作为数学家和逻辑学家,作者严谨的论述提高了著作的质量,可是这样一来普通读者就必须全神贯注才能跟上作者的思维。 本书的研究...
评分數字只有依存於概念才有意義,概念是算數學得以成立的根基。同樣,文字的意義只有落到某個概念之下才有真假函項。一旦對某實體進行了概念化處理,那它在邏輯上則既可真亦可假。語言的本質就是遊戲。所以,數字和語言是分析的先驗判斷,運用形式邏輯可對其進行分析。弗雷...
评分數字只有依存於概念才有意義,概念是算數學得以成立的根基。同樣,文字的意義只有落到某個概念之下才有真假函項。一旦對某實體進行了概念化處理,那它在邏輯上則既可真亦可假。語言的本質就是遊戲。所以,數字和語言是分析的先驗判斷,運用形式邏輯可對其進行分析。弗雷...
评分我读这本书的初衷是想了解到底什么是1的,可是最终并没有得到明确的答案。本来以为是一本数学书,看下来却发现是本哲学书。但是并不应为此感到失望,因为我得到一个问题,即我们是否可以认识我们的认识。 欧氏几何是一剂毒药,让人们错以为可以用同样机械而严密的公理化方法来...
图书标签: 哲学 弗雷格 数学 数理逻辑 分析哲学 逻辑学 逻辑哲学 算术基础
弗雷格(Gottlob Friedrich Ludwig Frege,1848-1925)在《算术基础》中阐述了三条基本原理,这三条原理一方面说明他为什么要构造他的人工语言系统,另一方面说明算术何以能够建立在逻辑的基础之上,这是从哲学的高度出发论证他的逻辑和数学思想的基础。
弗雷格于1897年发表《概念文字:一种模仿算术语言构造的纯思维的形式语言》(Begriffsschrift,eine der arithmetischen nachgebildete Formelsprache des reinen Denkens)。这本薄薄的书可谓现代逻辑的开山之作。它奠定了数理逻辑中的命题逻辑和一阶谓词逻辑的基础。然而,对于这本逻辑史上划时代的专著,在当时却少有人问津。弗雷格反思其原因,认为除人们对那陌生的符号系统望而生畏外,还不理解他为什么要构造这一系统的理由。他在1884年发表了专著《算术基础》(Grundlagen der Arithmetik)。在这本书中,他没有使用数理逻辑的符号,而是哲学理论上论证他所构造的人工语言系统的基本原理,指出严格区分心理的东西和逻辑的东西、主观的东西和客观的东西的必要性;强调决不要忘记概念和客体之间的区别;对当时所流行的逻辑学和数学中的心理主义展开批判。他认为逻辑是数学的基础,数的概念可以被定义为逻辑的类的概念,而类则被看成概念的外延。可以说,《算术基础》一书是弗雷格在哲学的方面为他的数学基础研究中的逻辑主义的方案奠定基础。
两个核心,一是数学真理的客观非心理性,反对将数学规约为物理(穆勒)或直观的抽象(康德),而应是纯粹的逻辑形式。二是强调数学对象必有明确的指称(即凯撒问题),在这点与希尔伯特分歧,形式主义纲领中数学对象由其在形式系统中的位置和性质确定,因而无矛盾性即是存在的充要条件,其指称是无所谓的,而弗雷格认为如果我们不能明确地指涉一物就无权利谈论其性质。书中给出的算术系统构造若以集合论语言重述其实很简洁,0定义为空集,后继运算定义为集合嵌套递归,但弗雷格坚持概念与概念外延的区分,坚持只使用命题函项语言,为的是将构造限制在纯粹逻辑的基础之上。如果弗雷格的方法可以成功,则“数学为何可以应用于世界”将不是问题,因为逻辑是任何事项都必须遵守的纯然形式,而对于由形式主义利用公理系统演绎出的数学则是一个问题。
评分这种玄书值得再翻翻~恩,好书好书,放着以后再继续翻翻~
评分两个核心,一是数学真理的客观非心理性,反对将数学规约为物理(穆勒)或直观的抽象(康德),而应是纯粹的逻辑形式。二是强调数学对象必有明确的指称(即凯撒问题),在这点与希尔伯特分歧,形式主义纲领中数学对象由其在形式系统中的位置和性质确定,因而无矛盾性即是存在的充要条件,其指称是无所谓的,而弗雷格认为如果我们不能明确地指涉一物就无权利谈论其性质。书中给出的算术系统构造若以集合论语言重述其实很简洁,0定义为空集,后继运算定义为集合嵌套递归,但弗雷格坚持概念与概念外延的区分,坚持只使用命题函项语言,为的是将构造限制在纯粹逻辑的基础之上。如果弗雷格的方法可以成功,则“数学为何可以应用于世界”将不是问题,因为逻辑是任何事项都必须遵守的纯然形式,而对于由形式主义利用公理系统演绎出的数学则是一个问题。
评分难读
评分翻译太烂。建议大家看英文版。
算术基础 2024 pdf epub mobi 电子书