這份文件把六份主題資料放在一起看:它們在吵什麼、哪裡其實有共識、哪些爭論是假議題,最後給你三個可以寫的論文主張,並推薦其中一個、附上大綱與閱讀順序。
題目裡的三個詞各自有好幾種合理解讀。下面三張表列出主要解讀,以及每種解讀會把答案推向哪裡。寫論文時,你要明確選定一組解讀,並說明為什麼這組解讀最能抓住問題的哲學核心。
詳見 文件 01。
| 解讀 | 意思 | 對題目的影響 |
|---|---|---|
| 符應論 correspondence | 命題為真,是因為它和獨立於心靈的事實相符。 | 標準最高,問題最有意思:科學理論真的「對上」了世界嗎?這是實在論與反實在論辯論的預設背景。最難,也最值得寫 |
| 融貫論 coherence | 真就是信念系統內部的融貫。 | 科學很容易「發現真理」,因為科學體系高度融貫;但代價是孤立系統問題,一套融貫的神話也可以算真。太容易成立 |
| 實用論/內在實在論 pragmatist / internal realism | 真是理想探究的終點(Peirce),或「理想化的理性可接受性」(idealized rational acceptability)(Putnam 1981)。 | 科學幾乎依定義就是朝向真理的探究,答案接近「能,但要到探究的終點」。難處是:「理想條件」能不能不預設真理就定義清楚?有條件 |
| 緊縮論 deflationism | 真沒有深層本質;說「p 為真」就等於說 p。 | 題目變成一連串具體問題:「DNA 是雙螺旋嗎?」「電子存在嗎?」哲學問題轉成知識論問題:我們有沒有好理由相信這些命題。把問題轉移 |
另外兩種常見的「真理」用法也要分清楚:
| 解讀 | 標準 | 對題目的影響 |
|---|---|---|
| (a) 事實上得到真理 | 科學理論事實上(近似)為真就算,不要求我們知道它為真。 | 最寬鬆。只要世界剛好是那樣,科學就「發現」了。但這會讓題目幾乎無法用論證回答。 |
| (b) 有好理由相信地得到真理 | 科學為真,而且我們有可靠的證據、方法支持它(類似知識的標準)。 | 最適合當論文的解讀。這正是 NMA、悲觀歸納、未決定性在爭的東西。 |
| (c) 確定地得到真理 | 不只為真,而且能確定、不可能錯。 | 答案幾乎一定是「不能」(休謨歸納問題、Duhem–Quine、可錯論)。但這個結論沒什麼意思,因為幾乎沒有當代哲學家主張 (c)。小心變成稻草人 |
| (d) 知道自己已經得到真理 | 不只知道 p,還知道「我知道 p」。 | 文件 04 的開放問題之一。可以在論文中當作延伸討論,不要當主軸。 |
另一個細節:「發現」暗示真理是被找到的,而不是被建構的。這已經偷偷站在實在論那一邊了。如果你想寫 Kuhn、Chang 或 Putnam 1981 那一路的立場,要在論文中意識到這一點。
| 解讀 | 影響 |
|---|---|
| 成熟的物理科學(物理、化學) | 實在論最強的地盤:新穎預測最多(海王星、正電子)。但基礎定律理想化程度也最高,Cartwright 正是從這裡發難(文件 06)。 |
| 包含生命科學、心理學、醫學 | 再現性危機主要發生在心理學與生醫。把它們納入,會讓「制度扭曲求真」的論證變強,但也有「以偏概全」的風險。 |
| 作為歷史過程的科學 vs. 當下最佳理論 | 悲觀歸納談的是「科學史」;NMA 談的是「今天成熟的理論」。兩者談的對象不同,這是雙方常常各說各話的原因之一。 |
| 作為方法 vs. 作為社群實踐 | 前者連到歸納、確證(文件 02);後者連到 Kuhn、Longino、強綱領(文件 03、06)。 |
下表按照「對科學達到真理的樂觀程度」由高到低排列。位置是相對的判斷,目的是幫你看出整體地形,不是精確測量。「能」與「不能」根據各文件的標注;「有條件」代表立場主張科學只能在某種限定下發現真理。
| # | 立場 | 代表人物 | 答案 | 光譜位置 | 出處 |
|---|---|---|---|---|---|
| 1 | 無奇蹟論證+符應論實在論 | Putnam(1975)、Boyd、Psillos、Lipton | 能 | 01、04 | |
| 2 | 本體結構實在論 | Ladyman、French | 能 | 05 | |
| 3 | 分而治之(選擇性實在論) | Psillos | 有條件 | 04 | |
| 4 | 認識論結構實在論 | Worrall | 有條件 | 01、05 | |
| 5 | 半實在論 | Chakravartty | 有條件 | 05 | |
| 6 | 實體實在論 | Hacking | 有條件 | 05 | |
| 7 | 模擬物說(定律假、因果與實體真) | Cartwright | 有條件 | 06 | |
| 8 | 貝氏確證理論 | Howson、Urbach | 有條件 | 02 | |
| 9 | 否證論與逼真度 | Popper | 有條件 | 02 | |
| 10 | 視角實在論 | Giere、Massimi | 有條件 | 05 | |
| 11 | 社群客觀性/強客觀性 | Longino、Harding | 有條件 | 06 | |
| 12 | Lakatos 研究綱領 | Lakatos | 有條件 | 03 | |
| 13 | 基率謬誤診斷(全域論證僵局) | Magnus & Callender | 有條件 | 04 | |
| 14 | 緊縮論(問題轉移) | Horwich | 有條件 | 01 | |
| 15 | 實用論/內在實在論 | Peirce、James、Putnam(1981) | 有條件 | 01 | |
| 16 | 融貫論 | 觀念論傳統(如 Joachim) | 有條件 | 01 | |
| 17 | 主動實在論 | Chang | 有條件 | 05 | |
| 18 | 理論負載觀察 | Hanson | 有條件 | 06 | |
| 19 | 可錯論與再現性危機 | OSC、Ioannidis、Baker | 有條件 | 06 | |
| 20 | 理解取代真理 | Elgin、Potochnik | 不能 | 06 | |
| 21 | 建構經驗論 | van Fraassen | 不能 | 01、05 | |
| 22 | 悲觀後設歸納/解題進步觀 | Laudan | 不能 | 01、03、04 | |
| 23 | 未設想替代理論/未決定性 | Stanford;Duhem、Quine | 不能 | 04 | |
| 24 | 典範與非目的論進步 | Kuhn | 不能 | 03 | |
| 25 | Goodman 新歸納之謎 | Goodman | 不能 | 02 | |
| 26 | 認識論無政府主義 | Feyerabend | 不能 | 03 | |
| 27 | 強綱領 | Bloor | 不能 | 06 | |
| 28 | 休謨式歸納懷疑論 | Hume | 不能 | 02 |
正方(文件 04):Putnam 的無奇蹟論證說,科學能做出新穎預測,如果理論連近似為真都不是,這種成功就是奇蹟。
反方:Laudan(1981)列出以太、燃素、熱質等「成功但後來被拋棄」的理論。如果成功能保證近似為真,這些理論也應該為真;但它們的核心實體根本不存在。所以成功不是真理的可靠指標。
調和(文件 05):Worrall(1989)注意到,Fresnel 的光學理論雖然把光當成以太中的振動(錯了),但他的方程式被 Maxwell 完整保留。於是:跨越理論更替被保留下來的是結構,不是事物的本性。這樣一來 NMA 解釋了成功(結構為真),悲觀歸納也被解釋了(被拋棄的是本性假設)。Psillos 的「分而治之」、Chakravartty 的半實在論、Hacking 的實體實在論,都是同一種策略的不同版本:縮小實在論者要辯護的範圍。
這個調和留下的洞:所有選擇性策略都面對同一個反駁:事後諸葛(文件 04、05)。我們只有在理論被取代之後,才知道哪些成分是「真正在工作的」。如果不能事前辨認,選擇性實在論對「今天的科學能否發現真理」幫助有限。這是你論文最需要正面處理的反駁。
第二層診斷:Magnus 與 Callender(2004)指出,NMA 和悲觀歸納其實都犯了基率謬誤:兩邊都需要知道「理論母體中為真理論的比例」,但誰都不知道。所以全域論證(對「整體科學」下判斷)會陷入僵局,應改做局部論證(針對特定理論、特定成分)。這個診斷支持「分而治之」的方向,也說明論文最好用具體案例來論證。
兩人都把「科學進步」與「逼近真理」脫鉤(文件 03),但理由不同:
張力:Laudan 的悲觀歸納其實預設理論之間可以比較(我們能判斷以太理論「錯了」),這和 Kuhn 強版本的不可共量性不太相容。而 Kuhn 自己在〈Objectivity, Value Judgment, and Theory Choice〉(1977)又承認有跨典範的理論選擇價值(準確、一致、廣度、簡單、豐富)。兩人對「進步」的共識比對「真理」的共識更大。
對論文的用處:兩人共同留下的問題(文件 03 開放問題)是:如果進步和真理脫鉤,科學的技術與預測成功要怎麼解釋?這正好把你帶回 NMA。你可以主張:解題效能本身需要解釋,而「某些成分近似為真」是最好的解釋,但只限於能跨越更替被保留的那些成分。
前面的辯論都假設:科學想要真理,問題只是做不做得到。文件 06 的挑戰更根本:
它如何改變題目:如果科學最成功的部分(模型、定律)本來就不是字面為真,那「科學是否發現真理」的答案似乎是「它根本不在找」。這對選擇性實在論也是威脅:Worrall 說被保留的是方程式(結構),但方程式恰好是最理想化的部分。
可能的回應:(1) 理想化模型之所以「好」,在於它捕捉到真實的因果依賴,這仍是某種符應(文件 06 的最強反駁);(2) 可以區分「模型字面為真」與「模型所表徵的依賴關係近似為真」。這個回應與結構實在論是相容的,而且可以成為你論文的一個原創小亮點。
休謨的歸納問題(文件 02)不是一個獨立主題,而是出現在每一場辯論的底層:
| 辯論 | 歸納問題在哪裡 |
|---|---|
| NMA | NMA 是最佳解釋推論(IBE),IBE 是一種擴充性推論;用 IBE 證明「IBE 可靠」,就是休謨說的循環。 |
| 悲觀歸納 | 它本身就是一個歸納:從過去理論被推翻,推到現在理論也會被推翻。如果歸納不可靠,悲觀歸納也跟著失效(文件 02 開放問題:它是否自我削弱)。 |
| Stanford 未設想替代理論 | 同樣是從歷史案例做的歸納。 |
| 基率謬誤 | 其實就是把貝氏確證理論(文件 02)用在實在論辯論(文件 04)上:沒有先驗與基率,後驗算不出來。 |
| Goodman grue ↔ Kuhn | 哪些謂詞「可投射」取決於我們的概念框架,這和 Kuhn 的典範、自然類的爭論是同一個問題的兩個面向。 |
| Popper | Popper 想用否證繞過歸納,但實際依賴「佐證」時又偷渡了歸納;他用來說明「逼近真理」的逼真度定義又失敗了。 |
寫作意義:歸納問題顯示,科學對真理的宣稱不可能是確定的。但它同樣打擊反實在論的歷史論證。所以歸納問題不偏袒任何一方;它的真正教訓是:要把「真理」與「確定性/證成」分開。你可以在論文中用一小節說明這一點,然後把重心放到實在論爭論上。
Hanson 的理論負載觀察、Longino 的社群客觀性、Harding 的強客觀性、再現性危機(文件 06),以及 Feyerabend(文件 03),常被誤讀成「科學只是社會建構」。更精確的讀法是:它們挑戰的是「中立觀察+單一方法=真理」的天真圖像。Longino 甚至是在重建客觀性,而不是放棄它。再現性危機一方面顯示制度會扭曲求真,另一方面也顯示科學能察覺並修正錯誤,這正是可錯論的實際樣貌。
以下三個主張分別代表光譜的三個區域。每個都附上論證骨架、最強反駁與回應、必讀文獻(文獻均已於 2026-09-29 逐筆查證,見文獻查證報告)、難度評估。
主張:在符應論意義下,成熟自然科學能發現真理,但只限於真正促成新穎預測成功、並能跨越理論更替被保留的成分(結構與可操作的實體);它發現的是部分、近似且可錯的真理,不是整套理論的字面真理,也不是確定的真理。
P1. 「發現真理」應理解為「有好理由相信理論(某些部分)近似為真」,而非「確定地得到真理」;後者因歸納問題而不可能,但也沒有人主張(文件 02)。
P2. 成熟科學有大量新穎預測成功;若相關理論成分毫無真理內容,這些成功無法解釋(NMA,文件 04)。
P3. 悲觀歸納顯示成功不保證整套理論為真(文件 03、04)。
P4. 但歷史案例中,被拋棄的多半是不參與推導預測的成分(以太的「本性」),真正參與推導的結構被保留(Fresnel → Maxwell;Worrall、Psillos)。
P5. 全域的 NMA 與 PMI 都犯基率謬誤,所以評估應落在局部、成分層次(Magnus & Callender)。
C. 因此,科學能發現真理,但範圍限於在局部層次上被新穎預測與實驗操作支持、並跨更替保留的成分;其真理是近似且可錯的。
最強反駁 1:事後諸葛。只有理論被取代後才知道哪些成分被保留,所以這個立場無法告訴我們今天的哪些部分為真。
回應:(a) 可以提出事前可用的判準:某成分是否在推導新穎預測時不可或缺、是否能被多種獨立方法探測或操作(Hacking 的「能噴灑電子就是真的」、Chakravartty 的探測性質);(b) 退一步,即使只能事後判斷,這仍然回答了「科學能不能發現真理」:能,而且有歷史證據顯示它確實發現過(例如 Fresnel 方程式)。論文題目問的是能力,不是即時確認。
最強反駁 2:理想化(Cartwright、Elgin)。被保留的方程式正是最理想化、字面為假的部分。
回應:區分「模型字面為真」與「模型表徵的依賴關係近似為真」;理想化模型之所以成功,正因為它抓住了真實的依賴結構。
最強反駁 3:「近似為真」沒有定義(Miller/Tichý)。
回應:承認這是未解問題,但指出 Popper 失敗的是特定的形式定義;相似度進路(Oddie,SEP Truthlikeness)仍在發展。論文可以只需要比較式的、案例層次的近似概念。
必讀:Chakravartty〈Scientific Realism〉SEP;Worrall 1989;Laudan 1981;Psillos 1996;Magnus & Callender 2004;Ladyman〈Structural Realism〉SEP;Hacking 1983(第一部分與實驗章節)。
難度:中文獻充足度:高原創空間:中高(事前判準、理想化回應)適合哲概期末:很適合
主張:如果採取緊縮論的真理觀,「科學能否發現真理」並沒有額外於「科學能否給我們好理由相信 p、q、r……」的內容;問題因此被分解成一系列局部的知識論問題,而對其中許多命題(如 DNA 雙螺旋、地球繞日),答案是肯定的。
P1. 緊縮論:說「p 為真」不多於說 p;真理沒有需要被科學「追蹤」的深層本質(Horwich 1990)。
P2. 所以「科學發現真理嗎」等於「科學給我們好理由相信它的命題嗎」。
P3. 後者是確證理論的問題;貝氏框架可以給出程度性的答案,但依賴先驗(文件 02)。
P4. 對許多具體科學命題,證據已經多重、獨立而且穩定,使得相信它們是合理的。
C. 題目在實質真理的意義下是誤導的;在緊縮意義下,答案是局部的、程度性的「能」。
最強反駁:NMA 需要實質的真理概念:「理論為真」要能解釋成功,而緊縮的真似乎沒有解釋力(文件 01 開放問題)。
回應:可以說解釋成功的是具體命題本身(「因為電子確實帶負電,所以……」),不是「真」這個性質;真只是讓我們能概括地說「理論所說的都成立」。
必讀:Glanzberg〈Truth〉SEP;〈Deflationism about Truth〉SEP;Horwich 1990;〈Confirmation〉SEP;Chakravartty〈Scientific Realism〉SEP(語意面向)。
難度:高文獻充足度:中(緊縮論與科學實在論交界的文獻資料中較少)原創空間:高適合度:適合對語言哲學有興趣、想挑戰的學生
主張:自然科學不能被合理地說成發現了關於不可觀察物的真理;但這並不減損科學的價值,因為科學的實際目標與成就是經驗適切性(van Fraassen)與理解(Elgin、Potochnik),而科學的進步可以用解題效能說明(Laudan、Kuhn)。
P1. 悲觀歸納與未設想替代理論問題,削弱了從成功推到真理的推論(Laudan、Stanford)。
P2. 證據對經驗等價理論無法區分(未決定性),而科學的成功只需要經驗適切即可解釋(van Fraassen)。
P3. 科學最成功的工具(理想化模型、基礎定律)本身字面為假,卻提供理解(Cartwright、Elgin)。
P4. 科學進步可以用解題效能與理解的增加來描述,不必訴諸真理(Kuhn、Laudan)。
C. 科學不能(也不需要)發現關於不可觀察物的真理;它的價值在經驗適切與理解。
最強反駁:(1) 可觀察/不可觀察的界線不穩固(Maxwell 1962〈The Ontological Status of Theoretical Entities〉的連續體論證,文件 05);(2) 若定律皆假,精確預測如何解釋?(NMA);(3) 評價哪個理想化「較好」似乎仍需要與世界相符的標準,暗中預設了真(文件 06)。
回應:(1) 可以接受界線模糊,但主張模糊不等於不存在;(2) van Fraassen 的演化式回應(The Scientific Image 1980,第 2 章討論最佳解釋推論處,p. 40):成功的理論被選擇存活下來,不需要真理解釋;(3) 可以把「較好」理解成「在更廣的範圍經驗適切」。但第 (3) 點很難完全擋住。
必讀:van Fraassen 1980;〈Constructive Empiricism〉SEP;Laudan 1981;Stanford〈Underdetermination〉SEP;Elgin 2017;Bird〈Thomas Kuhn〉SEP。
難度:中高文獻充足度:高原創空間:中(把 van Fraassen 與 Elgin 接起來是有意思的組合)適合度:適合想站反方、熟悉科學史案例的學生
以下以約 6,000 字(中文)為基準;若課程字數限制不同,按比例調整即可。建議第 3、4 節是全文重心。
| 節 | 內容 | 篇幅 | 引用文獻 |
|---|---|---|---|
| 1. 前言 | 用一個案例開場(海王星預測,或 Fresnel 光學理論的起落);提出問題;預告主張:科學能發現部分、近似、可錯的真理。 | 約 500 字 | Chakravartty SEP |
| 2. 問題的界定 | (1) 真理:採符應論,簡述其他三種為何讓問題太容易或轉移了問題;(2) 發現:區分事實上為真、有好理由相信、確定;用休謨歸納問題說明「確定性」不是合理標準;(3) 自然科學:聚焦成熟的物理科學。最後把題目改寫成精確版本。 | 約 1,000 字 | Glanzberg SEP〈Truth〉;Hume 1748(第 IV 節);SEP〈The Problem of Induction〉 |
| 3. 正反雙方的論證 | 3.1 NMA 與 IBE;3.2 悲觀後設歸納(以太、燃素、熱質);3.3 未決定性與 Stanford 的未設想替代理論;3.4 基率謬誤診斷:為什麼全域論證陷入僵局。 | 約 1,600 字 | Putnam 1975;Boyd 1983;Laudan 1981;Stanford SEP〈Underdetermination〉;Magnus & Callender 2004 |
| 4. 我的立場:選擇性實在論 | 4.1 Fresnel → Maxwell 案例;4.2 Worrall 的結構實在論與 Psillos 的分而治之;4.3 用 Hacking 的操作判準與 Chakravartty 的探測性質,提出「事前可用」判準;4.4 說明這個立場如何同時容納 NMA 與悲觀歸納。 | 約 1,500 字 | Worrall 1989;Psillos 1996、1999;Hacking 1983;Chakravartty 2007;Ladyman SEP〈Structural Realism〉 |
| 5. 反駁與回應 | 5.1 事後諸葛;5.2 理想化挑戰(Cartwright、Elgin);5.3 近似為真無定義(Miller/Tichý);5.4(可選)Kuhn 的不可共量性:若概念改變,「保留的結構」是否仍是同一個? | 約 1,100 字 | Cartwright 1983;Elgin 2017;Thornton SEP〈Popper〉;Oddie SEP〈Truthlikeness〉;Bird SEP〈Thomas Kuhn〉 |
| 6. 結論 | 重述主張;指出限制(生命科學與心理學的情況、再現性危機);未來問題(本體結構實在論是否更進一步)。 | 約 300 字 | SEP〈Reproducibility of Scientific Results〉(可選) |
| 優先 | 讀什麼 | 怎麼讀 |
|---|---|---|
| 第一輪(必讀,精讀) |
1. 文件 01 + 文件 04 2. Chakravartty〈Scientific Realism〉SEP(第 1–3 節) 3. Worrall 1989〈Structural Realism: The Best of Both Worlds?〉 4. Laudan 1981〈A Confutation of Convergent Realism〉 | 這四份就是論文骨架。Worrall 與 Laudan 是原典,務必直接讀,不要只讀二手轉述。 |
| 第二輪(重要,選讀章節) |
5. 文件 05 6. Ladyman〈Structural Realism〉SEP 7. Psillos 1996〈Scientific Realism and the 'Pessimistic Induction'〉 8. Magnus & Callender 2004 9. Hacking 1983 論實驗的章節 | 用來建立你的立場與「事前判準」。 |
| 第三輪(反駁用) |
10. 文件 06 中 Cartwright、Elgin 的部分 11. 文件 02 12. Stanford〈Underdetermination〉SEP | 只讀和你第 5 節反駁相關的段落。 |
| 可以略讀 | 文件 03(Kuhn、Feyerabend、Lakatos);文件 06 的社會面向(強綱領、Longino、Harding、再現性危機);文件 02 的烏鴉悖論與 grue 細節;本體結構實在論、視角實在論、主動實在論 | 知道立場即可,用於註腳或結論的延伸。除非你改寫 Thesis C,否則 Kuhn 不必深讀。 |
| 中文輔助 | 陳瑞麟《科學哲學:理論與歷史》(2010) | 讀實在論相關章節,幫助掌握中文術語。 |
六份主題文件的書目已於 2026-09-29 逐筆查證並修正;完整結果(每筆文獻的狀態、修正後書目與查證連結)見 文獻查證報告。本頁引用的文獻與上述結果已同步。
完整清單與學生自行核對事項,見查證報告最後一節。