弗雷格(Gottlob Friedrich Ludwig Frege,1848-1925)在《算术基础》中阐述了三条基本原理,这三条原理一方面说明他为什么要构造他的人工语言系统,另一方面说明算术何以能够建立在逻辑的基础之上,这是从哲学的高度出发论证他的逻辑和数学思想的基础。
弗雷格于1897年发表《概念文字:一种模仿算术语言构造的纯思维的形式语言》(Begriffsschrift,eine der arithmetischen nachgebildete Formelsprache des reinen Denkens)。这本薄薄的书可谓现代逻辑的开山之作。它奠定了数理逻辑中的命题逻辑和一阶谓词逻辑的基础。然而,对于这本逻辑史上划时代的专著,在当时却少有人问津。弗雷格反思其原因,认为除人们对那陌生的符号系统望而生畏外,还不理解他为什么要构造这一系统的理由。他在1884年发表了专著《算术基础》(Grundlagen der Arithmetik)。在这本书中,他没有使用数理逻辑的符号,而是哲学理论上论证他所构造的人工语言系统的基本原理,指出严格区分心理的东西和逻辑的东西、主观的东西和客观的东西的必要性;强调决不要忘记概念和客体之间的区别;对当时所流行的逻辑学和数学中的心理主义展开批判。他认为逻辑是数学的基础,数的概念可以被定义为逻辑的类的概念,而类则被看成概念的外延。可以说,《算术基础》一书是弗雷格在哲学的方面为他的数学基础研究中的逻辑主义的方案奠定基础。
顺着Frege的思路重新推导了一下第四小节里定义数字的方式,用英文是因为意思比较清楚,也是为了自己看笔记。可以推测, frege的推导为现代计算机语言提供了原型。他的主旨是,我们不需要知道数字本质上到底是什么,也不需要知道人是怎样发现数字和算数法则的。我们只需要一套稳...
评分序言 什么是数? 1)一这个数是什么?如果回答“是一个事物”是说不通的。 例:1+1=2中,是无法用“月亮”这样的对象两次带入1。 2)反对用心理学的概念来理解。 3)弗雷格的研究原则: ①心理学和逻辑学、主观的与客观的要区别开来。 ②在句子的联系中研究语词和意谓,而非个别区...
评分弗雷格先生的这本书,大概说了这样一个事情:设立一个概念F,所有的数字都通过φ这个关系与F这个概念建立一一对应的关系;同时再建立一个概念G,将现实的事物通过ψ关系与G建立一一对应的关系,然后通过F与G相等,从而证明了数的意义……
评分弗雷格先生的这本书,大概说了这样一个事情:设立一个概念F,所有的数字都通过φ这个关系与F这个概念建立一一对应的关系;同时再建立一个概念G,将现实的事物通过ψ关系与G建立一一对应的关系,然后通过F与G相等,从而证明了数的意义……
评分《纯粹理性批判》康德:因而借助感性,对象被给予我们,而且只有感性为我们提供直觉。 几何——直观——直觉 人们可以不把一个推理串与一个事实直接联系起来,而是对事实不予考虑,把其内容作为条件加以接纳。当人们以这种方式把一个思想序列中的所有事实代之以条件时,就得到...
这种玄书值得再翻翻~恩,好书好书,放着以后再继续翻翻~
评分难读
评分1+1便是2的全部涵义
评分难读
评分买了一本,丢了,小薄本。
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有