陶国障概然性.ppt

三﹑定規法 (mechanical procedure) 有一些問題可以系統地和條理地依照一定的規律程序來解決，我們稱為定規法。例如數學中的演算﹑幾何論證的證明，甚至利用電腦處理問題，都是可以依照定規法遂步解決問題。當我們進行定規法時，往往不依賴我們的才智或者突發性的靈感，而是依循著一定的規則按部就班地解決問題。 定規法是應用有效程序的方式 (effective procedure)，依照定規而解決問題，所以電腦的運作程序是標準的定規法。我們將定規法作以下規定︰ 如何開始解題步驟第一步。 每當完成第幾步時，該規則規定如何跟著進行第 n + 1 步。 解題步驟的總和是有限的 (因而一定會終止的)。 試考慮一下電腦的運作，它如何執行輸入的命令，以處理問題。 四﹑運思法 (articulation) 運思法不是一種特定的方法，我們找不到定規 (rules) 來決定它的思考程序，甚至沒有範例可資模仿，例如，飛機失事,其中一人僥倖在森林中生存，他如何繼續求生呢﹖這是他從來未遭遇過的情景，既無過去經驗可作模仿，也不可以隨意嘗試，更沒有定規的方式幫助創製解決問題的方案，於是他只能夠運用他的思考潛能，因時制宜的地找出求生之道。他可能借用電影情節的經驗，如何發出求救訊號；也可能借用《魯賓遜飄流記》的小說情節，如何找尋食物；也可能回憶小學課本的知識，避免吃上顏色鮮艷的果子。所以運思法象徵著人類創發性的思維，有些人只會一成不變地模仿，或者漫無目的地胡亂嘗試，往往運思能力都是很低的，而當我們時常有新的挑戰，不斷刺激我們思考，運思能力就不斷提高。 經驗性的證明?邏輯性的證明 (Empirical Justification ?Logical Justification) 經驗性的證明︰我們從窗外望，看看天是不是正在下雨。 邏輯性的證明︰證立 2 + 3 = 5 我們有不同的方法處理問題，例如用模仿法﹑試誤法﹑定規法或者運思法。它們都有一個共同的特點，就是透過理性的程序展示解決問題的憑據，這些憑據我們稱之為證明 (Justification)。 凡證明都是訴諸理由，而理由則透過論證的方式展示出來。一些人憑著既有的信念就直接判斷事情的真假或者對錯，只能算是成見而不是理性的證明，分辨成見和理性的證明，最好的方式是從客觀的方式，考察作為理由的論證是否充分，如果一個人只訴諸主觀的信念，就直接判斷事情的對錯，很難稱得上為一種理性的行為。 為了避免以假亂真，正誤混淆，由主觀的成見判斷事情的對錯，我們就要對自己或者他人的思想加以比對引證，看看是否在客觀上有合理的依據，所以就涉及到證明的問題。證明可以分為“經驗性的證明”及“邏輯性的證明”。 經驗性的證明需要涉及經驗的資證，例如我們想知道今天是否下雨或者鐵是否會生銹，我們只需要訴諸經驗的觀察就可以決定這些事情的真假。經驗的觀察往往訴諸我們的感官，用視覺﹑聽覺﹑觸覺甚至味覺來分判事物。其中視覺是經驗觀察的主要機能，所以我們往往用視覺來證實事物的有無。 經驗的證明亦可以透過科學儀器的幫助，獲得更精確的計量，例如我們透過溫度計會更加準確錄得氣溫；又如用量重器可以準確知道事物的重量。當然，不是所有的經驗證明都是如此簡單和直接，有時我們要訴諸統計的技巧和嚴格的審查，然後才可以作出經驗的證明，例如香港人對九七的信心問題；宗教信仰是否有意義等等問題，都不是一些簡單的經驗證明。 另一種證明叫做邏輯的證明。邏輯的證明是運用定規法，透過前提到結論的轉渡證立問題，例如證明 2 + 3 = 5 首先必須訴諸數學系統，說明數目的性質，再界定 “ + ”﹑“ = ”等等符號的意義，然後訴諸演算規則，一步步加以推論，最後得出答案。 邏輯的證明不需要涉及經驗，只需要透過系統內部的推演，就必然可以得出答案，所以邏輯的證明又稱為形式的證明。 驗證?檢證 (Verification?Confirmation) 驗證︰今天曾經下雨。 檢證︰所有的中國人都是自私的。 經驗的證明需要分開兩種情況︰一種是驗證，另一種是檢證。 在經驗的證明過程中，對一些個別的事項，我們有充分的證據足以判決事情的真假，則我們可以驗證這些事項，例如︰ 今天曾經下雨。 課室內有十個學生。 一九九二年三月二十八日香港的平均氣溫是20 ℃。 以上的個案都是可以透過有效的經驗的核驗就可以判決它們的真假值。但是，人類的知識境況總是在全知與無知之間，當我們遇上一些全稱式的經驗事件，卻沒有充分的經驗來判決事情的真假性，我們就只能夠用檢證的方式暫時判決事情的真假性，例如︰ 凡人都會死的。 世界上有藍色的玫瑰存在。 香港電視觀眾喜歡TVB 的節目多於ATV。 以上的事例雖然可以透過經驗的方式去核驗，不過我們