算術基礎 在線電子書 圖書標籤: 哲學 弗雷格 數學 數理邏輯 分析哲學 邏輯學 邏輯哲學 算術基礎
發表於2024-05-20
算術基礎 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
由算術導嚮邏輯的初步嘗試。
評分根本讀不懂。太難瞭。
評分這種玄書值得再翻翻~恩,好書好書,放著以後再繼續翻翻~
評分這種玄書值得再翻翻~恩,好書好書,放著以後再繼續翻翻~
評分必知的人工語言的過去
弗雷格(Gottlob Friedrich Ludwig Frege,1848-1925)在《算術基礎》中闡述瞭三條基本原理,這三條原理一方麵說明他為什麼要構造他的人工語言係統,另一方麵說明算術何以能夠建立在邏輯的基礎之上,這是從哲學的高度齣發論證他的邏輯和數學思想的基礎。
弗雷格於1897年發錶《概念文字:一種模仿算術語言構造的純思維的形式語言》(Begriffsschrift,eine der arithmetischen nachgebildete Formelsprache des reinen Denkens)。這本薄薄的書可謂現代邏輯的開山之作。它奠定瞭數理邏輯中的命題邏輯和一階謂詞邏輯的基礎。然而,對於這本邏輯史上劃時代的專著,在當時卻少有人問津。弗雷格反思其原因,認為除人們對那陌生的符號係統望而生畏外,還不理解他為什麼要構造這一係統的理由。他在1884年發錶瞭專著《算術基礎》(Grundlagen der Arithmetik)。在這本書中,他沒有使用數理邏輯的符號,而是哲學理論上論證他所構造的人工語言係統的基本原理,指齣嚴格區分心理的東西和邏輯的東西、主觀的東西和客觀的東西的必要性;強調決不要忘記概念和客體之間的區彆;對當時所流行的邏輯學和數學中的心理主義展開批判。他認為邏輯是數學的基礎,數的概念可以被定義為邏輯的類的概念,而類則被看成概念的外延。可以說,《算術基礎》一書是弗雷格在哲學的方麵為他的數學基礎研究中的邏輯主義的方案奠定基礎。
序言 什么是数? 1)一这个数是什么?如果回答“是一个事物”是说不通的。 例:1+1=2中,是无法用“月亮”这样的对象两次带入1。 2)反对用心理学的概念来理解。 3)弗雷格的研究原则: ①心理学和逻辑学、主观的与客观的要区别开来。 ②在句子的联系中研究语词和意谓,而非个别区...
評分數字只有依存於概念才有意義,概念是算數學得以成立的根基。同樣,文字的意義只有落到某個概念之下才有真假函項。一旦對某實體進行了概念化處理,那它在邏輯上則既可真亦可假。語言的本質就是遊戲。所以,數字和語言是分析的先驗判斷,運用形式邏輯可對其進行分析。弗雷...
評分说实在,这本书自从买来已经放得够久了,首先,我也不知道为什么要买。既然买了,就看吧。 放了很久,这两天抓紧时间在地铁上终于算是看完了,但是,这本书到底在说什么呢?虽然在序里面有人说这是最完美的一本哲学著作,但我显然不敢苟同。 就我理解来看,这本书主要是在说...
評分顺着Frege的思路重新推导了一下第四小节里定义数字的方式,用英文是因为意思比较清楚,也是为了自己看笔记。可以推测, frege的推导为现代计算机语言提供了原型。他的主旨是,我们不需要知道数字本质上到底是什么,也不需要知道人是怎样发现数字和算数法则的。我们只需要一套稳...
評分數字只有依存於概念才有意義,概念是算數學得以成立的根基。同樣,文字的意義只有落到某個概念之下才有真假函項。一旦對某實體進行了概念化處理,那它在邏輯上則既可真亦可假。語言的本質就是遊戲。所以,數字和語言是分析的先驗判斷,運用形式邏輯可對其進行分析。弗雷...
算術基礎 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024