科學與〝可證偽性〞
香港科技大學物理系
吳大琪教授
前言
剛學會利用時鐘量度時間的傑，做了乙個學以致用的研究。他連續七天記錄了日出的時間﹐並把天氣和看時鐘等不確定的因素也考慮在內後
, 推出了以下的理論： 「
香港的日出於每天早上六時三十分開始
, 誤差不多於三分鐘。」
我們來問乙個問題：傑所做的可算是一項科學研究嗎
? 推論又是否為乙個科學理論呢?
在回答問題之前﹐我們先要弄清楚怎樣才算是科學研究和科學理論。大家或許可以先問一問身邊的朋友對此有什麼意見!
你的老師﹐同學﹐朋友對科學有什麼看法呢? 他們認為傑做的是科學研究嗎?
(這裡有一些可作參考的錄音)
收集了眾人對甚麼是科學的見解了吧! 但是科學家又怎樣看呢? 科學有確定的定義嗎? 它只是一種屬於物理﹐化學﹐生物等科目的知識嗎? 還是指某種特別的研究方法呢? 抑或兩者皆是? 你可能確認以下為科學研究的定規：
1. 研究現象應被確認及清楚說明。
2. 現象應能被觀察到，及謹慎地測量以避免明顯錯誤。
3. 一清晰確定的理論，應能清楚說明所有觀察結果。
若細心想一想，其實傑所做的事情，已滿足了上述三項定規！但這就足以成為〝科學理論〞嗎？
「可證偽性」
科學家們認為﹐科學與其它學科不同﹐是因為其獨有的要求— 「可證偽性」｡要說明「可證偽性」是什麼﹐讓我們回到傑的故事上。
作為科學研究, 傑的工作簡單得也許令人有點驚奇吧! 除滿足了以上三項定規外，其實傑的推測是「可被證偽」的 – 即是說﹐我們是有可能證明他的理論是錯的。要是我們細心等待一兩個星期﹐就會發現日出的時間在漸漸地改變﹐過多乙個月左右﹐傑的**就不再準確﹐他的理論就 「被證偽」了﹐「可證偽性」是科學理論乙個最重要的特點。
在科研領域中﹐「可證偽性」是個很重要而獨特的概念。乙個無論對錯與否，都不能被證明是錯的理論﹐是不能承認為科學的。讓我來舉乙個例子：「牛頓定律肯定有錯的地方﹐雖然我不知道它錯在**。」 這個理論固然是可對可錯，不過若要證明它是錯的話﹐我們需要證明牛頓定律在宇宙的每乙個時間和空間都正確﹐實驗上這不可能做到﹐我們也就沒有能力證明這個理論是錯的。「可證偽性」對科學理論的要求，超出了簡單的對與錯，乙個科學理論必需要對不確定現象作出肯定的**，在確定範圍之下它必須是可被試驗的。如果理論通不過試驗﹐它就是錯的｡
怎樣判定科學理論的對錯？
第一次接觸到「可證偽性」的人﹐難免會對它的概念感到陌生﹐原因是我們一般期望能夠以一系列適當的實驗來決定乙個科學理論的對錯。說得明確一點﹐我們希望應用到日常科技的科學理論都是對的，這一概念在電視上屢見不鮮。
問題是，這是不可能的!
讓我們用以下的例子作為解說：
理論：太陽每天早上都從東方公升起｡
讓我們試一試把這個日常生活可見的理論證明吧! 要證明這個理論﹐我們就要保證不單止今天﹑明天或是一百年後﹐而是宇宙存在的每一天太陽都會從東方公升起，這是一件人類能力不可能做到的事。不過若有一天太陽不是從東方公升起的話﹐我們就不用等到宇宙的終結也可以知道上面的理論是錯了。簡單來說：
在科學裡面要證明一種東西是錯的往往較容易﹐但要證明是對的卻很多時候都不可能。
「可證偽性」概念因此被推出了! 很多時我們不可能證明乙個理論是對的﹐唯一可以做的是通過大量實驗去看理論是否會被證偽。
牛頓定律的正確性都有限制？
好的科學理論不單要作出困難而準確的**﹐其有效性還要經過無數次的試驗｡即使只是其中一次和理論**的不相符﹐理論有效性還是會受到質疑。好的科學理論因此是很難出現的啊! 譬如說牛頓定律 - 關於巨集觀物體的力和運動的理論。自從它的基本公式被確立後﹐很多重要的東西被發明出來：大廈建築﹐汽車﹐飛機以及大氣模型。試想一種東西﹐雙翼還不算是很大﹐卻能使以噸計的金屬在天空飛舞。常理可以忍受這樣的狂想嗎? 實情是現在飛機流行得像汽車一樣了。不過﹐現代的科學家也知道牛頓定律只能正確描述我們的巨集觀世界﹐在原子或分子世界裡﹐牛頓定律會被另一套物理定律－量子物理學－取代。因此在取得空前的成功的同時﹐牛頓定律的正確性是有限制的。
知識與科學
哲學家們花費不少光陰討論知識(或真理)是什麼。現代乙個流行的想法是知識沒有客觀意義﹐簡單來說是所有人類知識都是人為的﹐它的有效性都會受到歷史和文化因素所限制。若以數學角度來說明﹐就是說知識都是建構於一系列自洽的假設之上。科學知識也不例外﹐科學的「客觀性」不可能被驗證﹐它只是科學家的幻想。
事實上﹐科學家們都同意科學知識的建立需要一組自洽的假設﹐正如所有其它科目一樣。不過﹐有一點令到科學知識比起其它科目更為」客觀」的是科學知識是需要「可被證偽」的。換言之﹐我們會承認科學的理論只能有限度的正確﹐並且會用一系列的特定實驗去測試知識的正確性。因此﹐科學和其它科目最重要的分別在於科學需要「可證偽性」。「可證偽性」沒有出現在其它的知識系統上。
常見的「非科學理論」
宗教與科學
另乙個好的反例就是宗教(以**教作例子)! 科學的知識是從懷疑中建立﹐而且是時刻受到測試的(「可證偽性」)。和科學不同﹐宗教的建立是先要我們相信﹐之後才可以看見和明白宗教的真善美。因此宗教和科學的哲學取向是相反的﹐它們是互補的知識體系。
函式連續性與可導性
f x 在x0點導數存在表示導數不是乙個無窮大 1.函式圖象在x0點的切線不垂直於x軸 2.尖點 兩邊導數是正負無窮大 3.折點 兩邊導數不一樣 如 x 在x 0 4.間斷兩 兩邊的導數是正負無窮大 函式的在c點可導或者在c點左右可導那麼函式在c點一定連續 注意如果函式在c點不可導，那麼函式在c點有...
執行緒安全與可重入性
一組併發執行緒執行在同一程序上下文中，每個執行緒都有自己獨立的執行緒上下文，包括執行緒id 棧 棧指標 程式計數器 pc 條件碼和通用目的暫存器值。每個執行緒和其它執行緒一起共享程序上下文的其他部分，包括整個使用者虛擬位址空間 由 段 讀 寫資料 堆以及所有共享庫的 和資料區組成 執行緒也共享開啟的...
可序列性與「嚴格」可序列化區別
多年來，可序列化 序列化 serializability 被稱為資料庫隔離級別的 標準 它是絕大多數商業資料庫系統中提供的最高隔離級別，一些高度廣泛部署的系統甚至無法提供隔離級別與可序列化一樣高。在這篇文章中，我們展示了可序列化的可行性，並且說明它從未成為資料庫系統的 標準 事實上，嚴格的可序列化才...