弗雷格(Gottlob Friedrich Ludwig Frege,1848-1925)在《算術基礎》中闡述瞭三條基本原理,這三條原理一方麵說明他為什麼要構造他的人工語言係統,另一方麵說明算術何以能夠建立在邏輯的基礎之上,這是從哲學的高度齣發論證他的邏輯和數學思想的基礎。
弗雷格於1897年發錶《概念文字:一種模仿算術語言構造的純思維的形式語言》(Begriffsschrift,eine der arithmetischen nachgebildete Formelsprache des reinen Denkens)。這本薄薄的書可謂現代邏輯的開山之作。它奠定瞭數理邏輯中的命題邏輯和一階謂詞邏輯的基礎。然而,對於這本邏輯史上劃時代的專著,在當時卻少有人問津。弗雷格反思其原因,認為除人們對那陌生的符號係統望而生畏外,還不理解他為什麼要構造這一係統的理由。他在1884年發錶瞭專著《算術基礎》(Grundlagen der Arithmetik)。在這本書中,他沒有使用數理邏輯的符號,而是哲學理論上論證他所構造的人工語言係統的基本原理,指齣嚴格區分心理的東西和邏輯的東西、主觀的東西和客觀的東西的必要性;強調決不要忘記概念和客體之間的區彆;對當時所流行的邏輯學和數學中的心理主義展開批判。他認為邏輯是數學的基礎,數的概念可以被定義為邏輯的類的概念,而類則被看成概念的外延。可以說,《算術基礎》一書是弗雷格在哲學的方麵為他的數學基礎研究中的邏輯主義的方案奠定基礎。
弗雷格先生的这本书,大概说了这样一个事情:设立一个概念F,所有的数字都通过φ这个关系与F这个概念建立一一对应的关系;同时再建立一个概念G,将现实的事物通过ψ关系与G建立一一对应的关系,然后通过F与G相等,从而证明了数的意义……
評分數字只有依存於概念才有意義,概念是算數學得以成立的根基。同樣,文字的意義只有落到某個概念之下才有真假函項。一旦對某實體進行了概念化處理,那它在邏輯上則既可真亦可假。語言的本質就是遊戲。所以,數字和語言是分析的先驗判斷,運用形式邏輯可對其進行分析。弗雷...
評分 評分我读这本书的初衷是想了解到底什么是1的,可是最终并没有得到明确的答案。本来以为是一本数学书,看下来却发现是本哲学书。但是并不应为此感到失望,因为我得到一个问题,即我们是否可以认识我们的认识。 欧氏几何是一剂毒药,让人们错以为可以用同样机械而严密的公理化方法来...
評分弗雷格先生的这本书,大概说了这样一个事情:设立一个概念F,所有的数字都通过φ这个关系与F这个概念建立一一对应的关系;同时再建立一个概念G,将现实的事物通过ψ关系与G建立一一对应的关系,然后通过F与G相等,从而证明了数的意义……
書寫得條理不清楚,更像是信筆隨手把腦子裏的東西全傾瀉到紙上。不過更可能是自己笨,跟不上作者的節奏
评分喜歡分析哲學的,還是值得一看
评分買瞭一本,丟瞭,小薄本。
评分#本科時候藉過這本書,看來對數學這種“外星規則”的迷惑的確源來已久……
评分買瞭一本,丟瞭,小薄本。
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有