亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        論維特根斯坦對哥德爾定理的評析

        2017-03-12 08:53:58樊岳紅
        洛陽師范學院學報 2017年10期
        關鍵詞:維氏維特根斯坦表達式

        樊岳紅

        (山西大學 哲學社會學學院, 山西 太原 030006)

        論維特根斯坦對哥德爾定理的評析

        樊岳紅

        (山西大學 哲學社會學學院, 山西 太原 030006)

        數學哲學的基礎問題一直是維特根斯坦所關注的核心領域之一。 20世紀30年代哥德爾提出的第一不完備性定理徹底地動搖了數學的邏輯主義、 直覺主義和形式主義的基礎。 在這種背景下, 中后期的維特根斯坦對哥德爾第一不完備定理進行了評論, 但他的評論卻受到了人們廣泛的質疑和批評。 很大一部分的原因是由于人們誤解或誤讀了維特根斯坦的觀點。 基于此, 在維特根斯坦數學哲學的語境下來分析和理解他的這些評論, 并最終闡明其理論特色。

        維特根斯坦; GIT; 數學命題; 不可判定; 有限論

        數學哲學的基礎問題一直是維特根斯坦(以下簡稱維氏)所關注的核心領域之一, 無論是在其早期的《戰(zhàn)時筆記》及《邏輯哲學論》、 中期的《哲學評論》及《哲學語法》, 還是后期的《數學基礎研究》和《哲學研究》中, 他都嘗試著探討了許多重要的數學基礎問題, 并提出了一系列重要的見解。 在其著作中, 維氏密切關注數學哲學的各種論題, 其原因就在于他想要了解必然性問題, 如數學命題在什么意義上必然為真。 在早期的《邏輯哲學論》中, 他曾認為必然性或者確定性在自身中顯示為重言式, 所以對他來說, 所有必然性都是邏輯必然性。 中期和后期的維氏對哥德爾第一不完備定理(G?del’s First Incompleteness Theorem, 以下簡稱GIT)的評論表明他有了不同的想法: (1)不可能有“是真的但卻無法證實的”數學命題; (2)哥德爾式命題p的意義非常值得懷疑; (3)即使能對GIT進行標準的解釋, 但哥德爾并沒有證明這一系統(tǒng)自洽的問題。 因為在算術系統(tǒng)中, “無法證實的命題”既是可證的, 也是不可證的。

        一、 維特根斯坦對GIT的評論

        從20世紀30年代開始, 維氏密切關注數學哲學的各種論題。 在《邏輯哲學論》中, 他曾認為必然性(或者“確定性”)是自身顯示為重言式。 所以對他來說, 所有必然性都是邏輯必然性。 從1929年到1933年期間, 維氏持強有限論觀點: 沒有可以無限擴展的事物集, 也沒有無限的數學領域; 因為量化一個無限的數學表達式是沒有意義的, 如量化哥德巴赫猜想(Goldbach’s Conjecture, 以下簡稱GC)、 費馬大定理(Fermat’s Last Theorem, 以下簡稱FLT)等都是沒有意義的。 因此, 維氏在《哲學評論》中寫道: “現(xiàn)在看來, 對數的一般性表述似乎是無意義的……如果一個命題不通過任何有限的結果而成為真的, 這就等于說它不通過任何結果便成為了真的, 因而它不是一個邏輯計算的結果……”[1]§126

        維氏認為, 一個有意義的數學命題, 當且僅當我們可以知道其有一種適當的、 有效的判定過程, 因為: “這里的數學命題只有一種解決方法, 命題必然通過其意義表明, 我們應該如何證明這個命題是真的還是假的?”[1]§148只有包含可判定的算術謂詞時, 命題才是有意義的, 如果數學命題在算法上不可判定, 那么它們也不是真正有限邏輯的總數或結果, 因而也不是有意義的數學命題。 如“(?n)4+n=7”就不是一個有限的邏輯結果, 因為表達式“(?x)=|x”不能被預設為全部數字。 類似的, 在量化全稱域時也不能說n|n, 因為所有自然數并不是一個有限的集合。 因此, 維氏認為, 我們可以在“所有”和“有”之間形成一種形式良好的原則或規(guī)則, 這是錯誤的想法, 因為公理與命題的唯一相關方式是有適當的判定過程。[2]37“你馬上會看到, 追問數的對象是沒有意義的。 尤其是不可能存在無限多的對象。 ‘存在無限多的沙發(fā)’=‘在空間里可能存在無限多的沙發(fā)’?!盵3]13

        因此, 維氏認為, 對所有數的描述不是通過命題來表征的, 而是由歸納來表征的。 如關于費馬大定理的陳述并不是關于命題或算法的陳述, 而是對應于歸納的證明: “除了對費馬規(guī)則不起作用的數字以外, 以一種規(guī)則來說, p是窮盡了全體數的序列。 ……已經有一個規(guī)則在那里, 但是這與數沒有直接關系。 數就像是規(guī)則的一個不規(guī)則的副產品?!盵1]§189

        如果對無限數學領域進行量化, 這只能代表證明的歸納基礎和歸納步驟, 但由于未經證實的歸納步驟在算法上不可判定, 因此在被證明之前它們不是有意義的命題; 命題在被證明的同時, 也即發(fā)明了一種新的演算。 如證明在π的擴展式中連續(xù)出現(xiàn)4個7, 但這種實數運算是不可證明的, 所以無論是出現(xiàn)還是不出現(xiàn)4個7, 命題都必須遵循排中律, 這意味著無論是出現(xiàn)還是不出現(xiàn)4個7, 這都是不可判定的, 因而是無意義的偽命題。

        “當有人提出排中律時, 仿佛給我們提出了兩種可供選擇的圖像, 并且說其中一種必然符合事實。 但假如這些圖像在這里是否適用成為問題時, 那又該怎么辦?……一般認為, 在排中律的命題中已經有某種堅實的東西, 有某種無論如何也不會引起懷疑的東西。 然而實際上, 這種同義語的反復同樣具有不穩(wěn)定的意義, 與這個問題一樣, p還是~p成立。”[4]§11-12

        因此, 中期維氏在評論GIT時寫道, 這有兩種理由來拒絕GIT:

        首先, 作為數論表達式, 如果要量化無限域, 那么p在算法上是不可判定的。 因此, 它不是一個有意義的數學命題。 如王浩就認為, “人們可能會說, 維氏數學的不足之處是阻礙了他所發(fā)展的思想, 對于基礎數學則更甚, 尤為有名的是他關于哥德爾證明的討論”[5]。 然而王浩也說道: “在任何固定的有限范圍內或者在一些無限范圍內, 并沒有隱含哥德爾式的建構, 這種可能性是不可能實現(xiàn)的?!盵6]63

        “正如布勞威爾所言, (x)·f1x=f2x的真或假也存在不可判定性的情況, 這意味著(x)……是外延性的, 我們可以說在所有x中恰巧有某種屬性。 但事實上, 討論這種情況是不可能的, 即在所有的算法中, (x)不可能是外延性的?!盵7]§173維氏認為, 命題的不可判定性預設了等號兩邊存在一個隱式的連接, 但這種隱式的連接不能用符號來表征, 符號之間已經存在的連接也不能進行轉換, 因為符號是一種思維的產物, 其本身不能被思維。 如果真有這種隱式的連接的話, 那么這種連接必須能夠看出來。 維氏強調, 算法的可判定性在于, 我們可以主張任何事物都能夠在實踐中得到檢驗, 這是一個檢驗的可能性問題。

        中期維氏拒絕GIT的第二個理由是哥德爾所謂的不可判定性命題明顯是矛盾的, 如p是可證明的, 那么“~p”也是可證明的, 反之亦然, 其結果是導致邏輯命題失去了其有效性。 如果一個表達式是不可判定的話, 那么它既不是真的也不是假的。 在一些實際的演算中, 如果一種表達式是不可判定的, 那么它就不是一個有意義的數學命題, 因為“每種數學命題必須屬于一個數學演算式”[8]§376。 如果我們假定有另外的一些系統(tǒng)可以對是真的但不可證明的命題p進行自然語言的解釋, 那么p在羅素系統(tǒng)中則不是可證明的。 因此, 這導致了維氏在許多場合都認為我們應該“放棄”哥德爾的這種矛盾解釋。

        在《數學基礎研究》(以下簡稱RFM)及《維特根斯坦1939年在劍橋關于數學基礎的講座》(以下簡稱LFM)中, 維氏更加重視他中期的主張, 他認為我們是在制造或發(fā)明數學——“一個人不能發(fā)現(xiàn)數學或邏輯部分之間的任何連接, 如果這種連接已經存在但卻沒有人知道的話”“數學家是一個發(fā)明家, 而不是一個發(fā)現(xiàn)者”[4]§168。 后期維氏認為, 每種新的數學證明都進一步擴展了數學, 我們不是在發(fā)現(xiàn)數學真理或數學對象, 而是在一點一點地發(fā)明數學。

        正如維氏在RFM中所說: “對計算結果的差異取得一致意見, 這是什么意思呢?它一定意味著達到了一種沒有差異的計算。 如果人們沒有取得一致意見, 那么其中一個人就不能說另一個人只是在得出另一種計算結果?!盵4]§9在早期的《邏輯哲學論》中, 維氏認為, 唯一真正的命題是一個偶然的命題, 我們使用慣例來斷言事實的狀態(tài)。 因為只有為真或為假的偶然命題才對應于事實。 “如果一種基本命題是真的, 那么事物的狀態(tài)是存在的; 如果一種基本命題是假的, 那么事物的狀態(tài)就不存在?!盵9]§4.25這意味著只有真實的、 真正的命題才是符合真理的。 所有其他公認的命題都是偽命題, 包括重言式、 矛盾式, 以及數學方程等。

        在中期, 維氏認為數學命題并不符合真理, 它們只是在形式上或句法意義上為真或為假。 維氏把這種數學命題看成發(fā)明的真理。 只有在一個給定的演算式中, 一個表達式才是有意義的命題, 一個有意義的表達式當且僅當我們可以有一個適用的、 有效的判定過程, 即算法是可判定的。

        在后期, 維氏進一步強化了這一觀點。 盡管維氏仍然認為可判定性適用于所有有意義的數學命題, 但這并不意味著每一個這樣的命題都是為真或為假的, 而是說通過正確運用相關的判定過程, 我們可以讓命題為真或為假。 維氏強調, 證明是在做出新的聯(lián)結, 即使它們不存在這樣的聯(lián)結, 我們也可以制造它們。 因此, 維氏的“真”相當于“被證明”, 而“假”相當于“被反駁”。 我們可以在數學語境中用如“紅”和“綠”取代“真”和“假”, 或用“+”和“-”來替代“真”和“假”, 而沒有任何損失。 中期及后期維氏都認為“真”相當于“可證明性”, 而“假”相當于“可反駁性”。[10]

        二、 維氏對哥德爾“命題p”的質疑

        如前所述, 中期的維氏拒斥可以量化一種無限的數學表達式, 包括量化費馬大定理這樣的表達式。 維氏認為, 像FLT也不是有意義的算術命題, 因為它涉及無限的數學領域。 “因為它們不能被假定為全部數字, 正如量化普遍命題不能是無限的邏輯產物, 所有自然數并不是一個有界的概念?!盵7]§126雖然后期維氏沒有提出關于量化的明確主張, 但毫無疑問的是, 他仍然是一個有限論者。 維氏在RFM中主張, 無限序列或無限集只是一種生成的有限擴展的遞歸規(guī)則, 無限序列或無限集本身不是無限擴展的。 那么無限小數概念是數學命題嗎?維氏認為, “無限小數不是系列的概念, 但擁有無限擴張的技術。 說技術是無限的, 并不意味著它不會停止, 它只是可以擴展到無法測量; 但它缺乏制度性的結束, 這并不是結束”[11]II§45。

        我們說存在有理數的無限集, 因為它們是可數的; 但不存在無理數的無限集, 即使所謂的遞歸無理數也不是遞歸可數的。 維氏認為, 像命題中出現(xiàn)4個7的表達式, 當把它們限制在有限系列時, 它們是有意義的, 這正是維氏中期的立場。 當問: “如數字0、 1、 2……9會出現(xiàn)在其中嗎?”[2]81-82維氏認為不可能會有這樣的問題。 我們只能問, 它們是否會出現(xiàn)在一個特定的地方, 或者它們是否會出現(xiàn)在10000之內的數字中。 在量化無限的數學表達式時, 后期維氏的立場與中期的立場似乎沒有太大的變化: “現(xiàn)在是不是說一個人若不懂費馬大定理的意義就是荒謬的?好吧, 人們可能的回答是, 當數學家面對這個命題時, 他們并不完全是不知所措的。 畢竟, 他們會嘗試用某些方法來證明它; 只要他們去嘗試各種方法, 他們就能理解命題。 但這是正確的理解嗎?難道他們不能充分理解這一命題就像人們不能充分理解這一命題一樣嗎?”[11]VI§13

        維氏對此的回答是, 如果我們知道像FLT的命題說的是什么, 那么我們就必須知道命題為真的標準是什么。 如果我們知道如何確定FLT, 那么我們就會知道它的真理性標準; 如果我們知道一個適當的判定過程的話, 那么我們就會知道FLT是為真還是為假; 如果判定過程給出了結論, 那么結論之外的其他方面就是假的。[12]

        維氏對GIT的評論, 尤其是在評論量化無限領域時, 他并沒有明確解決數學表達式的意義問題。 哥德爾定理表明, 我們有一個命題p可能屬于或不屬于羅素系統(tǒng)——或者更準確地說, 在某些情況下, 如果我們可以證明這個命題本身的話, 那么我們也可以證明該命題的否定句法。 在RFM中, 維氏只是隱含地質疑了這樣表達式的意義, 但這一觀點卻經常被人們誤解。

        “數理邏輯入侵數學詛咒通常指的是, 現(xiàn)在任何命題都可以用數學符號來表征, 這讓我們覺得有必要理解它。 當然, 這種寫作方法只不過是對普通文本的模糊翻譯。”[11]VI§46在這著名的段落中, 維氏討論了“建構性存在”對比“非建構存在”。 “因此, 這個問題是說, 是否存在一種不是建構的證明, 而且是一種真正的證明。 也就是說, 所產生的問題是: 我理解了這一命題‘這是……’卻不知道在哪里可以找到它?并且這里有兩種觀點: 作為一個中文句子, 如果我理解了它, 到目前為止, 也就是說我可以解釋它。 但我能做些什么呢?我能做的不是去建構一種證據, 而是去理解它的標準。 因此, 到目前為止尚不清楚是否以及在多大程度上我可以理解它。”[11]VI§46

        盡管這時的主張明顯比中期的觀點更加柔和, 但介入的方式似乎沒有什么區(qū)別。 “數學邏輯入侵數學是災難”, 因為我們現(xiàn)在沒有任何已知的方法來決定如何準確地使用量詞。 維氏認為, 這種寫作方法只不過是普通文本的模糊翻譯, 即使“存在一個這樣的數”和在“所有自然數”之間我們有量詞, 還是存在含糊不清的問題。 從維氏的觀點來看, 我們并不傾向于使用多個嵌套量詞、 邏輯運算和算術符號來建構有意義的數學命題。 我們相信自己可以建構各種各樣有意義的算術命題, 這些算術命題量化了無限的自然數, 然后與所建構的算術命題一起, 從中可以發(fā)現(xiàn)哥德爾證明的矛盾。 “需要記住的是, 這里的命題邏輯是如此建構的, 就如在實踐中信息沒有應用一般。 它很可能是說它們完全不是命題, 并且人們寫下命題是需要理由的。 現(xiàn)在如果我們把這些命題添加到另一句子結構中, 那么在符號組合中應該如何應用, 我們都處于茫然之中, 因為單單是句子則不足以給出任何有意義的符號聯(lián)結?!盵11]I§20

        正如維氏在《邏輯哲學論》中所論述的重言式和矛盾式的邏輯命題, 它們沒有豐富的內涵, 這意味著關于世界它們什么也沒說。 即使如“pvq”的簡單真值函數, 也只不過是一個命題框架, 這樣的真值函數的變量不是我們可以直接用來斷言某些事物的命題, 要使它成為一個命題, 我們必須用偶然命題來替換p和q。

        但更為嚴重的問題是, 在“(?x)(Px&Ex)”的邏輯命題中, 我們必須附加另一種像算術句子的結構, 那么得到了如(?x)(x是一個完美的數量, 并且x大于9000000000)。 在這種情況下, 我們“只有一個句子來回應, 但這并不能夠給這些符合的聯(lián)結以任何意義。 即使我們提出初等數論的公式, 也并不一定意味著我們已經構建了一個有意義的算術命題或數學命題。 正如維氏所言: “符號‘(x)’及符號‘(?x)’在數學中肯定是有用的, 只要我們熟悉相關的證明技巧。 這里所引用的是羅素符號, 如果這些符號是開放式的, 那么這些舊邏輯概念則是非常具有誤導性的?!盵11]V§13

        此外, 維氏還質疑了哥德爾證明的前提。 如果命題p是真的但無法證實, 那么它必須在兩種意義上為真: (1)p是真的, 因為在現(xiàn)有的自然數無限集中不存在一個自然數滿足正在討論的關系問題; 或(2)p是真的, 因為任何的必要系統(tǒng)不可能構造一個自然數來滿足正在討論的關系問題。 從某種意義上說, 對于任何(1)這樣的系統(tǒng), 都存在無窮多個是真的, 但卻是無法證實的命題。 因而維氏堅決反對數學柏拉圖主義和數學表達式的無限擴展。 在《哲學評論》中, 維氏寫道: “如果數學在自然科學無限擴展的話, 我們永遠不能有詳盡的知識, 在原則上可以假設這個問題是不可判定的, 但這卻是不可設想的。 在真理中, 不可能討論‘所有x恰好擁有某種屬性’, ‘(x)……在算術中不能被擴展為支持者’?!盵7]§174后期, 維氏同樣拒斥了柏拉圖主義, 因為柏拉圖主義要么是一個純粹的真理, 要么會導致無窮多的模糊世界。 此外, 如果我們成功地證明了適當的歸納基礎和歸納步驟, 那么命題的意義只可能是所有自然數的真; 如果命題在某些實際系統(tǒng)中不能被證明, 那么在所有自然數中它也不可能都為真。

        三、 對維特根斯坦評論的辯護

        維氏對哥德爾定理的論證遭到后世許多學者的批評, 他們認為維氏實際上是不懂數學的, 但也有部分學者如弗洛伊德(J. Floyd)和古德斯坦( R. L. Goodstein)等人就從不同的角度對維氏的評論提出了自己辯護意見。

        弗洛伊德認為, 維氏的觀點是把哥德爾證明轉換為意愿的理由, 將之稱為“一個句子無法證實或不可證明的”。 如果接受哥德爾證明作為句子“不可證明”的證據, 就澄清了事物是無法證實的觀點。 維氏對哥德爾數學證明的解釋確實如哥德爾本身理解的一樣, 從維氏的觀點來看, 哥德爾證明不是一個邏輯悖論, 而是一篇數學論文, 即產生了一個需要澄清的問題, 是否有“是真的但無法證實的”問題。 弗洛伊德認為, 維氏同意哥德爾的觀點, 在羅素的系統(tǒng)中有真的但無法證實的命題。 弗洛伊德進一步認為: “維氏關于哥德爾的工作既沒有過多解釋數學的本質, 也沒有說明其他嚴格不可能的證據。 顯然, 維氏希望縮小哥德爾定理的意義; 對他來說, 既不涉及數學證明的性質, 因而也就不關注數學的本質。 這僅僅是許多數學證明中的一個例子——盡管人們在哲學上更有可能被誤導?!盵13]

        當然, 弗洛伊德認為維氏實際上是拒絕承認哥德爾定理所擁有的重要哲學地位。 她解釋道: “維氏關于哥德爾證明的根本觀點是, 他展示了某種不可能的建構——就像用尺子和圓規(guī)不可能三等分一個角的證明?!盵13]維氏所堅持的觀點是, “p的不可證明性”必須放棄尋找證明的強制理由。 也就是說, 不用去尋找如用尺子和圓規(guī)三等分一個角那樣的證明, 哥德爾的證明不構成強制性理由, 因此, 哥德爾證據中有矛盾, 無法進行這樣的預測。 鑒于哥德爾式命題既不是一個基本定律, 也不是羅素系統(tǒng)中可證明的命題, 維氏否認哥德爾已經澄清了這個問題, 因為他否認P, 或者否認有可能是真的但無法證實的陳述。 維氏認為, 這種主張的真理性不可信, 因為除了詭辯, 人們無法使用它。

        在《維特根斯坦的數學哲學》一書中, 古德斯坦寫道, 維氏在RFM中對GIT評論的核心論點是“唯一有意義的數學命題是它在一些系統(tǒng)中(不一定是完全形式化的系統(tǒng)中)可證明, 數學的‘真’意指是可證明的”[10]。 根據維氏的思路, 這里的“真”意味著在其他系統(tǒng)中是可證明的。 因此, 哥德爾的句子被認為在一些A系統(tǒng)中是可證明的, 但不能說在另一個B系統(tǒng)中也是可證明的。 當然, 古德斯坦認為維氏的觀點被誤解了, 因為維氏認為, 一個詞的“真”在于其使用。 在標準解釋中, “(?x)G(x)是真的, 因為它的每個實例G(0)、G(1)、G(2)……都是可證明的, 因此是真的”[10]。 或者我們可以通過排中律來解釋“真”。

        古德斯坦認為, 我們可能只訴諸排中律來肯定“(?x)G(x)”, “(?x)┒G(x)”是真的, 因為這些句子都是不可證明的, 即無法說明一個句子既是真的又是可證實的。 首先, “(?x)┒G(x)”不是真的, 如果它是真的話, 那么就應該存在“(?x)G(x)”的證據; 如果有相關證據的話, 那么我們就可以證明“(?x)┒G(x)”, 但在這種情況下, 系統(tǒng)是不自洽的。 其次, 如果系統(tǒng)是自洽的, 那么命題就獨立于系統(tǒng), 然而這條論證思路是問題乞求的, 正如維氏所說: “我們認為自己已經有了固定的排中律, 這是無論如何都不能懷疑的。 而事實上, 當我們質疑p或者~ p時, 在某種意義上這種重言式是不可靠的?!盵11]V§12“當有人苦惱于研究我們的排中律時是不能被否認的, 很明顯的是這是有問題的。 當有人設立了排中律, 他是在我們面前放置了兩張可供選擇的圖片, 然后說其中一張圖片必須與事實相對應。 但讓人質疑的是, 這些圖片可以應用于這里的事例嗎?”[11]V§10

        因此, 維氏主張如果系統(tǒng)是自洽的, 那么在每個獨立的系統(tǒng)中無論是p還是~p都是不可證明的。 如果我們承認在一個特定的系統(tǒng)中一種表達式是不可證明的話, 那么這個系統(tǒng)中的其他命題也是不可證明的。 因此, 古德斯坦說: “在哥德爾的工作中新的事物是什么呢?是一種發(fā)現(xiàn)的方法, 在任何足夠豐富的形式化算術中, 該方法可用來產生不可判定的句子, 這表明沒有算術公理的遞歸集是完全的?!盵10]古德斯坦認為, p或者~ p必須真的, 在系統(tǒng)內一種表達式是可證明的, 那么另一系統(tǒng)內表達式也必須為真或為假。 在形式化運算中, 我們可以建構真的但不可判定的命題。 但維氏認為, 在這種情況下, 意義的建構是模糊的, 也就是說建構的意義遠未確定。 鑒于p獨立于我們的算術演算, 我們如何知道或者為什么我們說這是一個為真或為假的數學命題呢?正如維氏所言, 這種符號建構只是一個句子, 但不足以給出這些符號聯(lián)結以意義。

        古德斯坦認為, 也許更好的方法是重新考慮維氏的立場, 即重新考慮關于“系統(tǒng)的真”和“在系統(tǒng)中的證明(或可證明的)”的立場。 對維氏來說, 這些表達式是共外延的(co-extensive)。 然而, 人們對于維氏存在的誤解正是在于, 維氏不會支持它們是共外延的, 因為這隱含了真理性和證明是不同的事物, 進而數學命題的“真”是通過證明這些數學命題來發(fā)現(xiàn)它們的真。 維氏對數學命題的主要看法是, 一切都是句法的, 沒有什么是語義的。 真正的數學命題是特定的演算式, 或者可以用演算式來證明它, 或者可以用演算式來說明它是可證明的。 在實在論者與形式主義者的爭議中, 維氏的評論提供了一種新的解決方案: 數學命題是真的, 因為它們在演算式中是可證明的, 它們能通過形式上的公理規(guī)則推演出來; 這些數學命題是真的, 由于其有效地應用了推理規(guī)則, 并且沒有什么能歸因于數學之外的世界。[10]

        事實上, 古德斯坦認為, 維氏的數學不是一個純粹的游戲, 因為數學也應該用于日常生活中。 后期維氏也強調了數學日常的應用系統(tǒng), 對數學演算進行語義解釋, 也應該包括不同的真理和證據。

        四、 結論

        在RFM中, 維氏評價GIT的一個主要目的是要提醒我們, 根據羅素系統(tǒng)的規(guī)則, GIT不能排除p的可推論性, 因為哥德爾定理只是表明, 如果羅素的系統(tǒng)是自洽的, 那么p則不是可推論的。 維氏理論的優(yōu)勢在于他迫使我們去質疑哥德爾所建構的命題p的意義。 從1929年維氏重新回歸哲學研究開始, 他就一直在質疑數論表達式是否能夠量化無限數學領域, 因為這樣的一些表達式將是不可判定的, 因此它們也不是有意義的數學命題。 如果沒有一個適當的、 有效的判定過程, 那么我們無法確定GC和FLT的真或假。 鑒于大多數數學家和哲學家把維氏的反直覺結論看成一種建構數學的激進歸謬法, 從而導致人們對維氏誤解的加劇。 但筆者認為, 不應該簡單地駁斥維氏對于GIT的評論, 事實上, 維氏對GIT評價的真正價值在于, 我們應該質疑p的意義, 因為p在數學證明和計算中是不可用的, 也很難想象在另外一個應用系統(tǒng)中, 它是如何被應用于現(xiàn)實世界中的。

        [1] 維特根斯坦.維特根斯坦全集:第三卷哲學評論[M].丁冬紅,等,譯.石家莊:河北教育出版社,2003.

        [2] WAISMANN F.Wittgenstein and the Vienna Circle[M].B.F.McGuinness,ed.and tran.Oxford:Blackwell,1979.

        [3] 維特根斯坦.維特根斯坦全集:第二卷維特根斯坦與維也納小組[M].黃裕生,等,譯.石家莊:河北教育出版社,2003.

        [4] 維特根斯坦.論數學的基礎[M].涂紀亮,等,譯.石家莊:河北教育出版社,2003.

        [5] WANG H.Wittgenstein’s and Other Mathematical Philosophies[J].Monist,1984(67):18-28.

        [6] WANG H.Reflections on Kurt G?del[M].Cambridge:The MIT Press,1988.

        [7] WITTGENSTEIN L.Philosophical Remarks[M].Oxford: Blackwell,1975.

        [8] WITTGENSTEIN L.Philosophical Grammar[M].Rush Rhees ed.Anthony Kenny,tran Cambridge:Blackwell,1974.

        [9] WITTGENSTEIN L.TractatusLogico-Philosophicus[M].London:Routledge,1922.

        [10] GOODSTEIN R L.Wittgenstein’s Philosophy of Mathematics[M]∥ Ambrose,Alice and Morris Lazerowitzeds.Ludwig Wittgenstein:Philosophy and Language[M].London:George Allen and Unwin Ltd,1972:271-286.

        [11] WITTGENSTEIN L.Remarks on the Foundations of Mathematics[M].2nded.London:Blackwell,1967.

        [12] VICTOR R.Wittgenstein’s Inversion of G?del’s Theorem[J].Erkenntnis,1999(2/3):173-206.

        [13] FLOYD J.On Saying What You Really Want to Say:Wittgenstein,G?del,and the Trisection of the Angle[J].Hintikka,1995(2):373-425.

        [責任編輯尚東濤]

        RemarkonWittgenstein’sCommentsonG?del’sTheorem

        FAN Yue-hong

        (SchoolofPhilosophyandSociology,ShanxiUniversity,Taiyuan030006,China)

        The basic problem of the philosophy of mathematics has long been of concern to Wittgenstein. G?del’s proposed First Incompleteness Theorem that has thoroughly shaken mathematics of logicism, intuitionism and formalism at 1930s. Wittgenstein commented G?del’s First Incompleteness Theorem in his mid-to-late period, but his comments were widely questioned and criticized. This is mainly because people misunderstood or misread Wittgenstein’s view. This paper will analyze and interpret his comments in the context of Wittgenstein’s philosophy of mathematics, and finally clarify his theoretical features.

        Wittgenstein; GIT; mathematical proposition; undecidable; finitism

        N031

        A

        1009-4970(2017)10-0008-06

        2017-06-01

        教育部人文社會科學青年基金項目(15YJC720006)

        樊岳紅(1981—), 女, 湖南岳陽人, 博士, 副教授, 研究方向為科學哲學與認知科學哲學。

        猜你喜歡
        維氏維特根斯坦表達式
        魚腥草添加對人工感染維氏氣單胞菌錦鯉鰓部部分免疫指標的影響
        一個混合核Hilbert型積分不等式及其算子范數表達式
        表達式轉換及求值探析
        維氏氣單胞菌的smpB、tmRNA及hfq敲除菌株減毒活疫苗篩選
        淺析C語言運算符及表達式的教學誤區(qū)
        維特根斯坦式綜合
        哲學評論(2018年1期)2018-09-14 02:34:20
        《維氏氣單胞菌滅活疫苗的制備及對錦鯉免疫效果評價》圖版
        低調堅守,成就盛名
        議C語言中循環(huán)語句
        商(2012年11期)2012-07-09 19:07:55
        維特根斯坦語篇分析方法探析
        外語學刊(2011年3期)2011-01-22 03:42:12
        久久精品国产视频在热| 亚洲国产91精品一区二区| 伊人加勒比在线观看视频| 成人精品视频一区二区| 厨房玩丰满人妻hd完整版视频| 白色橄榄树在线免费观看| 国产亚洲精品视频网站| 人妻 丝袜美腿 中文字幕 | 野花在线无码视频在线播放 | 男女激情视频网站免费在线| 中文字幕人妻无码视频| 熟妇人妻中文av无码| 亚洲无码中文字幕日韩无码| 亚洲精品国产综合久久| 欧美人妻aⅴ中文字幕| 国产精品久久久久免费a∨| 日韩国产自拍精品在线| 中文字幕亚洲视频一区| 成人综合网站| 日本视频中文字幕一区在线| 日韩人妻免费一区二区三区| 国产一区二区三区精品免费av | 亚洲乱码视频在线观看| 加勒比东京热综合久久| 媚药丝袜美女高清一二区| 亚洲av午夜福利精品一区二区| 久久亚洲国产中v天仙www| 色佬易精品视频免费在线观看| 日韩经典午夜福利发布| 131美女爱做视频| 中文字幕成人精品久久不卡| av网站免费在线浏览| 成人精品视频一区二区三区尤物| 中日韩欧美在线观看| 中文字幕人成乱码中文| 国产suv精品一区二区四| 色一乱一伦一图一区二区精品| 国产美女黄性色av网站| 校园春色综合久久精品中文字幕| 国产一女三男3p免费视频| 日韩国产有码在线观看视频|