【隨筆】康德先驗與後驗的區分與Saul Kripke的挑戰：原來有後驗必然的這種東西！
閱讀時間約 3 分鐘
前幾天跟一位朋友聊到怎麼樣才算是對過去的哲學命題成功的挑戰，也就是說對當代哲學上有所突破的例子有什麼？我舉的例子就是Saul Kripke的其中一個貢獻。
但由於這個例子相當複雜跟專技，所以我想了良久才想到要怎麼講這個故事，因此現在我也才想說要分享下來，我是這樣講的：
18世紀康德對哲學各分面都有很大的貢獻，其中一個是他對先驗與後驗的區分，所謂「先驗」意思就是可以「獨立於經驗」，「後驗」就是「經由經驗得知的」。舉例來說，1 + 1 = 2 這個述句是先驗地為真，因為它不需要經由我們經驗去得知。而我眼前的「這杯飲料是苦的」是後驗地為真，因為是我經由喝的這個經驗而得知它是苦的。而直觀上來看，先驗的命題像數學似乎都是必然為真的，而後驗的命題則有可能不為真（偶然為真），這杯飲料是苦的，但這杯飲料有可能會是甜的。
然而Saul Kripke（的理論結果*）則說No no, 事情不是這樣的，康德你錯了！這時Kripke講了這樣一個故事（思想實驗）：
從前從前，有一批人在早晨發現天空中有一顆明亮的星，他們就指著它將它命名為「晨星」，後來又是這一批人在黃昏時發現天空中也有一顆明亮的星，他們就指著它將其命名為「昏星」，後來的人才發現原來古代的人所指的「晨星」跟「昏星」是同一顆星「金星」。
這個故事雖然很簡短但它告訴我們一件重要的事，那就是後驗的東西不像康德想的那樣都是偶然地為真，在Kripke這個故事中「晨星」和「昏星」這兩個後驗的東西等同是必然地為真，Kripke在這裡把知識論上的先驗／後驗與形上學的必然／偶然給分析出來了，從此人們也知道了原來有「後驗必然性」這樣的情況。
我就是這樣講的，這樣講變得非常簡單易懂了吧！（但簡化的後果就是應該有一些錯誤，但這些錯誤不至於影響我所要表達的東西，所以請不要來細究鞭我><）
———
*複雜跟專技的地方就在於Kripke其理論，阿Kripke真的是個天才，他從小就被視為神童，六歲時便開始自學古希伯來語，九歲時通讀莎士比亞的作品，小學畢業前他就已經相當了解笛卡爾的理論，且展現了極高的數學天賦，十六歲時便發表了模態邏輯方面的論文，而後來他只拿了哈佛大學數學學士的學位並沒有拿碩博士學位就開啟他的學術生涯，事後他回顧大學那幾年還蠻浪費時間的因為他自己讀就好XD。好了回來講其理論，這涉及了模態語意學在20世紀的一些發展，將理論結果倒回去講就是「晨星」與「昏星」嚴謹地講是「嚴格指稱詞」，嚴格指稱詞這玩意兒是為了解決「跨世界等同」的問題，這問題的提出跟當代另一位也很有名的哲學家Quine有關，Quine認為量化模態邏輯是不合法的（邏輯的語法規則），其理由是「指涉隱蔽性」的問題，例如我們來看看下面兩個語句：
———
*複雜跟專技的地方就在於Kripke其理論，阿Kripke真的是個天才，他從小就被視為神童，六歲時便開始自學古希伯來語，九歲時通讀莎士比亞的作品，小學畢業前他就已經相當了解笛卡爾的理論，且展現了極高的數學天賦，十六歲時便發表了模態邏輯方面的論文，而後來他只拿了哈佛大學數學學士的學位並沒有拿碩博士學位就開啟他的學術生涯，事後他回顧大學那幾年還蠻浪費時間的因為他自己讀就好XD。好了回來講其理論，這涉及了模態語意學在20世紀的一些發展，將理論結果倒回去講就是「晨星」與「昏星」嚴謹地講是「嚴格指稱詞」，嚴格指稱詞這玩意兒是為了解決「跨世界等同」的問題，這問題的提出跟當代另一位也很有名的哲學家Quine有關，Quine認為量化模態邏輯是不合法的（邏輯的語法規則），其理由是「指涉隱蔽性」的問題，例如我們來看看下面兩個語句：
(1) 9 必然大於 7
(2) 行星的數量必然大於 7
(2) 行星的數量必然大於 7
顯然(1)為真，(2)不為真，然而9與行星的數量指涉到同一個東西：行星的數量就是9（當時的行星數量是9個），所以說我們有下面這個語句：
(3) 9 = 行星的數量
我們會認為(3)也是對的，(1)也是對的，但(2)卻不對，這表示等同互換原則在模態語句上不成立，而這也就是「指涉隱蔽性」的一例，有可能我們不知道行星的數量為9。而必然這個模態詞當代哲學家會用「可能世界」來做解釋，所謂9必然大於7就是9在所有可能世界中都大於7，但行星數量在某些可能世界不會大於7，所以Quine認為跨世界等同不成立，而這裡就是「嚴格指稱詞」所擁有的突破，Kripke認為像行星的數量就不是嚴格指稱詞所以才會造成這樣的困難。
4會員
21內容數
留言0
查看全部
你可能也想看
Google News 追蹤
嘿，大家新年快樂~ 新年大家都在做什麼呢？
跨年夜的我趕工製作某個外包設計案，在工作告一段落時趕上倒數。
然後和兩個小孩過了一個忙亂的元旦。在深夜時刻，看到朋友傳來的解籤網站，興致勃勃熬夜體驗了一下，覺得非常好玩，或許有人玩過了，但還是想寫上來分享紀錄一下~
卡爾威克的「理論之鐘」提供了一個有趣且有用的框架，讓我們能夠理解和反思不同學科和理論的特性。數學在這個框架中扮演著重要角色，它以其高度的普遍性和簡潔性，成為許多科學和技術領域的基礎。然而，正如「理論之鐘」所示，數學也無法在所有情境下同時滿足準確性和易用性。
我借用Kac一句精彩簡潔的話，來作為本文結論：「在數學中，邏輯是一種牢固的制約，只能提供『不可避免性』的結論，但是『驚奇』的要素必須來自邏輯的外部，透過想像力與洞察得到。」
以前上數學課時常有一個解題的公式，比如，「因為…所以」，然後得出結果。現代科學、醫學、哲學、數學，任何學問，都脫離不了因與果的公式，沒有因，就沒有過程，最後實驗不出結論。有人說，哲學家和宗教家是最偉大的科學家，因為他們能夠超越肉體思維極限，跳脫空間限制，印證千年之前與當代不可切割之關係。
有一
這兩者之間的相似性在於它們都涉及到人類對於真實世界的認知和理解的局限。就像「測不準原理」中，我們無法同時確定粒子的位置和動量，人類在生活中也無法完全理解世界的本質。而「南柯一夢」則提醒我們，人生中的所見所感往往只是一場夢幻，現實和虛幻之間的界限並不清晰。
透過古代哲學和現代科學的對話，探討了「先有雞還是先有蛋」這個古老悖論。本文討論了柏拉圖和亞裡士多德對此問題的看法，並指出科學無法解釋的深刻的形而上學真理。同時，透過神祕學的角度，闡述了生命和意識的起源，帶出了對於生命和意識不朽性的思考。
在《奇蹟課程》裡面談到不少關於時間和空間的理論。我們都知道非常地抽象，那個不是我們所能夠理解的。因為這個時間觀，其實隱含在所有的奇蹟裡面或者是操練的背後。尤其是它隱藏在所謂我們的寬恕法門裡面。
任何希望別人改變的想法都假設「別人已經錯了」，這個假設會成為你的經驗。
別當一回事吧。
講到了”覺性”這是我們學習命理要有的觀念 ,每一個命盤當中都有一個覺性,不管在東方或西方的文化 ,在西方的聖經裡說 : 啟初神創在世界 ,人是用神的樣子去創造的 ,在東方說無極而太極生兩儀生四象生八掛 ,宇宙中所有衍生而出的東西
都存在一個”道” 道在宇宙的萬有裡面 , 每件事情
嘿，大家新年快樂~ 新年大家都在做什麼呢？
跨年夜的我趕工製作某個外包設計案，在工作告一段落時趕上倒數。
然後和兩個小孩過了一個忙亂的元旦。在深夜時刻，看到朋友傳來的解籤網站，興致勃勃熬夜體驗了一下，覺得非常好玩，或許有人玩過了，但還是想寫上來分享紀錄一下~
卡爾威克的「理論之鐘」提供了一個有趣且有用的框架，讓我們能夠理解和反思不同學科和理論的特性。數學在這個框架中扮演著重要角色，它以其高度的普遍性和簡潔性，成為許多科學和技術領域的基礎。然而，正如「理論之鐘」所示，數學也無法在所有情境下同時滿足準確性和易用性。
我借用Kac一句精彩簡潔的話，來作為本文結論：「在數學中，邏輯是一種牢固的制約，只能提供『不可避免性』的結論，但是『驚奇』的要素必須來自邏輯的外部，透過想像力與洞察得到。」
以前上數學課時常有一個解題的公式，比如，「因為…所以」，然後得出結果。現代科學、醫學、哲學、數學，任何學問，都脫離不了因與果的公式，沒有因，就沒有過程，最後實驗不出結論。有人說，哲學家和宗教家是最偉大的科學家，因為他們能夠超越肉體思維極限，跳脫空間限制，印證千年之前與當代不可切割之關係。
有一
這兩者之間的相似性在於它們都涉及到人類對於真實世界的認知和理解的局限。就像「測不準原理」中，我們無法同時確定粒子的位置和動量，人類在生活中也無法完全理解世界的本質。而「南柯一夢」則提醒我們，人生中的所見所感往往只是一場夢幻，現實和虛幻之間的界限並不清晰。
透過古代哲學和現代科學的對話，探討了「先有雞還是先有蛋」這個古老悖論。本文討論了柏拉圖和亞裡士多德對此問題的看法，並指出科學無法解釋的深刻的形而上學真理。同時，透過神祕學的角度，闡述了生命和意識的起源，帶出了對於生命和意識不朽性的思考。
在《奇蹟課程》裡面談到不少關於時間和空間的理論。我們都知道非常地抽象，那個不是我們所能夠理解的。因為這個時間觀，其實隱含在所有的奇蹟裡面或者是操練的背後。尤其是它隱藏在所謂我們的寬恕法門裡面。
任何希望別人改變的想法都假設「別人已經錯了」，這個假設會成為你的經驗。
別當一回事吧。
講到了”覺性”這是我們學習命理要有的觀念 ,每一個命盤當中都有一個覺性,不管在東方或西方的文化 ,在西方的聖經裡說 : 啟初神創在世界 ,人是用神的樣子去創造的 ,在東方說無極而太極生兩儀生四象生八掛 ,宇宙中所有衍生而出的東西
都存在一個”道” 道在宇宙的萬有裡面 , 每件事情