德國偉大的邏輯學家:弗裡德裡希·路德維希·戈特洛布·弗雷格
弗裡德裡希·路德維希·戈特洛布·弗雷格(德語:Friedrich Ludwig Gottlob Frege,1848年11月8日-1925年7月26日),德國數學家、邏輯學家和哲學家。他是數理邏輯和分析哲學的奠基人,代表作為《概念演算--一種按算術語言構成的思維符號語言》。
弗雷格(Gottlob Frege,1848-1925)出生在德國沿海的威斯馬城(Wismar),父親卡爾是當地的數學教師,母親索菲是波蘭人。 早年在耶拿大學、
哥丁根大學學習數學、物理、化學和哲學,1873年獲博士學位後在母校耶拿大學任教,直至退休。他的主要著作有《算術基礎》(1884)、《涵義與指稱》(1892)等。
弗雷格的父親是擅長數學的學校教師。1869年弗雷格進入耶拿大學學習,兩年後轉至哥廷根大學,1873年在那裡得到了他在數學領域的哲學博士學位。 根據Sluga的資料(1980), 弗雷格在大學所受的邏輯和哲學教育仍是未知。1875年,他回到耶拿擔任講師,並於1879年成為助理教授,1896年成為教授。弗雷格只有一名註冊學生,魯道夫·卡爾納普。 弗雷格在1887年娶了瑪格蕾特·利澤貝格(1856-1904)為妻, 他的孩子都在成年前死去,而他於1905年領養了一名男孩。
弗雷格的工作沒有在有生之年得到廣泛的讚譽,但是受到伯特蘭·羅素和路德維希·維特根斯坦和卡爾納普的稱讚,認為他注定會產生重大的影響。二戰後他的工作才在英語世界廣為人知,部分原因是一些哲學家和邏輯學家移居到了美國--例如卡爾納普,塔爾斯基,和哥德爾--那些瞭解尊敬弗雷格工作並將他的主要著作翻譯成英文的人。弗雷格的工作對分析哲學產生了巨大的影響。
哲學邏輯論
弗雷格對哲學和邏輯學提出了新的概念和理論,其要點是:
1區分邏輯的東西與心理的東西,客觀的東西與主觀的東西。真理是客觀的,非心理主義的。概念、關係是抽像實體,作為邏輯與數學的對象,保證了二者的客觀性。邏輯探討證明的恰當性,由此數學才得以成立。故兩門科學應緊密結合,為哲學提供起點。
2語詞在語境中才具有意義,語句是語詞成真的條件。鑒於自然語言有缺點,應建立人工語言,從而實現完全定義,即每個謂詞、關係式或函項詞都給每個對象下定義。
3區分開概念與對象。對象是專名的對應物,可作主詞的指稱。概念是謂詞的指稱,存在是否有事物隸屬其下的問題。可區分開對像所屬的一級概念與一級概念所屬的二級概念。這兩種所屬關係不同,前者表現為特徵,後者為標誌。
4區分含義與指稱。名稱憑借含義指稱對象。特定指號對應特定含義,特定含義對應特定指稱(對像),特定指稱對應不只一個指號。語句表達的思想是意義,其真值是指稱。語句可以有意義而無指稱。
數理邏輯學
弗雷格是個政治立場保守的德國數學家,他重新激起人們對邏輯學的哲學興趣。弗雷格試圖找出算術的"基礎",以演繹的方式證明"二加二等於四"這類基本恆等式必然為真。從亞里斯多德以降,邏輯學一直是研究命題與命題彼此關係的學問,弗雷格則擴大邏輯學的內容,創造了"量化"邏輯 ( 與"全部"、"有些"、"無"等範疇有關),使其成為今日哲學家熟知與沿用的知識。正如笛卡兒與洛克沿著知識論大道發展現代哲學,弗雷格也沿著邏輯學與語言分析之路發展當代哲學。"語言學轉向"是個令人興奮的突破,它試圖以"分析"哲學為基礎,解釋所有的理論。
人物評價
弗雷格被公認為偉大的邏輯學家,如同亞里士多德,哥德爾,塔爾斯基。他於1879年出版的概念文字標誌著邏輯學史的轉折。 概念文字開闢了新的領域。
書的完整標題把它標識為"模仿算術的純思維的形式語言"。這本小書無可爭議是亞里士多德之後在邏輯學領域最重要的出版物。弗雷格開發他的形式邏輯系統的動機是類似於萊布尼茲對演算推論器的渴望。
弗雷格定義了邏輯演算來支持他在數學基礎上的研究。概念文字是書和其中定義的演算二者的名字。
中國出版了《弗雷格思想研究》,認為:弗雷格是現代邏輯的創始人,也被公認是分析哲學和語言哲學的創始人。他的思想對於邏輯的產生和發展,對於當代哲學,特別是對分析哲學和語言哲學的研究和發展,產生了極其重要的推動作用。弗雷格的影響之大,只要看一看西方文獻就可以感覺到:幾乎每一部著作都要提到他,而且把他放在很重要的位置。