哲學類的書籍，包括科學哲學在內(nèi)，寫的再淺顯也不會易懂，年輕時看不太明白，年紀大了又會失去學習興趣。而科學哲學是科學研究的基礎(chǔ)，想沒想明白都會實際用到，我們用四期文章做些討論。
科學（science），字典里比較權(quán)威的解釋如下：指發(fā)現(xiàn)、積累并公認的普遍真理或普遍定理的運用，已系統(tǒng)化和公式化了的知識。
可以發(fā)現(xiàn)，準確定義科學并不容易。何為“公認”？何為“普遍”？何為“真理”？何為“系統(tǒng)化”？何為“知識”？沿著這些問題追問下去，就是科學哲學與科學方法要解決的問題。
亞里士多德是科學方法的奠基人，歸納與演繹是雙向連接現(xiàn)象與真理的橋梁。從歸納—演繹邏輯出發(fā)，理解了實證主義、證偽主義、范式革命與貝葉斯主義四種科學哲學思想，也就大概了解了科學哲學與科學方法的全貌。
實證主義創(chuàng)始人是法國哲學家A.孔德，于1830年在《實證哲學教程》中提出，主要代表有英國的J.S.密爾和H.斯賓塞。實證主義強調(diào)感覺經(jīng)驗，認為通過對現(xiàn)象的歸納就可以得到科學定律。實證主義要將亞里士多德所倡導“形而上學”從科學中驅(qū)逐，實證主義試圖為科學與神學、唯物與唯心劃定邊界。
實證主義面臨的挑戰(zhàn)和困難如下：
休謨問題是實證主義面臨的巨大挑戰(zhàn)，經(jīng)歷n次試驗驗證的認識，如何確保在第n+1次試驗時也得到相同“真理”？
證偽主義由英國哲學家卡爾·波普爾于1934年在《科學發(fā)現(xiàn)的邏輯》中提出。證偽主義認為任何科學理論均為一種假說，被試探性提出，然后經(jīng)歷檢驗，直至驗證該理論為錯誤時被放棄。證偽主義反對以歸納法為基礎(chǔ)的實證主義，同時反對將任何不能證偽的命題與信仰納入科學范疇。證偽主義傾向于科學是一個不斷擴展邊界的批判過程，強調(diào)科學是不斷進行猜測與反駁的試錯方法。
證偽主義面臨的挑戰(zhàn)和困難如下：
如何依靠證偽本身構(gòu)建出科學大廈并完成科學變革？證偽如何體現(xiàn)科學研究過程的漸進性？如何保證證偽的可靠性？
范式（范型，paradigm）概念由美國科學哲學家托馬斯·庫恩于1962年在《科學革命的結(jié)構(gòu)》中提出。庫恩指出范式就是一種公認的模型或模式，范式是一種基本承諾和共同信念，是科學家集體所共同接受的一組假說、理論、準則和方法的總和。庫恩認為，科學由前科學演化而來，有無范式是科學與前科學之間的區(qū)別；科學共同體按照統(tǒng)一的范式從事科學研究活動就是科學，就是常態(tài)科學，當出現(xiàn)反常，且反常增多，就形成危機，從危機中出現(xiàn)新范式，就產(chǎn)生了新范式驅(qū)逐舊范式的科學革命，進入新的常態(tài)科學時期，如此反復(fù)以致無窮。
范式革命面臨的挑戰(zhàn)和困難如下：
庫恩并未給范式以明確定義，后來還在論爭中改過名稱，一個被發(fā)現(xiàn)有22種含義的名詞如何成為科學的哲學基礎(chǔ)？
托馬斯·貝葉斯（Thomas Bayes，1702-1761），英國哲學家、神學家和數(shù)學家，與法國哲學家、數(shù)學家布萊斯·帕斯卡（Blaise Pascal，1623-1662）共同奠基了概率論與數(shù)理統(tǒng)計。
貝葉斯公式，也可稱為貝葉斯定理或貝葉斯法則，描述了兩個條件概率之間的關(guān)系：P(A|B)=P(B|A)/P(B)*P(A)。貝葉斯公式是“由果溯因”的一種概率方法，可以這樣通俗地來理解其含義：如果一個人經(jīng)常做好事，那這是個好人的可能性就會變大。貝葉斯主義認為，世界上沒有絕對真理，科學理論的對錯是個概率問題，科學理論的置信度會隨相關(guān)科學發(fā)現(xiàn)的豐富而變化。
貝葉斯主義面臨的挑戰(zhàn)和困難如下：
如何確定科學理論的初始置信度？如何擺脫貝葉斯主義中的個人主觀因素？如果一切都是概率問題，那“科學真理”還存在嗎？
本文對實證主義、證偽主義、范式革命與貝葉斯主義等幾種典型科學哲學思想做了討論，大概結(jié)論如下：
1) 科學哲學作為科學研究的基礎(chǔ)，如科學本身一樣，處于不斷發(fā)展變化過程中；
2) 科學哲學離不開自然語言表達，而自然語言的模糊性和不確定性讓科學哲學的討論困難重重；
3) 無論何種科學哲學思想都存在局限性，多了解一些并靈活運用應(yīng)是明智之舉。
