2.0 歸納與驗證-邏輯實證論與邏輯經驗論

邏輯經驗論(logical empiricism)是二十世紀第一個科學哲學學派，其前身為邏輯實證論(logical positivism)。邏輯經驗論提供了今天一般人心目中的「實證科學形象」(the positivism image or the empiricist image)。

1.5 假說的發現與評價

科學哲學的核心課題之一，就是「理論假說」(theoretical hypothesis)的發現(discovery)的評價(evaluation)。邏輯經驗論重提「發現脈絡」和「證成脈絡」的區分，將科學活動切割成「發現」和「證成」兩部分。「發現」指發現理論假說，而邏輯經驗論認為發現是多元多樣、變動不定的，靈感、社會背景、意識形態、甚至夢境都有可能成為科學家發現理論的原因。因此，屬於科學心理學家或社會學家的研究範圍，而不屬於哲學分析。

1.4 假說的檢驗

哥白尼革命(Copernican Revolution)是西方近代科學的第一個科學革命。哥白尼在1543年出版<<論天體運行>>(On the Revolution of Celestial Bodies)一書，重提古希臘的亞里斯塔可士(Aristarchus of Samos)的「假設」：地球運動。十六世紀末的天文學家因而面對一個困難的處境：如何在傳統的托勒密天文學和哥白尼的新天文學之間做抉擇？

1.3 問題的起源：從天文學的案例談起

一般同意科學的基礎是「假設」(hypotheses)，「假設」有什麼特質？什麼樣的東西不能算是假設？殷海光認為，

1. 假設的心理背景是主觀的，但不能停止在主觀上；雖然它免不了有猜度、投射與臆斷的心理作用，但終究要交付驗證。
2. 假設性的推論和「條件推論」也不同，條件推論是「如果p涵蘊q，而且p為真，則q為真」(即邏輯上的「肯定前件推論」)，但「「假設推論」是「如果p涵蘊q，而且q是真的，所以p蓋然地為真。」--這即科哲上的「假設演繹法」。
3. 假設有兩種：一種是一個系統或理論在構造之最初起點的假設，在經驗科學中又稱「預設」；另一種則是出現在系統或理論的中間，是特定的、局部的。未經證驗而尚未升格為理論或定律的說法，就是這類假設。
4. 假設必須以一個或更多的理論為背景。它在科學上扮演聯繫事實的角色，並等待進一步事實的驗證。

1.2 科學哲學的歷史與理論

科學哲學有兩個歷史源頭：
1. 哲學的知識論，可以上溯到柏拉圖(Plato)和亞里斯多德(Aristotle)，然後十七世紀的培根(Francis Bacon)和笛卡兒(Rene Descartes)，近代是休姆(David Hume)和康德(Immaneul Kant)。
2. 十九世紀科學史學和方法學，有赫歇爾(John Herschel)、修艾爾(William Whewell)和彌爾(John Stuart Mill)。
科學哲學成為一門專業領域，奠基於十九世紀末、二十世紀初，主要有馬赫(Ernst Mach)、龐卡黑(Henri Poinacre)、杜恩(Pierre Duhem)、坎貝爾(Norman Campbell)、布里基曼(Percy W. Bridgman)等人。

1.1 科學哲學的目標、功能與問題

我們生活在一個「科技社會」(techno-scientific society)中，一個由人類長期研究、理解、控制、改造自然現象而形成的社會 -- 換言之，人們透過科學和技術，理解與改造自然環境，建構了所謂的科技社會。要理解科技社會，我們必須理解「科技」。

「理解科技」意謂去掌握共通於種種科技專業的基本、重要特徵，去掌握科技的共通核心（或者說「本質」(nature)）。「科學哲學」就是理解「科學的本質」的學問。它的基本問題就是：科學是什麼？