著名德國數學家、邏輯學家和哲學家。在耶拿大學受教與任教,是數理邏輯和分析哲學的奠基人之一。
著名德國數學家、邏輯學家和哲學家。在耶拿大學受教與任教,是數理邏輯和分析哲學的奠基人之一。
史丹佛哲學百科這樣介紹弗雷格:
其成就公認在於邏輯領域:他建構了一套形式系統,結果成了第一個「述詞演算法」。在這個系統中,弗雷格發展出一套量化述句的分析方法,並且用目前仍接受的語彙形式化了「證明」(proof) 這個觀念。他演證出說我們可以使用他的系統,以較簡單的邏輯與數學觀念去解析理論數學的述句。他後來在系統中加入一個公理,試圖從邏輯中導出大部分的數學真理,結果這個公理被證明是不一致的。不過,他提出的定義(像是關於前導關係與自然數概念的定義)和方法(導出數論公理的方法)仍舊被視為一個長足的進展。為了替他對邏輯與數學之關係的看法建立基礎,弗雷格設想出一套全面性的語言哲學,至今仍讓許多哲學家受用。然而他想要顯示出數學可以被化約到邏輯的終身計劃卻沒有成功。
雖然他的作品受到羅素和維根斯坦的讚賞,但是和許多哲學家一樣,弗雷格的成就在他生前並未受到重視。在二次世界大戰後,因為受到他影響的哲學家與邏輯學家,如卡納普、塔斯基,和哥德爾等人移居到美國,並且將他的著作翻譯成英文,他的工作成果才廣為人知並且深刻地影響了分析哲學的發展。