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

**英文題名：** 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{即使目前有偏好的答案，它還可能是什麼？}
}
$$

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

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

其中：

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

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

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

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

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

第二個核心原則是：

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

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

第三個核心原則是：

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

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

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

本文進一步區分：

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

以及：

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

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

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

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

而是：

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

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

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

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

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

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

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

---

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

若科學問題為：

> 現象 $X$ 是由什麼造成的？

最直覺的回答方式是：

$$
H_1.
$$

例如：

$$
X
\Leftarrow
H_1.
$$

如果證據支持：

$$
E
\Rightarrow
H_1,
$$

研究者可能逐漸說：

> 看來就是 $H_1$。

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

$$
\boxed{
A:
E\text{ supports }H_1
}
$$

$$
\boxed{
B:
H_1\text{ is true}
}
$$

$$
\boxed{
C:
H_1\text{ is the only possible explanation}
}
$$

它們不能直接等同。

所以：

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

這正是本文開始的地方。

---

# 1. 支持不是唯一化

令 hypothesis space：

$$
\mathcal H
=
\{
H_1,H_2,\ldots,H_n
\}.
$$

若證據 $E$ 使：

$$
P(H_1\mid E)
>
P(H_1),
$$

只表示：

$$
H_1
$$

受到支持。

它不自動意味：

$$
\forall j\neq1:
P(H_j\mid E)=0.
$$

因此：

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

---

# 2. 科學判定三域

本文定義：

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

其中：

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

是目前 supported domain；

$$
\mathcal P^{-}
\subseteq
\mathcal H
$$

是目前 legitimately excluded / disfavored domain；

$$
\mathcal P^{\circ}
\subseteq
\mathcal H
$$

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

---

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

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

$$
\mathcal H
=
\mathcal P^{+}
\cup
\mathcal P^{-}
\cup
\mathcal P^{\circ},
$$

且：

$$
\mathcal P^{+}
\cap
\mathcal P^{-}
=
\varnothing.
$$

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

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

因此更完整的是：

$$
\boxed{
\operatorname{State}(H)
=
\langle
S^+,
S^-,
S^\circ
\rangle.
}
$$

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

---

# 4. 可能是

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

它至少可以包含：

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

表示在條件 $\Theta$ 與證據 $E$ 下：

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

---

# 5. 可能不是

「可能不是」至少表示：

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

即：

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

但：

$$
\boxed{
\mathrm{Possible}^{-}
\neq
\mathrm{AbsoluteImpossible}.
}
$$

---

# 6. 仍可能是

第三域最重要：

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

它不是支持。

也不是袒護。

它只表示：

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

因此：

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

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

---

# 7. Still Possible 不等於 Probable

必須明確：

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

某個假說可以：

$$
P(H\mid E)\ll1
$$

但仍未被證明不可能。

所以：

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

---

# 8. Possible 不等於 Worth Investigating

即使：

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

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

研究價值還要考慮：

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

因此：

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

---

# 9. 開放不是輕信

本文明確拒絕：

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

正確的是：

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

這兩句完全不同。

---

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

研究者完全可以：

$$
P(H\mid E)\approx0
$$

並選擇：

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

但仍不必宣稱：

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

因此：

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

---

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

如果：

$$
H
$$

在封閉 domain 下被完整排除，

可以合法放入：

$$
\mathcal P^{-}_{\mathrm{closed}}.
$$

例如：

$$
\neg\exists x\in D:
P(x)
$$

被形式證明。

因此本文不是不可知論。

---

# 12. 關閉可能性需要 Closure Condition

定義：

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

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

可以寫：

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

---

# 13. Closure Witness

若要將：

$$
H
$$

從：

$$
\mathcal P^\circ
$$

移入：

$$
\mathcal P^-,
$$

至少需要：

$$
\boxed{
W^-_H.
}
$$

這可以是：

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

---

# 14. Completeness Certificate

若 hypothesis space 本身不完整：

$$
\mathcal H_t
\neq
\mathcal H_{\mathrm{all}},
$$

則：

> 只剩 $H_1$。

通常沒有資格成立。

因此：

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

需要：

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

---

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

一個 positive witness：

$$
W^+(H)
$$

可以使：

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

但要把所有其他：

$$
H_j
$$

放進：

$$
\mathcal P^-,
$$

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

所以：

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

通常比：

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

容易得多。

---

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

如果 model selection 給：

$$
H^\ast
=
\arg\max_H
Score(H),
$$

只表示：

$$
H^\ast
$$

在目前 metric 下最好。

不能推出：

$$
\boxed{
\forall H\neq H^\ast:
H\text{ impossible}.
}
$$

---

# 17. Best Model 不是 Final Ontology

因此：

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

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

---

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

若：

$$
H
$$

在 domain $D$ 上：

$$
\operatorname{Accuracy}(H,D)\approx1,
$$

可以非常實用。

但：

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

---

# 19. Domain-Indexed Truth Claim

更精確應寫：

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

而不是：

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

---

# 20. 可能不是也要型別化

「 $H$ 可能不對」可能表示：

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

因此：

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

也應 typed。

---

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

假設：

$$
E^-
$$

與 $H$ 衝突。

需要問：

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

可能只否定：

$$
H(\theta_0),
$$

而不是：

$$
\forall\theta:
H(\theta).
$$

---

# 22. Versioned Hypothesis

因此可寫：

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

舊版本被反證：

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

不表示整個 theory family：

$$
\mathfrak H
$$

都被排除。

---

# 23. 理論家族

定義：

$$
\boxed{
\mathfrak H
=
\{
H_\theta
\mid
\theta\in\Theta_H
\}.
}
$$

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

$$
\mathfrak H
$$

的反證。

---

# 24. 但也不能無限修補

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

理論可能失去可測試性。

因此需要：

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

與：

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

---

# 25. 開放性也需要約束

本文反對兩個極端：

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

與：

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

成熟科學需要：

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

---

# 26. Conditional Closure

定義：

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

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

這比：

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

弱。

---

# 27. Local Closure 可以非常有用

工程上常只需要：

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

例如：

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

這完全合理。

---

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

因此：

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

---

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

定義：

$$
\boxed{
\mathcal P^\circ_t.
}
$$

它表示在時間 $t$：

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

---

# 30. 開放域會隨時間改變

$$
\mathcal P^\circ_{t+1}
\neq
\mathcal P^\circ_t.
$$

新證據可以讓假說：

$$
\mathcal P^\circ
\to
\mathcal P^+,
$$

或：

$$
\mathcal P^\circ
\to
\mathcal P^-.
$$

---

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

在某些情況下可以。

若原排除依賴錯誤 assumption：

$$
A,
$$

之後發現：

$$
\neg A,
$$

則：

$$
H
$$

可由：

$$
\mathcal P^-
\to
\mathcal P^\circ.
$$

所以排除域也應保留 provenance。

---

# 32. 排除不是刪除歷史

本文建議：

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

被排除的 hypothesis 應保存：

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

---

# 33. 科學可能性帳本

定義：

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

每個 hypothesis 記錄：

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

---

# 34. 三域狀態更新

令：

$$
S_t(H)
=
\langle
p_t^+,
p_t^-,
p_t^\circ
\rangle.
$$

新證據：

$$
E_{t+1}
$$

使：

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

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

---

# 35. 科學不是一次性裁決

科學不是：

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

更像：

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

---

# 36. 這與 OBRC 的 RAT 一致

Series 02 的：

$$
\mathrm{RAT}
$$

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

科學理論本身也需要：

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

---

# 37. 科學共同體也需要 RAT

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

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

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

---

# 38. 科學史不是羞恥史

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

如果：

$$
H_t
$$

在：

$$
E_t
$$

下是合理最佳模型，

後來：

$$
E_{t+1}
$$

出現，

更新成：

$$
H_{t+1},
$$

這恰恰是科學正常運作。

---

# 39. 改變信念不是失敗

如果 evidence 足夠強：

$$
E_{t+1}
$$

使：

$$
M_{t+1}\neq M_t,
$$

這不是不一致的證明。

更重要的是：

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

才是認識論僵化。

---

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

科學可以說：

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

個人則可能：

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

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

---

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

個人可以。

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

$$
\boxed{
S_C
\leq
S_E.
}
$$

限制。

---

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

本文明確否定：

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

因為：

$$
\mathcal P^\circ
$$

只是「未合法關閉」。

它不表示：

$$
P(H_1)=P(H_2).
$$

---

# 43. Low-Probability Open Hypothesis

可以有：

$$
H\in\mathcal P^\circ
$$

但：

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

仍然：

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

---

# 44. High-Probability Supported Hypothesis

也可以：

$$
H\in\mathcal P^+
$$

且：

$$
P(H\mid E)\approx1.
$$

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

$$
H
$$

是唯一 metaphysical possibility。

---

# 45. 三域與 Bayes 不衝突

Bayesian posterior 可以作為：

$$
\mathcal P^+
$$

與：

$$
\mathcal P^\circ
$$

的 quantitative input。

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

---

# 46. 三域與 Popper 也不衝突

可證偽性主要處理：

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

本文額外問：

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

以及：

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

---

# 47. 三域比單純 falsification 更寬

因為科學不只做：

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

也做：

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

---

# 48. Hypothesis Generation 是第三域的來源

如果 hypothesis space 本身會擴張：

$$
\mathcal H_{t+1}
=
\mathcal H_t
\cup
\Delta\mathcal H,
$$

那麼：

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

可能不是：

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

---

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

若新 representation：

$$
\mathcal P'
$$

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

$$
H_{\mathrm{new}},
$$

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

---

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

它要求：

$$
\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. 第四問很重要

因為：

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

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

---

# 53. Reopening Rule

若：

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

但：

$$
\neg A
$$

被證成，

則：

$$
\boxed{
H:
\mathcal P^-
\to
\mathcal P^\circ.
}
$$

---

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

排除 hypothesis 可以增加資訊。

如果：

$$
|\mathcal H|
=
100
$$

降到：

$$
|\mathcal H'|
=
10,
$$

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

---

# 55. 排除本身是知識

因此：

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

合法排除本身也是 knowledge gain。

---

# 56. 但排除需要作用域

例如：

$$
H
$$

在：

$$
D_1
$$

被排除，

不能自動：

$$
H
$$

在：

$$
D_2
$$

被排除。

所以：

$$
\boxed{
\mathrm{Excluded}_{D_1}(H)
\not\Rightarrow
\mathrm{Excluded}_{D_2}(H).
}
$$

---

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

如果研究已知道：

- $H_1$ 被排除；
- $H_2$ 高度支持；
- $H_3$ 尚無測試；
- $H_4$ 在另一 regime 仍開放；

這比一句：

> 我們不知道。

資訊多得多。

---

# 58. Open Possibility 也應 typed

例如：

$$
\mathcal P^\circ_{\mathrm{untested}},
$$

$$
\mathcal P^\circ_{\mathrm{underpowered}},
$$

$$
\mathcal P^\circ_{\mathrm{representation-gap}},
$$

$$
\mathcal P^\circ_{\mathrm{new-regime}}.
$$

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

---

# 59. 科學的未知不是空白

這與 OBRC Series 03 一致：

$$
\boxed{
\mathrm{Unknown}
}
$$

是 typed epistemic state。

而不是：

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

---

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

對 observer / community $o$：

$$
\mathcal H_o.
$$

另一研究群體：

$$
\mathcal H_{o'}.
$$

可能不同。

所以：

$$
\boxed{
\mathcal H_o
\neq
\mathcal H_{\mathrm{world}}.
}
$$

---

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

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

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

---

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

科學仍可在：

$$
\mathcal H_o
$$

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

本文只阻止：

$$
\mathcal H_o
$$

冒充：

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

---

# 63. 可能性邊界

可定義：

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

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

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

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

---

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

進步不只意味：

$$
\text{more answers}.
$$

也可能意味：

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

---

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

如果新的 measurement 讓：

$$
\mathcal P^-
$$

擴大，

也是進步。

因此：

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

---

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

若：

$$
H
$$

其實仍有可能，

但因：

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

被誤標成：

$$
\mathcal P^-,
$$

就形成：

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

---

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

若已有 decisive evidence：

$$
W^-,
$$

卻因為：

> 什麼都有可能。

拒絕移入：

$$
\mathcal P^-,
$$

則形成：

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

---

# 68. 科學需要雙向紀律

因此：

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

也：

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

---

# 69. 科學三域的最小公理

## S-A1 — Support Does Not Exhaust

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

## S-A2 — Disfavor Does Not Mean Absolute Impossibility

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

## S-A3 — Closure Requires Witness

$$
\boxed{
\mathrm{Close}(H)
\Rightarrow
\exists W^-_H.
}
$$

## S-A4 — Unique-Answer Claim Requires Completeness

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

## S-A5 — Open Does Not Mean Probable

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

## S-A6 — Scientific Judgement Is Revisable

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

---

# 70. 核心 No-Go

$$
\boxed{
\mathrm{BestModel}
\not\Rightarrow
\mathrm{OnlyPossibleModel}.
}
$$

$$
\boxed{
\mathrm{NoEvidence}
\not\Rightarrow
\mathrm{Impossible}.
}
$$

$$
\boxed{
\mathrm{CounterexampleToVersion}
\not\Rightarrow
\mathrm{EliminationOfFamily}.
}
$$

$$
\boxed{
\mathrm{StillPossible}
\not\Rightarrow
\mathrm{Believable}.
}
$$

$$
\boxed{
\mathrm{OperationalExclusion}
\not\Rightarrow
\mathrm{MetaphysicalImpossibility}.
}
$$

---

# 71. 與 OBRC Series 10 的接口

Series 10 的：

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

可以直接用於 scientific closure。

只有當：

$$
W^-,
\mathrm{CompCert},
Scope
$$

足夠時，才允許：

$$
\mathcal P^\circ
\to
\mathcal P^-_{\mathrm{strong}}.
$$

---

# 72. Claim Strength Discipline

科學 claim 也必須滿足：

$$
\boxed{
S_C
\leq
S_E.
}
$$

因此：

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

與：

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

具有完全不同 claim strength。

---

# 73. 科學三域的工程化

可定義：

```text
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. 科學三域的最小流程

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

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

---

# 75. 科學回答的完整格式

對問題：

> $X$ 是什麼？

更成熟的回答可能是：

$$
\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. 這不是軟弱，而是資訊更完整

一句：

> 我們不知道。

資訊太少。

一句：

> 就是 $H_1$。

可能太強。

三域回答則保留：

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

---

# 77. 最終命題

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

$$
\boxed{
\mathcal J_{\mathrm{sci}}
=
\left\langle
\mathcal P^+,
\mathcal P^-,
\mathcal P^\circ,
E,
\Theta,
W,
\mathrm{CompCert},
Prov
\right\rangle.
}
$$

其中：

- $\mathcal P^+$：支持域；
- $\mathcal P^-$：排除域；
- $\mathcal P^\circ$：未閉合可能域；
- $E$：證據；
- $\Theta$：判定條件；
- $W$：witness；
- $\mathrm{CompCert}$：完備性證書；
- $Prov$：provenance。

---

# 78. 結論

科學不只應回答：

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

也應回答：

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

更應保留：

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

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

它同時管理：

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

本文最重要的限制是：

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

以及：

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

但這也不意味：

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

科學可以合法關閉 hypothesis。

只是 closure 本身需要：

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

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

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

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

最終可以收束成：

$$
\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** — 從形上開放到實用價值：知識為何最終仍要回到存在的可行改善