← Archive
lm-003673 · 2026-09

可能是、可能不是、仍可能是：科學判定的三域結構

zh-Hant · md Raw source ↗ Metadata ↗
下載 MD 檔 ⬇

可能是、可能不是、仍可能是：科學判定的三域結構

英文題名： What May Be, What May Not Be, and What May Still Be: A Three-Domain Structure of Scientific Judgement
系列： 《觀察態、邊界與相對連通本體論》番外篇 01
作者： Neo.K
AI 協作： GPT-5.6 Sol
機構： EveMissLab／一言諾科技有限公司
文件性質： 科學方法論／元認識論／可能性空間管理
版本： v0.1
日期： 2026-08-26
狀態： Working Paper / Extra Series Foundation
主系列上游： 《觀察態、邊界與相對連通本體論》01–10
核心方法論上游：
$$ \text{claim strength} \leq \text{evidence strength} $$

摘要

科學經常被描述為「回答世界是什麼」的活動，也常被描述為「提出可被證偽的理論」。但這兩種描述都不足以完整表達科學判定真正面對的結構。

一個成熟的科學判定，不只要回答：

它可能是什麼？\boxed{ \text{它可能是什麼？} }

也要回答：

它可能不是什麼？\boxed{ \text{它可能不是什麼？} }

以及更容易被忽略的第三個問題：

即使目前有偏好的答案，它還可能是什麼？\boxed{ \text{即使目前有偏好的答案，它還可能是什麼？} }

本文因此提出「科學判定三域」：

Ssci=(P+,P−,P∘)\boxed{ \mathcal S_{\mathrm{sci}} = \left( \mathcal P^{+}, \mathcal P^{-}, \mathcal P^{\circ} \right) }

其中：

  • P+\mathcal P^{+}：目前由證據支持、提高可信度或可作為工作模型的可能域；
  • P−\mathcal P^{-}：目前由證據排除、削弱或在指定條件下不再成立的可能域；
  • P∘\mathcal P^{\circ}：目前仍未被合法關閉、仍需保留的開放可能域。

這三域不是簡單的真／假／不知道，而是對 hypothesis space 的動態分區。

本文的第一個核心原則是：

Support(H)⇏ExhaustionOfAlternatives(H).\boxed{ \mathrm{Support}(H) \not\Rightarrow \mathrm{ExhaustionOfAlternatives}(H). }

即：證據支持 HH，不等於其他可能都已被排除。

第二個核心原則是：

EvidenceAgainst(H)⇏AbsoluteImpossibility(H).\boxed{ \mathrm{EvidenceAgainst}(H) \not\Rightarrow \mathrm{AbsoluteImpossibility}(H). }

即：對某假說存在反證或不利證據，也不必然意味該假說在所有條件、尺度、版本與未來理論中絕對不可能成立。

第三個核心原則是：

Scientific closure requires explicit closure conditions.\boxed{ \text{Scientific closure requires explicit closure conditions.} }

只有在假說空間、觀察條件、排除規則與 completeness certificate 足夠明確時，科學才有資格說：

「其他可能已被關閉。」\boxed{ \text{「其他可能已被關閉。」} }

本文進一步區分：

supported≠true≠only possible,\text{supported} \neq \text{true} \neq \text{only possible},

以及：

disfavored≠false≠impossible.\text{disfavored} \neq \text{false} \neq \text{impossible}.

這不是要取消科學判定，也不是要把所有可能永遠保留；相反，本文要求對「關閉可能性」施加比一般支持判定更高的證明義務。

因此科學的成熟形式不是：

Find the answer and stop.\boxed{ \text{Find the answer and stop.} }

而是：

support what is supported, exclude what is legitimately excluded, and preserve what is not yet closed.\boxed{ \text{support what is supported, exclude what is legitimately excluded, and preserve what is not yet closed.} }

本文最後提出「科學可能性帳本」：

Lposs\boxed{ \mathcal L_{\mathrm{poss}} }

讓每一個 hypothesis 不只擁有 confidence，還攜帶：

  • 支持證據；
  • 排除證據；
  • 適用條件；
  • 失敗條件；
  • 開放替代；
  • closure status；
  • provenance。

這使科學從單一答案競賽，轉為對可能性空間進行持續更新、收縮、展開與重新分區的動態過程。

關鍵詞： 科學判定、可能性空間、支持域、排除域、開放域、hypothesis space、falsification、closure、scientific judgement、epistemic openness

0. 問題：科學只是在回答「是什麼」嗎？

若科學問題為：

現象 XX 是由什麼造成的？

最直覺的回答方式是：

H1.H_1.

例如：

X⇐H1.X \Leftarrow H_1.

如果證據支持：

E⇒H1,E \Rightarrow H_1,

研究者可能逐漸說：

看來就是 H1H_1。

但其中至少有三個不同命題：

A:E supports H1\boxed{ A: E\text{ supports }H_1 } B:H1 is true\boxed{ B: H_1\text{ is true} } C:H1 is the only possible explanation\boxed{ C: H_1\text{ is the only possible explanation} }

它們不能直接等同。

所以：

A⇏C.\boxed{ A \not\Rightarrow C. }

這正是本文開始的地方。

1. 支持不是唯一化

令 hypothesis space：

H={H1,H2,…,Hn}.\mathcal H = \{ H_1,H_2,\ldots,H_n \}.

若證據 EE 使：

P(H1∣E)>P(H1),P(H_1\mid E) > P(H_1),

只表示：

H1H_1

受到支持。

它不自動意味：

∀j≠1:P(Hj∣E)=0.\forall j\neq1: P(H_j\mid E)=0.

因此：

Support(H1)⇏Uniqueness(H1).\boxed{ \mathrm{Support}(H_1) \not\Rightarrow \mathrm{Uniqueness}(H_1). }

2. 科學判定三域

本文定義：

Ssci=(P+,P−,P∘).\boxed{ \mathcal S_{\mathrm{sci}} = \left( \mathcal P^{+}, \mathcal P^{-}, \mathcal P^{\circ} \right). }

其中：

P+⊆H\mathcal P^{+} \subseteq \mathcal H

是目前 supported domain；

P−⊆H\mathcal P^{-} \subseteq \mathcal H

是目前 legitimately excluded / disfavored domain；

P∘⊆H\mathcal P^{\circ} \subseteq \mathcal H

是仍未合法關閉的 open possibility domain。

3. 三域不是互斥的一次性分類

在簡單理想模型中，可以要求：

H=P+∪P−∪P∘,\mathcal H = \mathcal P^{+} \cup \mathcal P^{-} \cup \mathcal P^{\circ},

且：

P+∩P−=∅.\mathcal P^{+} \cap \mathcal P^{-} = \varnothing.

但實際研究中，某個 hypothesis 可能：

  • 在一部分資料上被支持；
  • 在另一部分資料上被削弱；
  • 在修改後版本中仍保持開放。

因此更完整的是：

State⁡(H)=⟨S+,S−,S∘⟩.\boxed{ \operatorname{State}(H) = \langle S^+, S^-, S^\circ \rangle. }

三域可以理解為評估維度，而不只是三個互斥箱子。

4. 可能是

「可能是」不是一句模糊話。

它至少可以包含：

Possible+(H;Θ,E)\boxed{ \mathrm{Possible}^{+}(H;\Theta,E) }

表示在條件 Θ\Theta 與證據 EE 下：

  • 與資料相容；
  • 有正面支持；
  • 尚未被更強反證排除；
  • 可作為工作假說。

5. 可能不是

「可能不是」至少表示：

Possible−(H;Θ,E)\boxed{ \mathrm{Possible}^{-}(H;\Theta,E) }

即：

  • 有反例；
  • 預測失敗；
  • 與某些高品質證據不符；
  • 在指定 regime 下被排除。

但：

Possible−≠AbsoluteImpossible.\boxed{ \mathrm{Possible}^{-} \neq \mathrm{AbsoluteImpossible}. }

6. 仍可能是

第三域最重要：

StillPossible(H)\boxed{ \mathrm{StillPossible}(H) }

它不是支持。

也不是袒護。

它只表示：

目前沒有合法 closure proof 排除 H.\boxed{ \text{目前沒有合法 closure proof 排除 }H. }

因此：

StillPossible(H)\mathrm{StillPossible}(H)

的 epistemic status 可以很低，但不能等於零。

7. Still Possible 不等於 Probable

必須明確：

StillPossible(H)⇏Probable(H).\boxed{ \mathrm{StillPossible}(H) \not\Rightarrow \mathrm{Probable}(H). }

某個假說可以：

P(H∣E)≪1P(H\mid E)\ll1

但仍未被證明不可能。

所以：

possibility≠probability.\boxed{ \text{possibility} \neq \text{probability}. }

8. Possible 不等於 Worth Investigating

即使：

StillPossible(H)=1,\mathrm{StillPossible}(H)=1,

也不表示值得投入大量資源。

研究價值還要考慮：

V(H)=F(P,Impact,Cost,Testability,InformationGain).V(H) = F( P, Impact, Cost, Testability, InformationGain ).

因此：

epistemic openness≠resource commitment.\boxed{ \text{epistemic openness} \neq \text{resource commitment}. }

9. 開放不是輕信

本文明確拒絕：

If not disproven, believe it.\boxed{ \text{If not disproven, believe it.} }

正確的是：

If not disproven, do not call it disproven.\boxed{ \text{If not disproven, do not call it disproven.} }

這兩句完全不同。

10. 不信也可以是合法狀態

研究者完全可以：

P(H∣E)≈0P(H\mid E)\approx0

並選擇：

DoNotUse⁡(H).\operatorname{DoNotUse}(H).

但仍不必宣稱：

AbsoluteImpossible(H).\mathrm{AbsoluteImpossible}(H).

因此：

practical rejection≠ontological impossibility.\boxed{ \text{practical rejection} \neq \text{ontological impossibility}. }

11. 科學不是必須永遠懸置

如果：

HH

在封閉 domain 下被完整排除，

可以合法放入：

Pclosed−.\mathcal P^{-}_{\mathrm{closed}}.

例如：

¬∃x∈D:P(x)\neg\exists x\in D: P(x)

被形式證明。

因此本文不是不可知論。

12. 關閉可能性需要 Closure Condition

定義：

Close(H)\boxed{ \mathrm{Close}(H) }

只有當一組 closure conditions 滿足時成立。

可以寫：

Close(H)=F(W−,CompCert,Θ,Hscope).\mathrm{Close}(H) = F( W^-, \mathrm{CompCert}, \Theta, \mathcal H_{\mathrm{scope}} ).

13. Closure Witness

若要將：

HH

從：

P∘\mathcal P^\circ

移入：

P−,\mathcal P^-,

至少需要：

WH−.\boxed{ W^-_H. }

這可以是：

  • contradiction；
  • decisive counterexample；
  • complete exclusion；
  • parameter-independent no-go；
  • closed-domain proof。

14. Completeness Certificate

若 hypothesis space 本身不完整：

Ht≠Hall,\mathcal H_t \neq \mathcal H_{\mathrm{all}},

則：

只剩 H1H_1。

通常沒有資格成立。

因此：

OnlyPossible(H1)\boxed{ \mathrm{OnlyPossible}(H_1) }

需要：

CompCert(H,H1).\mathrm{CompCert}(\mathcal H,H_1).

15. 支持域與排除域的非對稱

一個 positive witness：

W+(H)W^+(H)

可以使：

H∈P+.H \in \mathcal P^+.

但要把所有其他：

HjH_j

放進：

P−,\mathcal P^-,

需要對每個 relevant alternative 有額外排除。

所以：

supporting one\boxed{ \text{supporting one} }

通常比：

excluding all others\boxed{ \text{excluding all others} }

容易得多。

16. 單一最佳解不等於唯一真解

如果 model selection 給：

H∗=arg⁡max⁡HScore(H),H^\ast = \arg\max_H Score(H),

只表示：

H∗H^\ast

在目前 metric 下最好。

不能推出：

∀H≠H∗:H impossible.\boxed{ \forall H\neq H^\ast: H\text{ impossible}. }

17. Best Model 不是 Final Ontology

因此：

best current model≠final ontology.\boxed{ \text{best current model} \neq \text{final ontology}. }

這是科學史中反覆出現的結構。

18. 模型可以非常好，但仍只是有效模型

若：

HH

在 domain DD 上：

Accuracy⁡(H,D)≈1,\operatorname{Accuracy}(H,D)\approx1,

可以非常實用。

但：

empirical adequacy in D≠universal truth outside D.\boxed{ \text{empirical adequacy in }D \neq \text{universal truth outside }D. }

19. Domain-Indexed Truth Claim

更精確應寫：

H is supported on D,Θ,E.\boxed{ H \text{ is supported on } D,\Theta,E. }

而不是：

H is simply true everywhere.\boxed{ H \text{ is simply true everywhere}. }

20. 可能不是也要型別化

「 HH 可能不對」可能表示：

  • parameter mismatch；
  • scale mismatch；
  • regime mismatch；
  • structural failure；
  • measurement conflict；
  • representation failure。

因此：

EvidenceAgainst(H)\boxed{ \mathrm{EvidenceAgainst}(H) }

也應 typed。

21. 反例可能打擊哪一層？

假設：

E−E^-

與 HH 衝突。

需要問：

它否定的是哪一層？\boxed{ \text{它否定的是哪一層？} }

可能只否定：

H(θ0),H(\theta_0),

而不是：

∀θ:H(θ).\forall\theta: H(\theta).

22. Versioned Hypothesis

因此可寫：

H(0),H(1),H(2).H^{(0)}, H^{(1)}, H^{(2)}.

舊版本被反證：

H(0)∈P−,H^{(0)}\in\mathcal P^-,

不表示整個 theory family：

H\mathfrak H

都被排除。

23. 理論家族

定義：

H={Hθ∣θ∈ΘH}.\boxed{ \mathfrak H = \{ H_\theta \mid \theta\in\Theta_H \}. }

對單一 Hθ0H_{\theta_0} 的反證，不一定是對：

H\mathfrak H

的反證。

24. 但也不能無限修補

如果每次失敗都任意加入 ad hoc parameter，

理論可能失去可測試性。

因此需要：

revision cost\boxed{ \text{revision cost} }

與：

predictive gain.\boxed{ \text{predictive gain}. }

25. 開放性也需要約束

本文反對兩個極端：

premature closure\boxed{ \text{premature closure} }

與：

permanent non-closure.\boxed{ \text{permanent non-closure}. }

成熟科學需要：

conditional closure.\boxed{ \text{conditional closure}. }

26. Conditional Closure

定義：

CloseD,Θ(H)\boxed{ \mathrm{Close}_{D,\Theta}(H) }

表示在指定 domain 與條件下關閉。

這比：

AbsoluteClose(H)\mathrm{AbsoluteClose}(H)

弱。

27. Local Closure 可以非常有用

工程上常只需要：

CloseD,Θ(H).\mathrm{Close}_{D,\Theta}(H).

例如：

在目前操作溫度與壓力範圍內，不考慮該機制。

這完全合理。

28. 實用排除不等於終極排除

因此：

operationally excluded≠metaphysically impossible.\boxed{ \text{operationally excluded} \neq \text{metaphysically impossible}. }

29. 科學需要保留「未閉合域」

定義：

Pt∘.\boxed{ \mathcal P^\circ_t. }

它表示在時間 tt：

  • 尚未被排除；
  • 尚未被充分支持；
  • 或尚未被納入完整理論表示。

30. 開放域會隨時間改變

Pt+1∘≠Pt∘.\mathcal P^\circ_{t+1} \neq \mathcal P^\circ_t.

新證據可以讓假說：

P∘→P+,\mathcal P^\circ \to \mathcal P^+,

或：

P∘→P−.\mathcal P^\circ \to \mathcal P^-.

31. 被排除的也可能重新開啟嗎？

在某些情況下可以。

若原排除依賴錯誤 assumption：

A,A,

之後發現：

¬A,\neg A,

則：

HH

可由：

P−→P∘.\mathcal P^- \to \mathcal P^\circ.

所以排除域也應保留 provenance。

32. 排除不是刪除歷史

本文建議：

exclude≠erase.\boxed{ \text{exclude} \neq \text{erase}. }

被排除的 hypothesis 應保存：

  • 為何被排除；
  • 在何條件下；
  • 哪個版本；
  • 哪些證據；
  • 哪些 assumption。

33. 科學可能性帳本

定義：

Lposs.\boxed{ \mathcal L_{\mathrm{poss}}. }

每個 hypothesis 記錄：

PossibilityRecord {
  hypothesis
  version
  domain
  support_evidence
  exclusion_evidence
  open_questions
  assumptions
  closure_status
  completeness_certificate
  confidence
  provenance
}

34. 三域狀態更新

令：

St(H)=⟨pt+,pt−,pt∘⟩.S_t(H) = \langle p_t^+, p_t^-, p_t^\circ \rangle.

新證據：

Et+1E_{t+1}

使：

St+1(H)=U(St(H),Et+1).S_{t+1}(H) = U( S_t(H), E_{t+1} ).

因此科學判定本身是動態更新。

35. 科學不是一次性裁決

科學不是：

Judge once→eternal verdict.\boxed{ \text{Judge once} \to \text{eternal verdict}. }

更像：

Judge→store→update→rejudge.\boxed{ \text{Judge} \to \text{store} \to \text{update} \to \text{rejudge}. }

36. 這與 OBRC 的 RAT 一致

Series 02 的：

RAT\mathrm{RAT}

要求觀察結果可重新定址、比較與修正。

科學理論本身也需要：

reflexively addressable judgement history.\boxed{ \text{reflexively addressable judgement history}. }

37. 科學共同體也需要 RAT

如果一個學科不能重新讀取：

  • 舊假說；
  • 舊證據；
  • 舊排除理由；
  • 舊 anomaly；

它就容易把歷史性的暫時判定誤成 timeless truth。

38. 科學史不是羞恥史

理論被更新不代表以前的研究者都是愚蠢的。

如果：

HtH_t

在：

EtE_t

下是合理最佳模型，

後來：

Et+1E_{t+1}

出現，

更新成：

Ht+1,H_{t+1},

這恰恰是科學正常運作。

39. 改變信念不是失敗

如果 evidence 足夠強：

Et+1E_{t+1}

使：

Mt+1≠Mt,M_{t+1}\neq M_t,

這不是不一致的證明。

更重要的是：

refusal to update under strong evidence\boxed{ \text{refusal to update under strong evidence} }

才是認識論僵化。

40. 科學判定與信念判定分離

科學可以說：

H is currently best supported.H \text{ is currently best supported}.

個人則可能：

Believe(H).\mathrm{Believe}(H).

兩者不要完全混成同一層。

41. 信念可以比證據更強嗎？

個人可以。

但如果把它標成 scientific claim，就應受：

SC≤SE.\boxed{ S_C \leq S_E. }

限制。

42. 科學開放性不是所有主張平權

本文明確否定：

all hypotheses deserve equal weight.\boxed{ \text{all hypotheses deserve equal weight}. }

因為：

P∘\mathcal P^\circ

只是「未合法關閉」。

它不表示：

P(H1)=P(H2).P(H_1)=P(H_2).

43. Low-Probability Open Hypothesis

可以有：

H∈P∘H\in\mathcal P^\circ

但：

P(H∣E)=10−9.P(H\mid E)=10^{-9}.

仍然：

open≠credible.\boxed{ \text{open} \neq \text{credible}. }

44. High-Probability Supported Hypothesis

也可以：

H∈P+H\in\mathcal P^+

且：

P(H∣E)≈1.P(H\mid E)\approx1.

但若 alternatives 未完備排除，仍不能說：

HH

是唯一 metaphysical possibility。

45. 三域與 Bayes 不衝突

Bayesian posterior 可以作為：

P+\mathcal P^+

與：

P∘\mathcal P^\circ

的 quantitative input。

本文不是 Bayes 替代品，而是 closure discipline。

46. 三域與 Popper 也不衝突

可證偽性主要處理：

哪些證據能讓 H 進入排除域？\boxed{ \text{哪些證據能讓 }H\text{ 進入排除域？} }

本文額外問：

排除的是哪一版、哪一域、哪一條件？\boxed{ \text{排除的是哪一版、哪一域、哪一條件？} }

以及：

還有哪些 alternatives 未被關閉？\boxed{ \text{還有哪些 alternatives 未被關閉？} }

47. 三域比單純 falsification 更寬

因為科學不只做：

H→falsified.H \to \mathrm{falsified}.

也做：

  • parameter estimation；
  • model comparison；
  • anomaly management；
  • regime discovery；
  • theory revision；
  • hypothesis generation。

48. Hypothesis Generation 是第三域的來源

如果 hypothesis space 本身會擴張：

Ht+1=Ht∪ΔH,\mathcal H_{t+1} = \mathcal H_t \cup \Delta\mathcal H,

那麼：

today’s exhaustive alternatives\boxed{ \text{today's exhaustive alternatives} }

可能不是：

tomorrow’s exhaustive alternatives.\boxed{ \text{tomorrow's exhaustive alternatives}. }

49. 新概念會改變可能性空間

若新 representation：

P′\mathcal P'

允許提出以前不可表達的 hypothesis：

Hnew,H_{\mathrm{new}},

則可能性空間不是固定清單。

50. 所以「其他可能都排除了」是極強主張

它要求：

Ht=Hall  relevant\boxed{ \mathcal H_t = \mathcal H_{\mathrm{all\;relevant}} }

或至少足夠的 completeness certificate。

這在 open-ended science 中通常很難。

51. 科學判定的四個問題

本文建議每個重要 scientific claim 都問：

  1. What is supported?
  2. What is excluded?
  3. What remains open?
  4. What would reopen or close each domain?

52. 第四問很重要

因為：

closure should be reversible under assumption failure.\boxed{ \text{closure should be reversible under assumption failure}. }

如果新證據證明舊 closure condition 不成立，scientific ledger 應允許 reopening。

53. Reopening Rule

若：

Close(H∣A)\mathrm{Close}(H\mid A)

但：

¬A\neg A

被證成，

則：

H:P−→P∘.\boxed{ H: \mathcal P^- \to \mathcal P^\circ. }

54. 科學的「可能不是」不是消極工作

排除 hypothesis 可以增加資訊。

如果：

∣H∣=100|\mathcal H| = 100

降到：

∣H′∣=10,|\mathcal H'| = 10,

即使還沒找到答案，也有巨大進展。

55. 排除本身是知識

因此：

knowledge≠positive identification only.\boxed{ \text{knowledge} \neq \text{positive identification only}. }

合法排除本身也是 knowledge gain。

56. 但排除需要作用域

例如：

HH

在：

D1D_1

被排除，

不能自動：

HH

在：

D2D_2

被排除。

所以：

ExcludedD1(H)⇏ExcludedD2(H).\boxed{ \mathrm{Excluded}_{D_1}(H) \not\Rightarrow \mathrm{Excluded}_{D_2}(H). }

57. 「仍可能是」也是知識

如果研究已知道：

  • H1H_1 被排除；
  • H2H_2 高度支持；
  • H3H_3 尚無測試；
  • H4H_4 在另一 regime 仍開放；

這比一句：

我們不知道。

資訊多得多。

58. Open Possibility 也應 typed

例如：

Puntested∘,\mathcal P^\circ_{\mathrm{untested}}, Punderpowered∘,\mathcal P^\circ_{\mathrm{underpowered}}, Prepresentation−gap∘,\mathcal P^\circ_{\mathrm{representation-gap}}, Pnew−regime∘.\mathcal P^\circ_{\mathrm{new-regime}}.

因此第三域本身也可細分。

59. 科學的未知不是空白

這與 OBRC Series 03 一致：

Unknown\boxed{ \mathrm{Unknown} }

是 typed epistemic state。

而不是：

zero information.\boxed{ \text{zero information}. }

60. 可能性空間也是 observer-indexed

對 observer / community oo：

Ho.\mathcal H_o.

另一研究群體：

Ho′.\mathcal H_{o'}.

可能不同。

所以：

Ho≠Hworld.\boxed{ \mathcal H_o \neq \mathcal H_{\mathrm{world}}. }

61. 我們提出的假說集合不是世界的全部可能

這是本文最重要的 meta-warning 之一：

representable hypothesis space≠all ontological possibilities.\boxed{ \text{representable hypothesis space} \neq \text{all ontological possibilities}. }

62. 但這不意味不能做科學

科學仍可在：

Ho\mathcal H_o

中做非常可靠的比較、排除與預測。

本文只阻止：

Ho\mathcal H_o

冒充：

Habsolute.\mathcal H_{\mathrm{absolute}}.

63. 可能性邊界

可定義：

Bposs(t)\boxed{ \mathcal B_{\mathrm{poss}}(t) }

為當前可表示、可測試 hypothesis space 的邊界。

新理論、新工具、新資料會使：

Bposs(t+1)≠Bposs(t).\mathcal B_{\mathrm{poss}}(t+1) \neq \mathcal B_{\mathrm{poss}}(t).

64. 科學進步可以是可能性邊界擴張

進步不只意味：

more answers.\text{more answers}.

也可能意味：

better questions+new hypothesis classes.\boxed{ \text{better questions} + \text{new hypothesis classes}. }

65. 科學進步也可以是排除域擴張

如果新的 measurement 讓：

P−\mathcal P^-

擴大，

也是進步。

因此：

science progresses by both opening and closing possibility space.\boxed{ \text{science progresses by both opening and closing possibility space}. }

66. 真正危險的是錯誤關閉

若：

HH

其實仍有可能，

但因：

  • authority；
  • convention；
  • representation limitation；
  • temporary lack of evidence；

被誤標成：

P−,\mathcal P^-,

就形成：

PrematureClosure.\boxed{ \mathrm{PrematureClosure}. }

67. 另一個危險是拒絕關閉

若已有 decisive evidence：

W−,W^-,

卻因為：

什麼都有可能。

拒絕移入：

P−,\mathcal P^-,

則形成：

PathologicalOpenness.\boxed{ \mathrm{PathologicalOpenness}. }

68. 科學需要雙向紀律

因此：

Do not close too early.\boxed{ \text{Do not close too early.} }

也：

Do not refuse to close when closure is earned.\boxed{ \text{Do not refuse to close when closure is earned.} }

69. 科學三域的最小公理

S-A1 — Support Does Not Exhaust

Support(H)⇏ExhaustionOfAlternatives(H).\boxed{ \mathrm{Support}(H) \not\Rightarrow \mathrm{ExhaustionOfAlternatives}(H). }

S-A2 — Disfavor Does Not Mean Absolute Impossibility

EvidenceAgainst(H)⇏AbsoluteImpossible(H).\boxed{ \mathrm{EvidenceAgainst}(H) \not\Rightarrow \mathrm{AbsoluteImpossible}(H). }

S-A3 — Closure Requires Witness

Close(H)⇒∃WH−.\boxed{ \mathrm{Close}(H) \Rightarrow \exists W^-_H. }

S-A4 — Unique-Answer Claim Requires Completeness

OnlyPossible(H)⇒CompCert(H).\boxed{ \mathrm{OnlyPossible}(H) \Rightarrow \mathrm{CompCert}(\mathcal H). }

S-A5 — Open Does Not Mean Probable

H∈P∘⇏P(H) high.\boxed{ H\in\mathcal P^\circ \not\Rightarrow P(H)\text{ high}. }

S-A6 — Scientific Judgement Is Revisable

St+1(H)=U(St(H),Et+1).\boxed{ S_{t+1}(H) = U(S_t(H),E_{t+1}). }

70. 核心 No-Go

BestModel⇏OnlyPossibleModel.\boxed{ \mathrm{BestModel} \not\Rightarrow \mathrm{OnlyPossibleModel}. } NoEvidence⇏Impossible.\boxed{ \mathrm{NoEvidence} \not\Rightarrow \mathrm{Impossible}. } CounterexampleToVersion⇏EliminationOfFamily.\boxed{ \mathrm{CounterexampleToVersion} \not\Rightarrow \mathrm{EliminationOfFamily}. } StillPossible⇏Believable.\boxed{ \mathrm{StillPossible} \not\Rightarrow \mathrm{Believable}. } OperationalExclusion⇏MetaphysicalImpossibility.\boxed{ \mathrm{OperationalExclusion} \not\Rightarrow \mathrm{MetaphysicalImpossibility}. }

71. 與 OBRC Series 10 的接口

Series 10 的：

GLA\boxed{ \mathcal G_{\mathrm{LA}} }

可以直接用於 scientific closure。

只有當：

W−,CompCert,ScopeW^-, \mathrm{CompCert}, Scope

足夠時，才允許：

P∘→Pstrong−.\mathcal P^\circ \to \mathcal P^-_{\mathrm{strong}}.

72. Claim Strength Discipline

科學 claim 也必須滿足：

SC≤SE.\boxed{ S_C \leq S_E. }

因此：

「目前最佳」\text{「目前最佳」}

與：

「唯一可能」\text{「唯一可能」}

具有完全不同 claim strength。

73. 科學三域的工程化

可定義：

ScientificJudgement {
  hypothesis
  version
  domain
  observer_or_community
  support_state
  exclusion_state
  open_state
  evidence_positive
  evidence_negative
  assumptions
  closure_status
  completeness_certificate
  confidence
  provenance
}

74. 科學三域的最小流程

Generate→Test→Support→Exclude→PreserveOpen→Update.\boxed{ \text{Generate} \to \text{Test} \to \text{Support} \to \text{Exclude} \to \text{PreserveOpen} \to \text{Update}. }

不是每次都必須走到唯一答案。

75. 科學回答的完整格式

對問題：

XX 是什麼？

更成熟的回答可能是：

目前最支持的是： H1目前可排除的是： H3,H4目前仍開放的是： H2,H5關閉條件是： C1,C2可能改變判定的證據是： E∗.\boxed{ \begin{aligned} \text{目前最支持的是：}&\ H_1\\ \text{目前可排除的是：}&\ H_3,H_4\\ \text{目前仍開放的是：}&\ H_2,H_5\\ \text{關閉條件是：}&\ C_1,C_2\\ \text{可能改變判定的證據是：}&\ E^\ast. \end{aligned} }

76. 這不是軟弱，而是資訊更完整

一句：

我們不知道。

資訊太少。

一句：

就是 H1H_1。

可能太強。

三域回答則保留：

support+exclusion+openness.\boxed{ \text{support} + \text{exclusion} + \text{openness}. }

77. 最終命題

本文最終把科學判定寫成：

Jsci=⟨P+,P−,P∘,E,Θ,W,CompCert,Prov⟩.\boxed{ \mathcal J_{\mathrm{sci}} = \left\langle \mathcal P^+, \mathcal P^-, \mathcal P^\circ, E, \Theta, W, \mathrm{CompCert}, Prov \right\rangle. }

其中：

  • P+\mathcal P^+：支持域；
  • P−\mathcal P^-：排除域；
  • P∘\mathcal P^\circ：未閉合可能域；
  • EE：證據；
  • Θ\Theta：判定條件；
  • WW：witness；
  • CompCert\mathrm{CompCert}：完備性證書；
  • ProvProv：provenance。

78. 結論

科學不只應回答：

它是什麼？\boxed{ \text{它是什麼？} }

也應回答：

它可能不是什麼？\boxed{ \text{它可能不是什麼？} }

更應保留：

它仍可能是什麼？\boxed{ \text{它仍可能是什麼？} }

因此科學不是只做 identification，也不是只做 falsification。

它同時管理：

supported possibility+excluded possibility+still-open possibility.\boxed{ \text{supported possibility} + \text{excluded possibility} + \text{still-open possibility}. }

本文最重要的限制是：

Support(H)⇏ExhaustionOfAlternatives(H).\boxed{ \mathrm{Support}(H) \not\Rightarrow \mathrm{ExhaustionOfAlternatives}(H). }

以及：

EvidenceAgainst(H)⇏AbsoluteImpossibility(H).\boxed{ \mathrm{EvidenceAgainst}(H) \not\Rightarrow \mathrm{AbsoluteImpossibility}(H). }

但這也不意味：

Everything remains equally possible forever.\boxed{ \text{Everything remains equally possible forever}. }

科學可以合法關閉 hypothesis。

只是 closure 本身需要：

scope+negative witness+completeness.\boxed{ \text{scope} + \text{negative witness} + \text{completeness}. }

因此真正成熟的科學開放性，不是拒絕判定，而是：

對有證據支持的，願意暫時相信；
對有足夠證據排除的，願意放下；
對尚未被合法關閉的，不因為今天的模型看不到，就假裝世界已經替我們關閉。

這種結構既允許科學前進，也允許科學修正自己。

最終可以收束成：

Science should support what is supported, exclude what is legitimately excluded, and preserve what is not yet closed.\boxed{ \text{Science should support what is supported, exclude what is legitimately excluded, and preserve what is not yet closed.} }

中文即：

科學應支持該支持的， 排除能合法排除的， 並保留尚未有資格關閉的可能。\boxed{ \text{科學應支持該支持的， 排除能合法排除的， 並保留尚未有資格關閉的可能。} }

這就是科學判定三域結構。

附錄：番外篇 01–04 預定結構

  1. 番外 01 — 可能是、可能不是、仍可能是：科學判定的三域結構
  2. 番外 02 — 生成中的自然法則：如果世界在變，規則是否也可能有歷史？
  3. 番外 03 — 不成為不會改變的觀察者：證據、模型更新與認識論可塑性
  4. 番外 04 — 從形上開放到實用價值：知識為何最終仍要回到存在的可行改善