從康德到克裡普克的轉換中的問題

從康德到克裡普克的轉換中的問題

1．上面論證了，如果克裡普克不是對特殊個人新引入一個“先天”概念，那麼⑤就應該是①的推論。如果第一，這一點沒問題；第二，“能先天地認識”與“只能先天地認識”有差別，那麼克裡普克的思想對康德就會構成進步，為知識的分類提供了更深入的依據，根據①以認識方式（“先天地認識”和“後天地認識”）可以對知識（先天的、後天的）分類：
第1類知識：只能先天地被認識的知識。這種知識是先天知識。
第2類知識：只能後天地被認識的知識。這種知識是後天知識。
第3類知識：既能先天地也能後天地被認識的知識。這種知識是先天知識，但它如何被認識，可以因人而異，甚至對同一個人也可以依每次認識時的具體情況而異。在克裡普克看來，康德沒有認識到這種可能性。
這樣的分類是完備的且絕無交叉，因為“先天地認識”與“後天地認識”是對立的概念。先天地認識的必定是先天真理，而後天地認識的則既可能是先天真理，也可能是後天真理。第1、3類知識是先天知識，第2類是後天知識。第3類知識不需要比第1類知識的外延小，也可以是相同的----這只有兩種可能：每一個先天知識都可以被後天地認識；或者，並不存在可以被後天地認識的先天知識。對於克裡普克來說，問題的關鍵當然不在於第3類知識與第1類知識的外延大小，而在於第3類知識是非空的，這只需要舉出一個例子就可以了，即舉出一個原本被認為只能先天地被認識的真理（康德觀點）事實上也可以被後天地認識。
從這個分類可以看到，無論先天真理事實上是怎樣被認識的，克裡普克都會承認先天真理和後天真理之間的本質差別是：
後天真理只能被後天地認識，不可能被先天地認識；而先天真理必須能被先天地認識，不管事實上它是怎樣被認識的。
雖說在克裡普克的觀點中，先天真理的根牢牢地留在了“能被先天地認識”那裡，不可能出現先天真理不能被先天地認識、而只能被後天地認識的情況，但與康德以來的傳統理解不同的是，先天真理似乎稍許侵占了原來所理解的後天真理的地盤：
先天真理，至少某些先天真理，既可能被先天地認識，也可能被後天地認識。
2．關於①、②和④中涉及的“誰”或認識者，“特殊個人”與“人類認識能力”是沒有區別的嗎？
特殊個人當然是“具有我們那樣心靈的人”，可是這並不能使“具有我們那樣心靈的人”的意思明白無誤。如果把“特殊個人”理解成“任一特殊個人”----這是對“特殊個人”的第一種理解，那麼第3類知識就是對“任一特殊個人都能被先天地也能被後天地認識”的知識。這時，只有每一個特殊個人都“能先天地認識”的知識才算是“能被先天地認識”的知識；而對“特殊個人”的第二種理解是：第3類知識的定義中所說的“能被先天地認識”和知識，是指“存在特殊個人”“能先天地認識”這個知識。只要存在特殊個人能先天地認識某真理，它就是可先天地被認識的。相對於“上帝”和“火星人”的，應該是後一種意義的“特殊個人”，不過第一種理解也不是不可能。我們分別研究這兩種理解。
（1）第一種理解下的“特殊個人”與“能……”的矛盾
我們常說“你一輩子都懂不了……”，雖然是貶低他人的，可是有時也說出了真實情況，讓某個特殊個人認識某個真理有時是根本不可能的，比如復雜的數學真理。完全可能，某個特殊個人一輩子都不能先天地認識它。復雜的數學猜想可以是靠熟悉的定理證明的，可是總有人在數學證明擺到眼前的時候也不能理解。特殊個人對“素數”的認識可能只限於知道其定義，即知道某個數n若是素數，它就不可能被1之外任何比n小的數整除盡，以及給定的數是不是素數----他能靠逐一地用從1到這個數之內的所有數做除數去試驗的方法知道特定的數是否素數。如果有人提出一個普遍的判定方法，通過復雜的數學推理證明了這個方法，他可能怎麼也理解不了。此外，對於有智力缺陷的特殊個人來說，一輩子都不能（不拘是先天還是後天地）認識平常的真理也是司空見慣的事。不是每一個“特殊個人”都是“具有我們那樣心靈的人”。對於任何一個特殊個人，我們總可以找到一個他一輩子都沒認識、也不可能認識的科學知識，對於這個知識，我們問他是先天地認識了還是後天地認識了，就猶如問一個伽利略時代的人，他是先天地知道還是後天地知道愛因斯坦的相對論一樣荒謬。顯然，問題不是先天知道或者後天知道，而是根本沒有知道這回事。所以，如果對於任一特殊個人考慮事實上一個真理是怎樣被認識的，那麼，必須考慮特殊個人並不認識或不能認識某個真理之情形。
所以，對“特殊個人”取第一種理解，用“能被任一特殊個人獨立於一切經驗地認識的真理”來理解“先天真理”，有內在矛盾。克裡普克講特殊個人認識先天真理的方式，前提自然是所講的特殊個人認識了或能認識那個真理，對“特殊個人”的這種理解因此必須放棄。28
（2）第二種理解下的“特殊個人”與“能……”的一致性
第二種理解下的“特殊個人”貌似特殊，實則代表一般的認識者或代表人類的認識能力，“特殊個人”無特殊性。人類認識能力與特殊個人的關系是：特殊個體只能作為這種能力的一個代表或一般可能性出現，沒有任何特殊性。某一個“特殊個人”以某種方式認識了某個真理，那表明人類能夠那樣認識該真理；某“特殊個人”能認識某個真理，也就表明人類是可以那樣認識該真理的。
對於先天真理來說，存在一個尚不知其份量的問題：
如果只是後天地認識了它，而沒有先天地認識它，這個先天真理怎麼與只能、因而在事實上也只是被後天地認識的後天真理區別開？
事實上被後天地認識了的先天真理，必須在原則上也能被先天地認識，這一點才有本質的重要性。“能……”與“事實上……”不在同一個層面，後天地認識了一個先天真理時，怎麼也認識到了這個真理是先天的而不是後天的呢？這對克裡普克是否構成了嚴峻的挑戰，我們還得拭目以待。
表面上，有可能一個先天真理在事實上是被後天地認識的，從未被先天地認識。可是，若僅僅是那樣，它是先天真理、“能被先天地認識”這一點就無論如何也顯示不出來，它與任何一個後天真理還怎麼區分呢？所以，
一個真理若是先天真理，它必須是在事實上被某些特殊個人先天地認識了。
唯有如此才能表明它是先天真理，才可以與後天真理區別開。所以，對於人類一般意識來說，“事實上被先天地認識了”與“能被先天地認識”沒有什麼區別，“能先天地被認識”與“事實上被先天地認識”完全是統一的29。然而，
這使得“能被先天地認識”與“事實上被先天地認識”根本沒有區別，不是克裡普克直接需要的結論。
（3）克裡普克的“特殊個人”
克裡普克的“特殊個人”雖然表面上不是上面的第二種理解，但卻必須以它為基礎，必須與之一致。
當克裡普克講先天地認識、後天地認識某個先天真理的時候，不管他心目中的“認識者”即“特殊個人”是不是康德的人類認識能力，“特殊個人”都必須能夠認識該真理，否則何談“特殊個人”如何認識、是先天還是後天地認識了該真理呢？所以，
克裡普克所說的“特殊個人”能認識或認識了所說的真理，是他講認識方式的前提或要求。
但是，如果根本沒有任何特殊個人能夠認識或已認識某個真理，克裡普克的前提或要求就落空了，他根本無法再有意義地講認識方式了。克裡普克需要有人能夠認識或已經認識了該真理，在此之後才有可能細談是先天地還是後天地認識此真理等。顯然，這要求的恰好是“存在特殊個人”能認識或已認識那個真理。可見，
克裡普克如果要保持概念的一致性，就必須在人類認識能力的意義上理解“特殊個人”，理解“特殊個人”後天地認識先天真理的可能性30。
同時，根據前面的結論，也必定存在“特殊個人”事實上先天地認識了任何先天真理，否則先天真理是真理、而且是先天地真理就無法肯定下來。這樣，克裡普克要想談論後天地認識先天真理，只能一種可能：
存在特殊個人能夠或在事實上後天地認識某先天真理。
當然，克裡普克不必證明對於任何先天真理都存在著後天地認識它的可能性。克裡普克沒有作這麼強的結論，他只要證明對一個先天真理存在後天地認識它的可能性，就證明了自己是正確的。克裡普克的“特殊個人”依賴於上面的結論，他如果在此基礎上再進一步就應該是發展了康德思想。
在“附錄”中，克裡普克還講到了認識者的問題，他說先天知識這一概念是對“standardhumansort”而言的，所以他所說的“特殊個人”應該就是人類認識能力。

從任一個人對某個真理的關系：或者（能）認識、或者不（能）認識該真理這一平凡的事實，通過引入克裡普克的兩種認識方式（“（能）先天地認識”和“（能）後天地認識”），可以推出任何一個特殊個人與某一先天真理都存在三種關系：（能）先天地認識、（能）後天地認識及不（能）認識。
對任一先天真理都必定“存在特殊個人”已經先天地認識了它，這是可以從“先天真理”這個概念推出的結論；但是對於是否“存在特殊個人”能夠後天地認識它，則是推論不出來的。康德根本沒有把這當作可能性，而克裡普克認為是可能的，他認為特殊個人可以用後天的方式----比如通過計算機運算----知道一個數是否素數。如果他的例子是成功的，他當然就證明了可以後天地認識先天真理。至於後續的研究，是否所有先天真理都可以後天地認識，或者如果不是所有的先天真理都能夠，哪些能夠等等，都不需要由他去做。31
關於通過計算機運算知道一個數是否素數是“後天地認識”的方式，克裡普克是從這不是“在純粹先天證據的基礎上”（onbasisofpureapriorievidence）認識而推論出的。由此可知，克裡普克認為在這裡“特殊個人”“不在純粹先天的證據的基礎上”認識了該真理，而“不在純粹先天的證據的基礎上”認識，就是後天地認識（而不是不認識以及偽裝了的先天地認識）。克裡普克對於“先天地認識”、“後天地認識”所述甚少，仔細分析起來，其意義是很不明確的。克裡普克結論的正誤也因此不是一目了然的。我們先分析克裡普克的例子，獲得一些初步的認識，為更為深入的研究作准備。
克裡普克後天認識先天真理的例子

克裡普克批評人們把屬於“先天知識”范圍之內的東西，當成是不可能被經驗地認識的，實際上屬於這類陳述（即“先天知識”）范圍內的陳述可以被特殊個人在經驗的基礎上認識，他想舉一個常識意義上的例子予以說明，這就是通過計算機而認識一個數是否素數的例子32。但是，對於這個例子，有幾個與這樣進行認識相關的因素是值得考慮的，克裡普克則似乎沒有考慮它們。
1．顯然，計算機運行一個數是否素數的程序是人設計出來的，而設計一個這樣的程序，當然要根據素數的定義，以及從這個定義而推出的某些“先天知識”──這在克裡普克那兒屬於先天地認識的情形。
比如，根據素數的定義，我們可以設計出這麼一個公式：如果一個數n（它肯定是一個大於1的奇數）不能夠被從3到（n+1）/2中的任何一個數整除，那它就是素數。根據這個公式，一個數是否素數，是可決定的，因為從2到（n+1）/2只有有限多的數。因此，對一個數是否素數的後天認識（只有在克裡普克的例子是成功的時我們才可如此說）依賴於這些條件。這些條件的實質是什麼呢？
就必要性而言，只有計算機正確地運行了這個計算程序，才能得到正確的結果。這決不等於計算機屏幕顯示的結果正確----那不等於計算機是運行了計算程序，那也可能是碰巧得來的、誤操作得來的。要保證計算機確實提供了知識，正確地運行了計算程序就是必要條件。這一點，克裡普克也不否認，他說了後天知道的條件，如知

[1] [2] 下一页