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

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

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

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

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

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

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

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

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

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

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

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

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