科學（science），字典里比較權威的解釋如下：指發(fā)現(xiàn)、積累并公認的普遍真理或普遍定理的運用，已系統(tǒng)化和公式化了的知識。

可以發(fā)現(xiàn)，準確定義科學并不容易。何為“公認”？何為“普遍”？何為“真理”？何為“系統(tǒng)化”？何為“知識”？沿著這些問題追問下去，就是科學哲學與科學方法要解決的問題。

亞里士多德是科學方法的奠基人，歸納與演繹是雙向連接現(xiàn)象與真理的橋梁。從歸納—演繹邏輯出發(fā)，理解了實證主義、證偽主義、范式革命與貝葉斯主義四種科學哲學思想，也就大概了解了科學哲學與科學方法的全貌。

實證主義創(chuàng)始人是法國哲學家A.孔德，于1830年在《實證哲學教程》中提出，主要代表有英國的J.S.密爾和H.斯賓塞。實證主義強調感覺經(jīng)驗，認為通過對現(xiàn)象的歸納就可以得到科學定律。實證主義要將亞里士多德所倡導“形而上學”從科學中驅逐，實證主義試圖為科學與神學、唯物與唯心劃定邊界。

實證主義面臨的挑戰(zhàn)和困難如下：

休謨問題是實證主義面臨的巨大挑戰(zhàn)，經(jīng)歷n次試驗驗證的認識，如何確保在第n+1次試驗時也得到相同“真理”？

證偽主義由英國哲學家卡爾·波普爾于1934年在《科學發(fā)現(xiàn)的邏輯》中提出。證偽主義認為任何科學理論均為一種假說，被試探性提出，然后經(jīng)歷檢驗，直至驗證該理論為錯誤時被放棄。證偽主義反對以歸納法為基礎的實證主義，同時反對將任何不能證偽的命題與信仰納入科學范疇。證偽主義傾向于科學是一個不斷擴展邊界的批判過程，強調科學是不斷進行猜測與反駁的試錯方法。

證偽主義面臨的挑戰(zhàn)和困難如下：

如何依靠證偽本身構建出科學大廈并完成科學變革？證偽如何體現(xiàn)科學研究過程的漸進性？如何保證證偽的可靠性？

托馬斯·貝葉斯（Thomas Bayes，1702-1761），英國哲學家、神學家和數(shù)學家，與法國哲學家、數(shù)學家布萊斯·帕斯卡（Blaise Pascal，1623-1662）共同奠基了概率論與數(shù)理統(tǒng)計。

貝葉斯公式，也可稱為貝葉斯定理或貝葉斯法則，描述了兩個條件概率之間的關系：P(A|B)=P(B|A)/P(B)*P(A)。貝葉斯公式是“由果溯因”的一種概率方法，可以這樣通俗地來理解其含義：如果一個人經(jīng)常做好事，那這是個好人的可能性就會變大。貝葉斯主義認為，世界上沒有絕對真理，科學理論的對錯是個概率問題，科學理論的置信度會隨相關科學發(fā)現(xiàn)的豐富而變化。

貝葉斯主義面臨的挑戰(zhàn)和困難如下：

如何確定科學理論的初始置信度？如何擺脫貝葉斯主義中的個人主觀因素？如果一切都是概率問題，那“科學真理”還存在嗎？