「直觀」在證明中有地位嗎?:讀《機運之謎:數學家Mark Kac的自傳》

更新於 發佈於 閱讀時間約 5 分鐘

  在Mark Kac的自傳最後,他提出了一個很有意思的說法,叫作「相對性的公理化」[1]。我認為這個詞語說得很好,能夠讓我們把「形式思考」的不同方式區分的更清楚。

  在19-20世紀建立的新邏輯系統,以羅素和懷海德合著的《數學原理》為代表,試圖把所有的數學/邏輯學定理還原為一組可用符號表示的邏輯公理。這樣做的目的,是為了讓我們在數學和邏輯應用中所做的推論,能夠有穩固的、非正確不可的基礎。

  我們這裡不討論前述「邏輯主義」的嘗試能不能成功,而是想討論另一個問題:傳統的邏輯和幾何學,一樣也是基於形式化、公理化的方式來進行推論;那麼,20世紀的「公理化數學」(即Kac用引號括起來的「新數學」),和傳統的數學/邏輯學有什麼差異呢?

  我們先來看看它們相同的地方。不論是一般數學或公理化數學,都是由「公理」、「定理」和「證明(過程)」三個要素組成。「公理(或公設)」是在一個系統內顯而易見、或邏輯上不可能有相反情況的基本事實;並且,如果有一個事實在這個系統內是可證明的,那就是說我們應當可以以公理為前提,用合乎邏輯規則的論證,將這個事實推導出來。而這樣可證明的事實就稱為「定理」。也就是說,總體來看,這種「公理—證明—定理」的三層結構,是一般數學和公理化數學相同的地方。

  那麼,它們不同的地方,首先便會出在「公理」這個最基礎的環節上。讓我們來看看研究傳統邏輯的哲學家怎麼說。羅光在《士林哲學——理論篇》裡,這樣解釋在士林哲學的版本中,詞項邏輯系統「公理必由經驗而來」的定理。羅光說:

推論所用的最基本原理,是由歸納而得的。因為不然,這些最基本的原理便該是天生的了。然而,人所有的觀念,沒有天生的,都是由人的經驗而得的。因此,推論用的基本原理所有的觀念,是由感覺的經驗以構成的。不過,這些觀念的互相接合,理智則一望而知,用不著另找理由去證明,假使不是這樣,一項理由追求另一項理由,便沒有止境了,因此,最基本的原理,該當是不用證明,就明白的原理。[2]
數學上的公理,定理,公法,由歸納而成。我們在上面已經說過,不得證明的原理,是由經驗而得;因為理智在具體的事例上,透視出共通的公理。[3]

根據前面的這些敘述,一般數學和詞項邏輯的「公理」是建諸於經驗之上,而不是建諸於邏輯之上。但是,公理化數學的「公理」則只是一組用符號組成的邏輯式;這些公理之所以為真,只是因為我們(人類)規定符號是這樣運用的,而不是因為公理對應到任何事實。

  從這個角度來看,一般數學和公理化數學的不同就很明瞭了;一般數學的公理,仍然建立在經驗之上,或用一個康德式的術語,是建立在「直觀」之上。而「公理」是整棟數學/邏輯學大廈的根基;那麼,整個一般數學,便都是建築在「直觀」之上。這就無怪乎哲學家尤格拉(Palle Yourgrau)把一般數學稱為「直觀數學」[4](intuitive arithmetic)。

  從這裡再回來看Kac對一般幾何學和「新數學」之間不同的觀察,尤其可見出Kac令人驚喜的洞識。Kac說:

當你學習初等幾何學時,很可能是在「新數學」嚴格公理化猖狂起來之前,所遇到的是那種舊式的幾何。它處理幾何採用的方法,一部分是直觀的,一部分是嚴格的——不妨叫做相對性的公理化。你探討的是點、直線、三角形、直角、全等、相似以及所有的種種事物。但你曾經有過,無法真正了解什麼是點或什麼是直線嗎?

[5]換言之,在一般數學,雖然我們從「公理」推論出「定理」,但是公理和定理都基於我們的「直觀」(即我們的經驗)。所以,Kac把這種不排拒直觀的公理系統稱為「相對性的公理化」。或者我們借用這個說法,也可以把不排拒直觀的形式系統(如亞里斯多德式的邏輯)稱為「相對性的形式化」。這算是解決了我個人在理解邏輯學時,很難清楚的理解「形式化」的意思究竟是什麼的問題。

  最後,再讓我們看看Kac對於數學積極的主張。他主張:「數學」是直觀(他稱之為「想像力與洞察」)和邏輯必然性之間互相增益、共同促進的內容,而不能割捨其中的任何一面。我借用他一句精彩簡潔的話,來作為本文結論。Kac說:

在數學中,邏輯是一種牢固的制約,只能提供「不可避免性」的結論,但是「驚奇」的要素必須來自邏輯的外部,透過想像力與洞察得到。[6]

註解:

[1]Mark Kac著,蔡聰明譯:《機運之謎:數學家Mark Kac的自傳》(臺北:三民書局股份有限公司,2013年),頁229。

[2]羅光:《士林哲學——理論篇》,《羅光全書.冊20》(臺北:臺灣學生書局,1996年),頁136。

[3]羅光:《士林哲學——理論篇》,《羅光全書.冊20》,頁139。

[4]帕利.尤格拉(Palle Yourgrau)著,尤斯德、馬自恆譯:《沒有時間的世界——愛因斯坦與數學大師哥德爾》(臺北:商周出版.城邦文化事業股份有限公司,2006年),頁96。

[5]Mark Kac著,蔡聰明譯:《機運之謎:數學家Mark Kac的自傳》,頁229。

[6]Mark Kac著,蔡聰明譯:《機運之謎:數學家Mark Kac的自傳》,頁231。

2024/05/26

avatar-img
68會員
143內容數
對有興趣的哲學論題進行科普,希望吸引大家來一起討論。
留言0
查看全部
avatar-img
發表第一個留言支持創作者!
傅元罄的沙龍 的其他內容
去搜索其他同樣流落在社會上、卻有獨立的成績的知識分子(古今不論),我想這是我給自己近期暫定的一個目標。
對他來說,那個人既是倚靠,也是枷鎖。
本文主要探討鍾肇政小說《怒濤》所涵的語言觀與文學風格。首先以語言認同為標準,梳理《怒濤》中不同角色與群體的相互關係。再基於此,歸結出小說中的「重要情節-結論」發展路徑。最終推論鍾肇政的語言觀為:藉以習得的語言(日語)作為一種載體,可以與所承載的內容(青年知識分子的價值理想)分開。
5/5鍾肇政的小說《怒濤》
如果有一天佛洛伊德和C.S.路易斯相遇,坐在客廳而不是診療室的椅子上聊天,辯論。那時,他們會怎麼樣?他們會改變心意嗎?
一年又過去了。我們用豐盛的食物、簡單的筵席和延續的期待,來開始新的一年。
萊瑟姆深知:那個鼓勵人們去「閱讀」的理由(或者講得更廣泛一點,那個讓人們願意去瞭解的理由),往往不是因為這些內容是「重要」的、是影響力巨大的等等,而是這本書喚起了閱讀者切身的經歷,在書與人之間建立了一種深深的「個人關係」。
去搜索其他同樣流落在社會上、卻有獨立的成績的知識分子(古今不論),我想這是我給自己近期暫定的一個目標。
對他來說,那個人既是倚靠,也是枷鎖。
本文主要探討鍾肇政小說《怒濤》所涵的語言觀與文學風格。首先以語言認同為標準,梳理《怒濤》中不同角色與群體的相互關係。再基於此,歸結出小說中的「重要情節-結論」發展路徑。最終推論鍾肇政的語言觀為:藉以習得的語言(日語)作為一種載體,可以與所承載的內容(青年知識分子的價值理想)分開。
5/5鍾肇政的小說《怒濤》
如果有一天佛洛伊德和C.S.路易斯相遇,坐在客廳而不是診療室的椅子上聊天,辯論。那時,他們會怎麼樣?他們會改變心意嗎?
一年又過去了。我們用豐盛的食物、簡單的筵席和延續的期待,來開始新的一年。
萊瑟姆深知:那個鼓勵人們去「閱讀」的理由(或者講得更廣泛一點,那個讓人們願意去瞭解的理由),往往不是因為這些內容是「重要」的、是影響力巨大的等等,而是這本書喚起了閱讀者切身的經歷,在書與人之間建立了一種深深的「個人關係」。
你可能也想看
Google News 追蹤
Thumbnail
大家好,我是woody,是一名料理創作者,非常努力地在嘗試將複雜的料理簡單化,讓大家也可以體驗到料理的樂趣而我也非常享受料理的過程,今天想跟大家聊聊,除了料理本身,料理創作背後的成本。
Thumbnail
哈囉~很久沒跟各位自我介紹一下了~ 大家好~我是爺恩 我是一名圖文插畫家,有追蹤我一段時間的應該有發現爺恩這個品牌經營了好像.....快五年了(汗)時間過得真快!隨著時間過去,創作這件事好像變得更忙碌了,也很開心跟很多厲害的創作者以及廠商互相合作幫忙,還有最重要的是大家的支持與陪伴🥹。  
Thumbnail
嘿,大家新年快樂~ 新年大家都在做什麼呢? 跨年夜的我趕工製作某個外包設計案,在工作告一段落時趕上倒數。 然後和兩個小孩過了一個忙亂的元旦。在深夜時刻,看到朋友傳來的解籤網站,興致勃勃熬夜體驗了一下,覺得非常好玩,或許有人玩過了,但還是想寫上來分享紀錄一下~
當你使用數學這種非黑即白的邏輯, 搭配反證法, 你總是可以「快速」得到結論。 但這種用非黑即白邏輯做出來的快速結論, 對自然對社會對人的「意義」都相當有限。 他或許對你個人很有意義, 因為世界太複雜, 非黑即白可以避免討論灰色地帶, 你還可以形成自洽的對世界的理解。
Thumbnail
1.0 從函數到函算語法 1.3 弗雷格的函數概念 三 弗雷格認為這樣的一個定義 —— 即李善蘭從德摩根借來的函數定義 —— 不能接受,因為它「沒有區別外型與內容﹑記號與所記 ...」43。美國邏輯學家奎因的《數理邏輯》(Mathematical Logic 1940) 在哲學和邏輯的
學習力的提升不僅依靠知識的累積, 更需要對理論的深刻理解。 社會學家卡爾威克於1979年提出的「理論之鐘」是一個極佳的例子, 它揭示了理論在不同方面的限制與可能性。 此理論對於那些尋求深化學科理解並有效應用理論的學者和實踐者來說, 提供了寶貴的洞見。 讓我們深入探
Thumbnail
邏輯,是幫助我們判斷事理的重要因子。本篇我們將從表述、系統、思維下手來探討如何透過邏輯來幫助我們看清問題,甚至是解決問題。
Thumbnail
邏輯不是真理,但是邏輯可以從語句提煉出真理。自古以來,人們就在尋找一套工具,用來審視事物、分析經驗、組織思想、裁決爭議,也就是能判斷真假對錯的邏輯。
Thumbnail
邏輯是我們思考的基礎,影響著我們如何看待世界和進行推論。透過假設前提和推論,我們可以從邏輯的角度來思考生活中的各種情況和決策。深入瞭解邏輯可以幫助我們更清晰地思考,理解事物之間的關聯。
Thumbnail
1. 凡所有相皆是虛妄,若見諸相非相,即見如來 2. 能量看不到,卻統籌物理世界(形而上統籌形而下) 3. 數學與物理的不同:數學「定理」:絕對真理,不因時空轉換;物理「定律」:找到自然背後的律,而非證明 4. 數學的本質:建立在不能再問的「公理」上 5. 歐式平
〈理應外合:「理性」如何在實踐的邏輯中被推展開來〉
Thumbnail
本章說明瞭在學習過程中,必須要兼聽不同理論,並且具有自我反駁的能力。同時提到了每個理論都有其前提,重要性也是不可忽視的。
縱使天生就有邏輯的人,也沒有任何說服力,若只能透過高敏感來讓邏輯展現,並將事情說出來時,看起來就像是預言,而失去邏輯由此開始。
Thumbnail
大家好,我是woody,是一名料理創作者,非常努力地在嘗試將複雜的料理簡單化,讓大家也可以體驗到料理的樂趣而我也非常享受料理的過程,今天想跟大家聊聊,除了料理本身,料理創作背後的成本。
Thumbnail
哈囉~很久沒跟各位自我介紹一下了~ 大家好~我是爺恩 我是一名圖文插畫家,有追蹤我一段時間的應該有發現爺恩這個品牌經營了好像.....快五年了(汗)時間過得真快!隨著時間過去,創作這件事好像變得更忙碌了,也很開心跟很多厲害的創作者以及廠商互相合作幫忙,還有最重要的是大家的支持與陪伴🥹。  
Thumbnail
嘿,大家新年快樂~ 新年大家都在做什麼呢? 跨年夜的我趕工製作某個外包設計案,在工作告一段落時趕上倒數。 然後和兩個小孩過了一個忙亂的元旦。在深夜時刻,看到朋友傳來的解籤網站,興致勃勃熬夜體驗了一下,覺得非常好玩,或許有人玩過了,但還是想寫上來分享紀錄一下~
當你使用數學這種非黑即白的邏輯, 搭配反證法, 你總是可以「快速」得到結論。 但這種用非黑即白邏輯做出來的快速結論, 對自然對社會對人的「意義」都相當有限。 他或許對你個人很有意義, 因為世界太複雜, 非黑即白可以避免討論灰色地帶, 你還可以形成自洽的對世界的理解。
Thumbnail
1.0 從函數到函算語法 1.3 弗雷格的函數概念 三 弗雷格認為這樣的一個定義 —— 即李善蘭從德摩根借來的函數定義 —— 不能接受,因為它「沒有區別外型與內容﹑記號與所記 ...」43。美國邏輯學家奎因的《數理邏輯》(Mathematical Logic 1940) 在哲學和邏輯的
學習力的提升不僅依靠知識的累積, 更需要對理論的深刻理解。 社會學家卡爾威克於1979年提出的「理論之鐘」是一個極佳的例子, 它揭示了理論在不同方面的限制與可能性。 此理論對於那些尋求深化學科理解並有效應用理論的學者和實踐者來說, 提供了寶貴的洞見。 讓我們深入探
Thumbnail
邏輯,是幫助我們判斷事理的重要因子。本篇我們將從表述、系統、思維下手來探討如何透過邏輯來幫助我們看清問題,甚至是解決問題。
Thumbnail
邏輯不是真理,但是邏輯可以從語句提煉出真理。自古以來,人們就在尋找一套工具,用來審視事物、分析經驗、組織思想、裁決爭議,也就是能判斷真假對錯的邏輯。
Thumbnail
邏輯是我們思考的基礎,影響著我們如何看待世界和進行推論。透過假設前提和推論,我們可以從邏輯的角度來思考生活中的各種情況和決策。深入瞭解邏輯可以幫助我們更清晰地思考,理解事物之間的關聯。
Thumbnail
1. 凡所有相皆是虛妄,若見諸相非相,即見如來 2. 能量看不到,卻統籌物理世界(形而上統籌形而下) 3. 數學與物理的不同:數學「定理」:絕對真理,不因時空轉換;物理「定律」:找到自然背後的律,而非證明 4. 數學的本質:建立在不能再問的「公理」上 5. 歐式平
〈理應外合:「理性」如何在實踐的邏輯中被推展開來〉
Thumbnail
本章說明瞭在學習過程中,必須要兼聽不同理論,並且具有自我反駁的能力。同時提到了每個理論都有其前提,重要性也是不可忽視的。
縱使天生就有邏輯的人,也沒有任何說服力,若只能透過高敏感來讓邏輯展現,並將事情說出來時,看起來就像是預言,而失去邏輯由此開始。