數理邏輯體系的開創者 科學家名叫弗雷格

本文首發於微信公眾號：網路智酷。文章內容屬作者個人觀點，不代表和訊網立場。投資者據此操作，風險請自擔。

弗雷格德國數學家、邏輯學家和哲學家。是數理邏輯和分析哲學的奠基人。數理邏輯時代，弗雷格建立數理邏輯體系

現在到了數理邏輯的時代，這裡面很重要的就是1879年弗雷格寫了一本小書《概念文字》。他是第一個建立起數理邏輯體系的德國哲學家，他構成了一階謂詞邏輯，是數理邏輯誕生的一個標誌。第二個是數理邏輯時期，剛才講邏輯代數時期，現在講了數理邏輯時期。那時候德國的哲學是流行心理主義，就是用普通語言來研究哲學，搞出了很多概念上的混亂。後來弗雷格一個主要的目的，就是要把心理主義從科學當中去除出去，他就說用演算法方法進行邏輯研究，這是1985年寫出的《概念文字》。弗雷格並不是不知道布爾的工作，因為布爾比他早，所以他就把布爾的東西叫做抽象代數，和他的《概念文字》進行了區分。弗雷格就是從邏輯出發來改造傳統邏輯，布爾是從代數出發得出了合乎邏輯的結論，在我看來可能理性演算和普遍語言能達到一種和諧的狀態。

哲學的語言轉向

與布爾不同的是弗雷格希望創造一種萊布尼茨意義下的一種普遍語言，不想創造一種純粹的理性演算。他想創造一個語言，不是要一種演算，但是布爾不一樣。後來他的工作達到了萊布尼茨夢寐以求的形式語言，籍此將人類知識表達出來。他定義了在算術的基礎上，搞了一套哲學分析的工具，有了這個數理邏輯，哲學的本質就改了，就是用現代邏輯和現代數理邏輯對哲學進行分析。1884年他又寫了第二本書叫《算術基礎》，《算術基礎》就標誌著語言轉向的開始。羅蒂語曾經寫過一本書就是《語言轉向》，其實語言轉向是維也納學圈的一個主要人物提出來的，羅蒂語後來把它當成書名了。

哲學開始了語言的轉向，是語言轉向，不是語言學轉向，網上鋪天蓋地的都是語言學轉向。我在北師大講的時候，北師大老師都發火了，說這個跟語言學一點關係都沒有。其實是差了一個字母，Linguistic是個形容詞，但是語言學後面加個「s」，這樣大家就把名詞和形容詞混起來了。其實在大學裡也是的，教書語言學專門有個系，叫語言學系。可是講語言轉向不是在語言學系講，是在哲學系講，而且專門講分析哲學的時候才講。他的一個貢獻就是形成了哲學的語言轉向，認為哲學本質就是分析語言，分析語言的工具就是弗雷格的現代邏輯。牛津大學的哲學家達米特，認為語言轉向是起於弗雷格的第二本書《算術基礎》，談語言轉向必須談弗雷格。就像我們講現代邏輯、邏輯主義，要找萊布尼茨。弗雷格也是邏輯主義，羅素也是邏輯主義，他們是一條線上下來的。弗雷格、羅素、維特根斯坦共同構成了語言轉向，羅素分析出了分析哲學，弗雷格發明了語言哲學，維特根斯坦是前期工作。他研究出來之後教小學去了，寫了一個小薄本，覺得哲學都做完了，你們都別做了，然後他教小學去了。後來他又到大學裡教書，到劍橋去，而且維特根斯坦據說還跟圖靈有點親戚關係。

弗雷格的學術貢獻

弗雷格在學術上的貢獻有兩個方面：一個是分析哲學，還有現代邏輯。分析哲學他提供了工具，第二個是開創了現代邏輯，現代邏輯就是數理邏輯了。羅素就提出了邏輯原子論，他就是在分析哲學上進行得推進。我們可以把羅素的邏輯原子論和萊布尼茨的單子論進行比較，原子論是一個一個的，單子論是一堆一堆的，不一樣，但是可以比較。有人說邏輯原子論就是萊布尼茨單子論給逼出來的，因為它是整個的，一個一個構建起來，原子論是一個一個的，和單子論是不同的。

文章來源：微信公眾號網路智酷