算術基礎 在線電子書 圖書標籤: 哲學 弗雷格 數學 數理邏輯 分析哲學 邏輯學 邏輯哲學 算術基礎
發表於2024-12-22
算術基礎 在線電子書 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)。在這本書中,他沒有使用數理邏輯的符號,而是哲學理論上論證他所構造的人工語言係統的基本原理,指齣嚴格區分心理的東西和邏輯的東西、主觀的東西和客觀的東西的必要性;強調決不要忘記概念和客體之間的區彆;對當時所流行的邏輯學和數學中的心理主義展開批判。他認為邏輯是數學的基礎,數的概念可以被定義為邏輯的類的概念,而類則被看成概念的外延。可以說,《算術基礎》一書是弗雷格在哲學的方麵為他的數學基礎研究中的邏輯主義的方案奠定基礎。
作为经验主义者,同时也是一个神秘主义者,我的思想与弗雷格的《算术基础》大相径庭,所以以下的内容在尽量客观的基础上肯定充满了主观的偏见,所以先做个声明。 《算术基础》这本小册子即容易理解又费解。 说它容易理解,是因为弗雷格的哲学观点的立场很鲜明,...
評分作为经验主义者,同时也是一个神秘主义者,我的思想与弗雷格的《算术基础》大相径庭,所以以下的内容在尽量客观的基础上肯定充满了主观的偏见,所以先做个声明。 《算术基础》这本小册子即容易理解又费解。 说它容易理解,是因为弗雷格的哲学观点的立场很鲜明,...
評分我读这本书的初衷是想了解到底什么是1的,可是最终并没有得到明确的答案。本来以为是一本数学书,看下来却发现是本哲学书。但是并不应为此感到失望,因为我得到一个问题,即我们是否可以认识我们的认识。 欧氏几何是一剂毒药,让人们错以为可以用同样机械而严密的公理化方法来...
評分 評分这本书的副标题是“对于数这个概念的一种逻辑数学的研究”。虽然字数不算多,但它显然不是一本易读的著作。理性思考贯穿始终,抽象分析比比皆是。作为数学家和逻辑学家,作者严谨的论述提高了著作的质量,可是这样一来普通读者就必须全神贯注才能跟上作者的思维。 本书的研究...
算術基礎 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024