弗里德里希·路德維希·戈特洛布·弗雷格

弗里德里希·路德維希·戈特洛布·弗雷格（德語：Friedrich Ludwig Gottlob Frege，IPA：/ˈɡɔtlop ˈfʁeːɡə/ ；1848年11月8日—1925年7月26日），德國數學家、邏輯學家和哲學家。是數理邏輯和分析哲學的奠基人。

基本介紹

• 中文名：弗里德里希·路德維希·戈特洛布·弗雷格
• 國籍：德國
• 出生日期：1848年11月8日
• 逝世日期：1925年7月26日

生平

F.L.G.Frege

F.L.G.Frege

弗雷格的父親是擅長數學的學校教師。1869年弗雷格進入耶拿大學學習，兩年後轉至哥廷根大學，1873年在那裡得到了他在數學領域的哲學博士學位。 根據Sluga的資料(1980)， 弗雷格在大學所收的邏輯和哲學教育仍是未知。1875年，他回到耶拿擔任講師，並於1879年成為助理教授， 1896年成為教授。弗雷格只有一名註冊學生，魯道夫·卡爾納普。 弗雷格的孩子都在成年前死去，而他於1905年領養了一名男孩。

弗雷格的工作沒有在有生之年得到廣泛的讚譽，但是受到伯特蘭·羅素和路德維希·維根斯坦和卡爾納普的稱讚，認為他注定會產生重大的影響。二戰後他的工作才在英語世界廣為人知，部分原因是一些哲學家和邏輯學家移居到了美國——例如卡爾納普，塔爾斯基，和哥德爾——那些了解尊敬弗雷格工作並將他的主要著作翻譯成英文的人。弗雷格的工作對分析哲學產生了巨大的影響。

思想理論

其哲學思想與邏輯理論包括：

①區分邏輯的東西與心理的東西，客觀的東西與主觀的東西。真理是客觀的，非心理主義的。概念、關係是抽象實體，作為邏輯與數學的對象，保證了二者的客觀性。邏輯探討證明的恰當性，由此數學才得以成立。故兩門科學應緊密結合，為哲學提供起點。

②語詞在語境中才具有意義，語句是語詞成真的條件。鑒於自然語言有缺點，應建立人工語言，從而實現完全定義，即每個謂詞、關係式或函項詞都給每個對象下定義。

③區分開概念與對象。對象是專名的對應物，可作主詞的指稱。概念是謂詞的指稱，存在是否有事物隸屬其下的問題。可區分開對象所屬的一級概念與一級概念所屬的二級概念。這兩種所屬關係不同，前者表現為特徵，後者為標誌。

④區分含義與指稱。名稱憑藉含義指稱對象。特定指號對應特定含義，特定含義對應特定指稱（對象），特定指稱對應不只一個指號。語句表達的思想是意義，其真值是指稱。語句可以有意義而無指稱。

重要著作

主要著作

《概念演算--一種按算術語言構成的思維符號語言》（1879） 《算術的基礎--對數概念的邏輯數學研究》（1884） 《算術的基本規律》（l卷 1893，2卷1903）

論文

《函項和概念》（1891）

《論概念和對象》（1892） 《論意義和指稱》（1892）

概念文字

弗雷格被公認為偉大的邏輯學家，如同亞里士多德，哥德爾，塔爾斯基。他於1879年出版的概念文字標誌著邏輯學史的轉折。 概念文字開闢了新的領域。

概念文字是1879年出版的戈特洛布·弗雷格寫的一本關於邏輯學的書。書名《Begriffsschrift》通常翻譯成《Concept Writing》或《Concept Notation》；書的完整標題把它標識為《模仿算術的純思維的形式語言》。這本小書無可爭議是亞里士多德之後在邏輯學領域最重要的出版物。弗雷格開發他的形式邏輯系統的動機是類似於萊布尼茲對“演算推論器”的渴望。

弗雷格定義了邏輯演算來支持他在數學基礎上的研究。概念文字是書和其中定義的演算二者的名字。