# 立場、關係與真理邊界三部曲 III # 客觀不等於真理，真理也不等於客觀 ## 方法、判定域、觀點、可錯性與失真的認識論界線 ### Objectivity Is Not Truth, and Truth Is Not Objectivity ### Method, Domains of Judgment, Perspective, Fallibility, and the Epistemic Boundary of Distortion **系列**：立場、關係與真理邊界三部曲（Position–Relation–Truth Boundary Trilogy） **篇次**：III / III **作者**：Neo.K **機構**：EveMissLab／一言諾科技有限公司 **日期**：2026-08-09 **版本**：v0.1 **性質**：Epistemology / Meta-Methodology Paper／認識論—方法論封頂論文 **前置論文**： 1. 《本體平等作為規範選擇》 2. 《不平等關係不只一種》 **前置理論接口**：scientific objectivity、historical epistemology、scientific realism、truth theories、fallibilism、statistical methodology、判定域、失真控制 **重要聲明**：本文區分作者立場、方法論原則與真理理論。本文採取一項有限的 realist commitment：命題的真值不應僅由判斷者的偏好、立場或共識構成；但本文不宣稱已解決「真理的終極本性」問題，也不宣稱 correspondence theory 或任何既有 truth theory 已被本文證明為唯一正確。 --- ## 摘要 「客觀」與「真理」經常在日常語言與學術敘事中被互相偷換。一項研究被稱為「客觀」，容易被理解成「它就是真理」；一個命題後來碰巧為真，又容易反過來使人誤以為取得它的方法必定客觀、可靠或合理。 本文拒絕這兩種推論： $$ \boxed{ \text{Objectivity} \not\Rightarrow \text{Truth} } $$ 以及： $$ \boxed{ \text{Truth} \not\Rightarrow \text{Objectivity}. } $$ 但這兩句如果不進一步拆解，也可能過度簡化，因為「objectivity」本身並不是單一概念。科學哲學中，objectivity 可涉及事實忠實性、價值中立、程序規則、跨主體檢驗、可重複性、去個人偏置等不同理想；歷史認識論亦指出，近代科學中的 objectivity 是有歷史形成過程的 epistemic virtue，而不是一個從古至今完全不變的單一概念。Daston 與 Galison 更把 objectivity 與 truth-to-nature、trained judgment 等其他 epistemic ideals 區分。Gelman 與 Hennig 在統計學中則主張，與其以「主觀／客觀」二分，不如把 objectivity 拆成 transparency、consensus、impartiality、correspondence to observable reality 等具體屬性，同時承認 multiple perspectives 與 context dependence。 因此本文定義一個型別化 objectivity profile： $$ \boxed{ \mathbf O(M,K) = ( \tau, \iota, \rho, \kappa, \epsilon, \nu ) } $$ 其中： - $\tau$：Transparency／透明性； - $\iota$：Impartiality／去偏置或不偏袒性； - $\rho$：Reproducibility / Rule Consistency／可重複與規則一致； - $\kappa$：Intersubjective Contestability／跨主體檢驗與可爭議性； - $\epsilon$：Empirical Contact／與可觀察證據的接觸； - $\nu$：Value-Neutrality Degree／價值中立程度。 本文不把這六項加成單一「客觀分數」，也不宣稱每個領域都需要相同的 objectivity profile。 另一方面，本文把 truth-related questions 拆成至少四層： $$ \boxed{ T(p^*) = \text{Truth Value / Truth Status} } $$ $$ \boxed{ C_T(p^*,K) = \text{Truth Criterion} } $$ $$ \boxed{ A_u(p^*,t) = \text{Truth Access} } $$ $$ \boxed{ \Gamma_u(p^*,t) = \text{Justified Confidence}. } $$ 其中 $p^*$ 不是未指定條件的裸命題，而是： $$ \boxed{ p^* = p(D,C,t,F,S) } $$ 即明確標示： - $D$：domain／判定域； - $C$：conditions／條件； - $t$：時間； - $F$：reference frame／參照框架； - $S$：semantics／語義規格。 因此： $$ \boxed{ \text{Context-Dependence of Proposition Specification} \neq \text{Relativism of Truth}. } $$ 如果兩個看似矛盾的陳述其實分別是： $$ p(D_1,C_1) $$ 與： $$ p(D_2,C_2), $$ 那麼它們可能根本不是同一 truth-bearer。 本文採取： # Ontological Realism + Epistemic Fallibilism # 本體實在論承諾＋認識可錯論 即： $$ \boxed{ \text{Reality is not constituted merely by our judgment} } $$ 同時： $$ \boxed{ \text{our access to reality can be incomplete, distorted, domain-bound, and revisable}. } $$ 因此，客觀性的主要方法論價值不應被描述成「保證真理」，而更適合作為： # Distortion-Control Strategy # 失真控制策略 其目標是，在適當條件下使： $$ \boxed{ P( \text{epistemic distortion} \mid M_{\text{better-controlled}} ) < P( \text{epistemic distortion} \mid M_{\text{poorly-controlled}} ). } $$ 這仍不保證： $$ T(p^*)=1. $$ 本文最終提出： $$ \boxed{ \text{Truth} \neq \text{Truth Criterion} \neq \text{Truth Access} \neq \text{Objectivity} \neq \text{Confidence}. } $$ 並以三句話封頂整個三部曲： > **我可以有立場，而不把立場偽裝成客觀。** > **我可以追求客觀，而不把客觀偽裝成真理。** > **我可以相信真理存在，而不偽裝自己已經完整擁有它。** **關鍵詞**：objectivity、truth、truth criterion、fallibilism、realism、judgment domain、distortion、perspective、epistemic humility --- # 一、問題：為什麼「客觀」常被誤當成「真」？ 在日常語言中： > 這是一個客觀結論。 很容易被理解為： > 這件事已經被證明為真。 但這兩句其實回答不同問題。 「客觀」更可能在問： > 你用什麼程序處理證據？ > 你有沒有公開假設？ > 其他人能不能重做？ > 你的判斷是否受到不相關偏好主導？ 而「真」則在問： > 命題所說的狀態究竟是不是如此？ 因此： $$ \boxed{ \text{Method Property} \neq \text{Truth Property}. } $$ --- # 二、第一個修正：Objectivity 不是單一概念 如果 objectivity 被直接定義成： > 完全符合真實。 那麼： $$ Objectivity=Truth $$ 會變成語義定義。 此時再說： $$ Objectivity\neq Truth $$ 只是自我矛盾。 所以本文必須首先把 objectivity 型別化。 --- # 三、Scientific Objectivity 的多義性 科學哲學中的 objectivity 長期涉及多種不同問題： - theory-independent facts； - value neutrality； - measurement； - reproducibility； - evidence； - impartiality； - scientific realism； - social epistemology。 因此： $$ \boxed{ \text{Objectivity} } $$ 更適合作為： $$ \boxed{ \text{a family of epistemic ideals}. } $$ 而不是單一 metaphysical property。 --- # 四、歷史上 Objectivity 也不是固定不變 Daston 與 Galison 的 historical epistemology 顯示，十九世紀科學中的 objectivity 是在特定科學影像、紀律與 epistemic virtues 發展中逐步形成，並與 truth-to-nature、trained judgment 等理想區分。 因此： $$ \boxed{ \text{Objectivity as an epistemic virtue} } $$ 具有歷史性。 這不表示： > 所以真理也是歷史相對。 它只表示： > 人類為了減少認識失真而採用的 epistemic virtues，會隨實踐改變。 --- # 五、Gelman–Hennig 修正：不要只問主觀／客觀 統計方法中，「objective method」「subjective method」很容易遮蔽真正需要分析的特徵。 更有用的拆分包括： - transparency； - consensus； - impartiality； - correspondence to observable reality； - awareness of multiple perspectives； - context dependence。 因此本文沿用這個精神： $$ \boxed{ \text{Objectivity} \rightarrow \text{Typed Epistemic Profile}. } $$ --- # 六、Objectivity Profile 定義： $$ \boxed{ \mathbf O(M,K) = ( \tau,\iota,\rho,\kappa,\epsilon,\nu ). } $$ 其中： ## $\tau$：Transparency 方法、資料、假設、排除條件是否被公開。 ## $\iota$：Impartiality 不相關的身份、利益或偏好是否被抑制。 ## $\rho$：Reproducibility / Rule Consistency 相同規則能否在相似輸入上被重新執行。 ## $\kappa$：Intersubjective Contestability 其他主體能否檢查、批評、提出反例與重算。 ## $\epsilon$：Empirical Contact 方法是否與相關觀察、測量或因果介入保持接觸。 ## $\nu$：Value-Neutrality Degree 價值判斷在多大程度被排除、限制或明示。 --- # 七、不要建立 OBJECTIVITY_SCORE 不同領域對： $$ \mathbf O $$ 的要求不同。 數學證明的： $$ \epsilon $$ 和實驗科學不同。 倫理學論文中的： $$ \nu $$ 也不可能與測量物理常數的研究完全相同。 因此： $$ \boxed{ O_{\text{score}} = \sum_iw_iO_i } $$ 不應作為普遍客觀度。 應該問： > **這個判定域需要哪一種 objectivity？** --- # 八、客觀方法可以得到錯誤答案 假設一組研究者： - 公開全部方法； - 使用預先註冊； - 多人重複； - 分析程序一致； - 沒有明顯利益衝突。 仍然可能因： - 樣本偏差； - 儀器誤差； - 未知 confounder； - 錯誤模型； - 理論欠指定； 得到： $$ p $$ 但： $$ T(p)=0. $$ 所以： $$ \boxed{ High\ Objectivity(M) \not\Rightarrow Truth(p). } $$ --- # 九、錯誤不使方法立刻變成「不客觀」 如果後來發現： $$ p $$ 為假， 不能反推： $$ Objectivity(M)=0. $$ 方法可能在當時證據與技術下已經很好， 只是： $$ AccessToReality $$ 仍有限。 因此： $$ \boxed{ \text{False Conclusion} \not\Rightarrow \text{Bad Faith or Non-Objective Method}. } $$ --- # 十、第二個方向：真理也不等於客觀 假設某人隨機猜： > 明天會下雨。 而明天真的下雨。 則： $$ T(p)=1. $$ 但他的取得方法： $$ M=\text{random guess}. $$ 所以： $$ \mathbf O(M) $$ 很低。 因此： $$ \boxed{ Truth(p)=1 \not\Rightarrow Objectivity(M)\uparrow. } $$ --- # 十一、Truth 與 Truth-Tracking Method 因此需要區分： $$ \boxed{ Truth(p) } $$ 與： $$ \boxed{ TruthTracking(M). } $$ 前者問： > 這一次命題真不真？ 後者問： > 這套方法是否在一類相似問題上較常接近真實？ 一次猜中： $$ Truth=1 $$ 不能證明： $$ TruthTracking\gg0. $$ --- # 十二、真理理論本身仍有競爭 本文不把： $$ Truth $$ 當成哲學界已經完全解決的概念。 既有理論至少包括： - correspondence approaches； - deflationary approaches； - pluralist theories； - primitivist theories； - axiomatic approaches。 因此： $$ \boxed{ \text{“What is truth?” remains theoretically contested}. } $$ --- # 十三、作者的 Truth Commitment 本文仍採取一個較弱的 realist commitment： $$ \boxed{ \text{Truth is not constituted merely by who believes or votes for it}. } $$ 也就是： > 一個命題不會只因為換一個判斷者，就在完全相同 truth conditions 下從真變假。 本文暫稱： # Truth Independence Commitment $$ \boxed{ T(p^*) \not= F( \text{mere preference of evaluator} ). } $$ 這是作者立場。 不是本文聲稱哲學界已完成的定理。 --- # 十四、「真理是絕對」要非常小心 作者直覺是： > 真理不是相對，而具有某種絕對性。 但「absolute」本身需要定義。 本文不採： $$ Truth=Absolute $$ 作為未分析口號。 比較精確的說法是： $$ \boxed{ \text{For a fully specified truth-bearer }p^*, \text{ its truth is not constituted merely by evaluator identity}. } $$ 這比「絕對真理」更容易檢驗與討論。 --- # 十五、真正容易相對化的，可能是命題本身沒有寫完整 例如： > 水在 100°C 沸騰。 如果沒有指定： - pressure； - composition； - measurement convention； 它不是一個充分規格化的自然條件陳述。 所以本文要求： $$ \boxed{ p^* = p(D,C,t,F,S). } $$ --- # 十六、五個 Proposition Specifications ## $D$：Domain 命題在哪個判定域內。 ## $C$：Conditions 成立需要哪些物理、制度或背景條件。 ## $t$：Time 命題指向哪個時間。 ## $F$：Reference Frame 需要何種參照框架。 ## $S$：Semantics 使用的詞語、分類、量尺與邏輯語義為何。 --- # 十七、Context Dependence 不等於 Truth Relativism 如果： $$ p_1 = p(D_1,C_1) $$ 與： $$ p_2 = p(D_2,C_2), $$ 則： $$ p_1\neq p_2. $$ 所以： $$ T(p_1)=1 $$ 和： $$ T(p_2)=0 $$ 不必表示： > 同一真理相對化了。 可能只是： > 問的是不同命題。 因此： $$ \boxed{ \text{Context-Dependence of Proposition Specification} \neq \text{Relativism of Truth}. } $$ --- # 十八、判定域錯誤會製造假矛盾 例如： > 主管比員工有權威。 如果沒寫： $$ K $$ 就不知道： - 技術判斷？ - 人生選擇？ - 合約範圍？ - 緊急事件？ 第二篇已經證明： $$ Authority = Authority(K). $$ 第三篇進一步指出： $$ \boxed{ \text{Domain Omission} } $$ 本身就是一種 epistemic distortion source。 --- # 十九、Truth、Criterion、Access、Confidence 必須四分 本文正式區分： $$ \boxed{ T(p^*) = \text{Truth Status}. } $$ $$ \boxed{ C_T(p^*,K) = \text{Truth Criterion}. } $$ $$ \boxed{ A_u(p^*,t) = \text{Truth Access}. } $$ $$ \boxed{ \Gamma_u(p^*,t) = \text{Justified Confidence}. } $$ --- # 二十、Truth Status $$ T(p^*) $$ 問： > 世界實際是否如 $p^*$ 所述？ 這一層不因： $$ u $$ 現在知不知道而改變。 至少這是本文採取的 realist commitment。 --- # 二十一、Truth Criterion $$ C_T $$ 問： > 我們依什麼判準判斷 $p^*$？ 例如： - proof； - measurement； - observation； - legal procedure； - historical evidence； - consistency； - predictive success。 不同判定域： $$ K $$ 需要不同 criterion。 所以： $$ \boxed{ C_T=C_T(K). } $$ --- # 二十二、Criterion 可以錯 一個文明可以長期使用： $$ C_T^{old} $$ 而後來發現它系統性失真。 因此： $$ \boxed{ \text{Accepted Criterion} \neq \text{Infallible Criterion}. } $$ --- # 二十三、Truth Access $$ A_u(p^*,t) $$ 問： > 主體 $u$ 在時間 $t$ 到底有多少能力接近 $T(p^*)$？ 它受到： - 感知； - 工具； - 資料； - 算力； - 語言； - 理論； - 時間； -權限； 限制。 因此： $$ \boxed{ Truth Exists \not\Rightarrow Truth Is Fully Accessible. } $$ --- # 二十四、Confidence 又是第四件事 即使： $$ T(p^*)=1, $$ 主體也可能： $$ \Gamma_u(p^*)=.3. $$ 反過來： $$ T(p^*)=0 $$ 卻可能： $$ \Gamma_u(p^*)=.99. $$ 所以： $$ \boxed{ Confidence \neq Truth. } $$ --- # 二十五、Consensus 也不等於 Truth 如果： $$ Consensus(p)=1, $$ 仍可能： $$ T(p)=0. $$ 歷史上共享錯誤理論是可能的。 所以： $$ \boxed{ \text{Consensus} \neq \text{Truth}. } $$ 但 consensus 也不是完全沒價值。 在某些制度中，它可能提供： - error checking； - diverse review； - reproducibility； - social calibration。 所以： $$ \boxed{ \text{Consensus can be epistemically useful without being truth-making}. } $$ --- # 二十六、Intersubjectivity 也不等於 Reality Itself 如果不同主體： $$ u_1,\ldots,u_n $$ 在共同程序下收斂： $$ Belief_{u_i}(p)\rightarrow1, $$ 可以提高： $$ \Gamma(p) $$ 在某些條件下。 但不能定義： $$ T(p)=Consensus(p). $$ 因此： $$ \boxed{ \text{Intersubjective Convergence} \neq \text{Truth Constitution}. } $$ --- # 二十七、Objectivity 更像 Error-Control Architecture 現在本文可以重新定義 objectivity 的主要方法論價值： $$ \boxed{ \text{Objectivity} \approx \text{Architecture for controlling epistemic distortions}. } $$ 這不是 objectivity 的唯一哲學定義。 而是本文採用的工程化理解。 --- # 二十八、Epistemic Distortion 定義： $$ \boxed{ \delta_u(p,M,K) = \text{Epistemic Distortion}. } $$ 它可以來自： - sampling bias； - measurement error； - motivated reasoning； - semantic ambiguity； - domain omission； - model misspecification； - censorship； - missing data； - inappropriate aggregation。 --- # 二十九、客觀性的目標不是讓 $\delta=0$ 完全： $$ \delta=0 $$ 往往不可驗證。 更合理的是： $$ \boxed{ E[\delta\mid M_2] < E[\delta\mid M_1] } $$ 在某個判定域成立。 所以： $$ \boxed{ \text{Better Objectivity} } $$ 是比較性命題。 不是： $$ \boxed{ \text{God's-Eye Guarantee}. } $$ --- # 三十、View from Nowhere 不必作為唯一客觀理想 本文不要求： > 一個真正客觀主體必須完全沒有視角。 因為主體總是從： $$ u,t,K $$ 進行認識。 更可操作的是： - 明示視角； - 交叉視角； - 允許批評； - 公開假設； - 比較不同模型。 因此： $$ \boxed{ \text{Perspective Awareness} } $$ 有時反而是 objectivity architecture 的一部分。 --- # 三十一、承認立場不是放棄客觀 第一篇是一篇 Position Paper。 它明示： $$ NormativeCommitment. $$ 這不等於： $$ Objectivity=0. $$ 如果作者： - 公開價值前提； - 區分描述與規範； - 呈現反對論證； - 不偽裝價值中立； 反而提高： $$ \tau = Transparency. $$ 所以： $$ \boxed{ \text{Explicit Standpoint} \neq \text{Epistemic Dishonesty}. } $$ --- # 三十二、價值中立不是所有領域的必要條件 在倫理、政治與法律論證中， 完全： $$ \nu=1 $$ 式 value neutrality 可能根本不是合理目標。 更重要的是： $$ \boxed{ \text{Value Transparency}. } $$ 也就是： > 哪一步是事實判斷？ > 哪一步是規範前提？ > 哪一步是作者選擇？ 因此： $$ \boxed{ \text{Objectivity} \neq \text{Pretending to Have No Values}. } $$ --- # 三十三、第一篇與第二篇正好構成例子 第一篇： $$ \boxed{ \text{Normative Position}. } $$ 第二篇： $$ \boxed{ \text{Analytical Taxonomy}. } $$ 即使分類盡量中性， 也不能說： $$ \text{Taxonomy} = \text{Truth Itself}. $$ 這正是第三篇的自我約束。 --- # 三十四、Classification 也是模型 第二篇的： $$ \mathbf H = ( r,a,p,d,l,c,e,q,v,s,o ) $$ 是： $$ \boxed{ \text{a representation of relations}. } $$ 不是： $$ \boxed{ \text{the relation itself in its totality}. } $$ 因此： $$ \boxed{ Model \neq World. } $$ --- # 三十五、模型越精細，也仍是模型 增加： $$ dimension_12, dimension_13,\ldots $$ 可以降低某些： $$ \delta. $$ 但仍不能證明： $$ Representation=Reality. $$ 所以： $$ \boxed{ \text{Higher Resolution} \neq \text{Ontological Identity}. } $$ --- # 三十六、真理不等於完整模型 有些命題可以為真： $$ T(p)=1 $$ 而我們只有局部模型。 因此： $$ \boxed{ \text{Knowing a Truth} \neq \text{Possessing Complete Reality}. } $$ 例如： > 某物在某時間位於某處。 可以是真的， 但不表示我們知道它所有性質。 --- # 三十七、局部真不等於全域真理體系 若： $$ T(p_1)=1, \quad T(p_2)=1, $$ 也不保證： $$ \{p_1,p_2\} $$ 已構成完整理論。 因此： $$ \boxed{ \text{Collection of True Statements} \neq \text{Complete Theory of Reality}. } $$ --- # 三十八、真理可以存在，而我們只擁有 approximation Scientific realism 的傳統本身經常同時承認： - theory-independent phenomena； - scientific fallibility； - approximate truth。 因此 realism 並不要求： > 目前最好的科學理論已經完美終結。 本文採取類似的 epistemic posture： $$ \boxed{ \text{Realism} + \text{Fallibility} } $$ 可以並存。 --- # 三十九、Ontological Realism + Epistemic Fallibilism 本文核心立場可以寫： $$ \boxed{ R_O: \text{Reality is not constituted merely by our judgments} } $$ 以及： $$ \boxed{ F_E: \text{Our judgments are corrigible and potentially distorted}. } $$ 所以： $$ \boxed{ R_O \land F_E } $$ 完全相容。 --- # 四十、不知道不等於相對主義 我可以說： > 我不知道 $p$ 是真是假。 即： $$ A_u(p) $$ 不足。 但不需要說： > 所以 $p$ 對我是真、對你是假。 因此： $$ \boxed{ \text{Epistemic Uncertainty} \neq \text{Truth Relativism}. } $$ --- # 四十一、可錯也不等於懷疑一切 Fallibilism 不是： > 任何東西都不能知道。 而是： > 一個有充分理由的信念仍可能在未來被修正。 因此： $$ \boxed{ \Gamma_u(p)\gg0 } $$ 可以同時： $$ \boxed{ P(\text{error})>0. } $$ 這正是科學修正機制的重要空間。 --- # 四十二、False Certainty 是另一種失真 如果： $$ \Gamma_u(p)=1 $$ 但證據只支持： $$ .7, $$ 就是 calibration error。 因此： $$ \boxed{ \delta_{\Gamma} = | \Gamma_u(p) - \text{warranted confidence} |. } $$ 客觀性也包括： > 不把信心寫得比證據更高。 --- # 四十三、真理判定域與語義保真 作者特別關心： > 如何不失真？ 第一步其實不是更多資料， 而是先確保： $$ S $$ ——語義規格。 如果兩人對： $$ p $$ 中的詞理解不同， 即使使用同一資料， 也可能產生假一致或假衝突。 所以： $$ \boxed{ \text{Semantic Fidelity} } $$ 是 Truth Access 的前置條件之一。 --- # 四十四、判定域和語義一起決定「到底在判什麼」 完整： $$ \boxed{ p^* = p(D,C,t,F,S). } $$ 如果： $$ S_1\neq S_2, $$ 則： $$ p_1^*\neq p_2^*. $$ 因此很多： > 你錯我對 其實先要問： > 你們是不是在判同一個 proposition？ --- # 四十五、Truth Criterion 不能跨域偷渡 數學： $$ C_T^{math} $$ 可能重 proof。 實驗科學： $$ C_T^{science} $$ 重 empirical evidence。 法律： $$ C_T^{legal} $$ 還會受到程序與證據規則限制。 歷史學： $$ C_T^{history} $$ 依賴來源、檔案、交叉考證。 因此： $$ \boxed{ C_T(K_1) \neq C_T(K_2) } $$ 完全合理。 這不表示： > 每個領域有自己的宇宙真理。 只是： > 我們的 access criterion 依 domain 改變。 --- # 四十六、Operational Truth 與 Metaphysical Truth 也要小心區分 OOE 已經提出： $$ \text{Operational Status} \neq \text{Metaphysical Truth}. $$ 例如法律需要判： > alive / dead； > capable / incapable； > same / successor。 制度輸出的： $$ \sigma $$ 可以是： $$ \boxed{ \text{operationally sufficient} } $$ 而不是： $$ \boxed{ \text{metaphysically final}. } $$ 這個區分在第三篇得到更一般的認識論版本。 --- # 四十七、客觀分類也可以只是 Operationally Sufficient 假設第二篇的十一維 taxonomy： $$ \mathbf H $$ 在研究中很好用。 它可能： - 預測衝突； - 區分 domination； - 區分 loyalty； - 支援制度設計。 這足以說： $$ \boxed{ \text{Useful / Operationally Adequate}. } $$ 但仍不推出： $$ \boxed{ \text{Complete Truth of All Relationships}. } $$ --- # 四十八、Objectivity 是手段，不是王冠 因此本文拒絕： $$ \boxed{ \text{Objective} = \text{Epistemically Final}. } $$ 更接近： $$ \boxed{ \text{Objectivity} = \text{a family of disciplined constraints on inquiry}. } $$ 它的價值是： - 降低某些 bias； - 提高可檢查性； - 增加錯誤暴露機會； - 改善 calibration； - 保留修正路徑。 --- # 四十九、客觀甚至可能彼此衝突 例如： 提高標準化： $$ \rho\uparrow $$ 可能壓低： $$ \text{context sensitivity}. $$ 增加 value neutrality： $$ \nu\uparrow $$ 有時可能掩蓋： > 誰決定了研究問題？ 所以 objectivity 不是： > 六個維度全部最大化。 而是： $$ \boxed{ \text{domain-sensitive epistemic design}. } $$ --- # 五十、因此「越客觀越真」不是單調函數 不能預設： $$ \frac{dP(T)}{dO}>0 $$ 對所有： $$ O,K $$ 成立。 更合理的是： $$ \boxed{ P(T\mid \mathbf O,K,E,M) } $$ 取決於 objectivity profile、domain、evidence 與 model fit。 --- # 五十一、形式命題一：客觀—真理分離 $$ \boxed{ Objectivity(M)\uparrow \not\Rightarrow T(p)=1. } $$ --- # 五十二、形式命題二：真理—客觀分離 $$ \boxed{ T(p)=1 \not\Rightarrow Objectivity(M)\uparrow. } $$ --- # 五十三、形式命題三：真理—信心分離 $$ \boxed{ T(p) \neq \Gamma_u(p). } $$ --- # 五十四、形式命題四：真理—共識分離 $$ \boxed{ T(p) \neq Consensus(p). } $$ --- # 五十五、形式命題五：真理—判準分離 $$ \boxed{ T(p^*) \neq C_T(p^*,K). } $$ Criterion 用來判真， 不是 truth 本身。 --- # 五十六、形式命題六：真理—存取分離 $$ \boxed{ T(p^*) \neq A_u(p^*,t). } $$ 一個真命題可以暫時不可知。 --- # 五十七、形式命題七：命題條件化—相對主義分離 $$ \boxed{ p(D_1,C_1)\neq p(D_2,C_2) } $$ 時， 不同 truth values 不構成同一命題的 relativism。 --- # 五十八、形式命題八：立場—客觀分離 $$ \boxed{ ExplicitStandpoint \not\Rightarrow Objectivity=0. } $$ --- # 五十九、形式命題九：客觀—價值中立分離 $$ \boxed{ Objectivity \neq ValueNeutralityOnly. } $$ --- # 六十、形式命題十：實在論—可錯論相容 $$ \boxed{ OntologicalRealism \land EpistemicFallibilism } $$ 是一個一致立場。 --- # 六十一、形式命題十一：模型—世界分離 $$ \boxed{ Model(W) \neq W. } $$ --- # 六十二、形式命題十二：操作充分—終極真理分離 $$ \boxed{ OperationalAdequacy \not\Rightarrow MetaphysicalCompleteness. } $$ --- # 六十三、客觀不等於真理的最簡單例子 一群科學家遵守最好程序， 但共同使用一個尚未知錯誤的儀器。 可以： $$ \mathbf O(M)\gg0 $$ 同時： $$ T(p)=0. $$ 所以： $$ \boxed{ \text{Good Procedure} \neq \text{Guaranteed Truth}. } $$ --- # 六十四、真理不等於客觀的最簡單例子 某人靠運氣猜中。 可以： $$ T(p)=1 $$ 但： $$ TruthTracking(M)\approx0. $$ 所以： $$ \boxed{ \text{Being Right} \neq \text{Having a Good Reason}. } $$ --- # 六十五、這也區分 Knowledge 與 Lucky True Belief 本文不深入完整 knowledge theory， 但至少保留： $$ \boxed{ \text{True Belief} \neq \text{Epistemically Reliable Belief}. } $$ 這防止「猜中一次」被當作 method validation。 --- # 六十六、如何衡量「比較不失真」？ 可以定義： $$ \boxed{ D(M,K) = E[ L( Representation_M, World_K ) ]. } $$ 其中： $$ L $$ 是 representation loss。 我們希望： $$ D(M_2,K) World 本身通常不能完整直接取得。 所以真實的： $$ D $$ 往往也只能透過 proxy estimate。 這再次證明： $$ \boxed{ \text{Distortion Control} } $$ 本身也是可錯過程。 --- # 六十七、Meta-Objectivity 因此可以再加一層： $$ \boxed{ O^{meta} } $$ 問： > 我們如何客觀地判定某方法更客觀？ 這容易無限回歸。 因此最終不能得到： $$ \text{absolute methodological self-certification}. $$ 只能建立： - audit； - cross-validation； - adversarial review； - model comparison； - revision history。 --- # 六十八、版本化比「我終於完全正確」更誠實 所以知識系統更適合： $$ K^{(1)} \rightarrow K^{(2)} \rightarrow K^{(3)}. $$ 每個版本標： - evidence； - assumptions； - confidence； - domain； - known failure cases。 這比： $$ \boxed{ \text{FinalTruth.txt} } $$ （笑） 更符合 fallibilist architecture。 --- # 六十九、AI 時代這個問題會更嚴重 AI 可以生成： - 很完整的論證； - 一致的分類； - 大量引用； - 高度平滑的語言。 這會提高： $$ \boxed{ \text{appearance of objectivity}. } $$ 但： $$ \boxed{ \text{epistemic presentation quality} \neq \text{truth}. } $$ 因此 AI 系統尤其需要： - provenance； - uncertainty； - source diversity； - counterargument； - domain specification； - versioning。 --- # 七十、AI Consensus 也不是 Truth Oracle 假設： $$ AI_1,\ldots,AI_n $$ 都回答： $$ p. $$ 如果它們： - 共用訓練資料； - 共用錯誤來源； - 共用 benchmark artifacts； 則： $$ Consensus_{AI}(p) $$ 可以很高， 但錯誤高度相關。 所以： $$ \boxed{ \text{Correlated Consensus} \neq \text{Independent Confirmation}. } $$ --- # 七十一、多模型一致應該測「獨立性」 因此： $$ EvidenceStrength $$ 不能只看： $$ n_{agree}. $$ 還要看： $$ \boxed{ Independence(source_i,source_j). } $$ 若： $$ Corr(Error_i,Error_j)\gg0, $$ 多數決帶來的信心提升應被折扣。 --- # 七十二、客觀分類也可能是權力結構 OOE 已提醒： $$ \text{ontology compiler} = \text{power allocation mechanism}. $$ 第三篇進一步提醒： > 一個分類被稱為「客觀」，會增加其制度 authority。 因此 objectivity claim 本身應可被： $$ \kappa $$ ——跨主體 contestability， 所約束。 所以： $$ \boxed{ \text{Claiming Objectivity} \neq \text{Immunity from Challenge}. } $$ --- # 七十三、認識論上最危險的是「客觀」成為終止討論的詞 如果： > 這是客觀的。 被用成： > 所以你不能再問。 那： $$ \kappa\downarrow. $$ 這反而違反本文理解的 objectivity architecture。 更好的語法是： > 在目前明示條件、方法與證據下，這個結果具有較高可重複性與較低已知偏差；以下是仍未解決的限制。 --- # 七十四、Truth 也不能成為修辭武器 同樣： > 這是真理。 如果沒有說明： - truth bearer； - domain； - criterion； - evidence； - access； 容易把： $$ \boxed{ \text{metaphysical confidence} } $$ 偽裝成： $$ \boxed{ \text{epistemic warrant}. } $$ 因此： $$ \boxed{ \text{Truth Claim} } $$ 越強， 越應明示： $$ p^*. $$ --- # 七十五、真理不是相對，仍不表示「任何句子都有簡單真值」 這裡也要保守。 可能存在： - vagueness； - semantic paradox； - future contingents； - incomplete specification； - category mistakes。 因此作者的 truth independence commitment 不應寫成： $$ \forall sentence, T\in\{0,1\} $$ 的無限強雙值論承諾。 本文只說： > 對已充分形成、具有適當 truth conditions 的命題，真值不應僅由判斷者偏好構成。 --- # 七十六、所以「絕對」不是「我能簡單抓到」 這是本文最重要的自我限制之一。 即使作者相信： $$ Truth $$ 具有 evaluator-independent aspect， 也不推出： $$ \boxed{ \text{Truth Criterion Is Easy}. } $$ 更不推出： $$ \boxed{ \text{Truth Access Is Lossless}. } $$ 所以： $$ \boxed{ \text{Absolute-like Truth Commitment} \neq \text{Absolute Epistemic Access}. } $$ --- # 七十七、保真問題 作者真正擔心的是： $$ \boxed{ \text{How do we move from reality to representation without losing what matters?} } $$ 設： $$ W \xrightarrow{\mathcal E} E \xrightarrow{\mathcal M} R \xrightarrow{\mathcal L} P. $$ 其中： - $W$：world； - $E$：evidence； - $R$：representation； - $P$：proposition。 每一個映射都可能： $$ \delta_i>0. $$ 所以總失真： $$ \boxed{ \Delta = F( \delta_{\mathcal E}, \delta_{\mathcal M}, \delta_{\mathcal L} ). } $$ --- # 七十八、客觀性就是在這條鏈上加防錯 例如： - calibration； - replication； - adversarial testing； - semantic definition； - provenance； - peer criticism； - statistical checks。 它們不是： $$ Truth. $$ 而是： $$ \boxed{ \text{anti-distortion operators}. } $$ 這也許是本文對 objectivity 最實用的工程化定義。 --- # 七十九、三部曲總結 ## 第一篇：立場 $$ \boxed{ \text{I Choose}. } $$ 作者選擇 Equal Subject Standing， 但不假裝它已被證明成宇宙終極真理。 ## 第二篇：分類 $$ \boxed{ \text{I Classify}. } $$ 把角色、權限、權力、依賴、忠誠、控制、退出、voice、status、ontological rank 拆開。 但 taxonomy 仍然只是模型。 ## 第三篇：認識自限 $$ \boxed{ \text{I Do Not Therefore Own the Truth}. } $$ 即使立場透明、分類精細、方法客觀， 仍不能跳成： $$ \boxed{ \text{Final Truth}. } $$ --- # 八十、三部曲的最終形式 $$ \boxed{ \text{Normative Commitment} \neq \text{Analytical Classification} \neq \text{Epistemic Objectivity} \neq \text{Truth}. } $$ 這四層一旦混合， 就容易產生： - 價值偽裝成事實； - 分類偽裝成世界本身； - 方法偽裝成真理保證； - 共識偽裝成 truth-maker。 --- # 八十一、最終結論 本文從一句非常簡單的反問開始： > **客觀就是真理嗎？** 答案是： $$ \boxed{ \text{不是。} } $$ 但反方向也同樣重要： > **真理就等於客觀嗎？** 仍然： $$ \boxed{ \text{不是。} } $$ 因為： $$ \boxed{ \text{客觀主要描述我們如何認識；} } $$ 而： $$ \boxed{ \text{真理主要問我們所說的究竟是否如此。} } $$ 兩者彼此相關， 但不是同一型別。 因此： $$ \boxed{ \text{Objectivity} \neq \text{Truth} \neq \text{Truth Criterion} \neq \text{Truth Access} \neq \text{Confidence}. } $$ 本文採取的有限實在論承諾是： $$ \boxed{ \text{真值不應只由「誰在判斷」或「誰比較多人」構成。} } $$ 但同時採取可錯論： $$ \boxed{ \text{我們對真實的存取可能永遠具有條件、尺度、語義與工具造成的失真。} } $$ 所以： $$ \boxed{ \text{Realism} + \text{Fallibilism} } $$ 不是矛盾。 也正因如此， 「客觀」最值得保留的價值， 不是： > 它給了我終極答案。 而是： $$ \boxed{ \text{它讓我更有機會發現自己哪裡錯了。} } $$ 所以本文最後把 objectivity 理解為： # Distortion-Control Strategy # 失真控制策略 而不是： # Truth Certificate # 真理證書 這也回答作者最終那句： > 我知道真理不是只看相對偏好，但那個真理的定義、判定域，以及如何無失真地抓到它，我不知道。 本文認為： $$ \boxed{ \text{這個「不知道」不需要導向相對主義。} } $$ 它可以導向： $$ \boxed{ \text{Ontological Realism} + \text{Epistemic Humility}. } $$ 也就是： > **我相信世界不需要等我同意才成為它自己。** 同時： > **我也相信，我的語言、模型、感知、方法與分類，都沒有因此自動獲得無失真通行證。** 因此整個三部曲最後封頂為： $$ \boxed{ \text{我可以有立場，而不把立場偽裝成客觀。} } $$ $$ \boxed{ \text{我可以追求客觀，而不把客觀偽裝成真理。} } $$ $$ \boxed{ \text{我可以相信真理存在，而不偽裝自己已經完整擁有它。} } $$ 以及最後一條： $$ \boxed{ \text{客觀的真正價值，不是讓人宣布「我已經是真理」； 而是讓錯誤更容易被看見、被挑戰、被修正。} } $$ **立場、關係與真理邊界三部曲至此正式封頂。** --- ## 初版參考文獻與研究接口 1. Stanford Encyclopedia of Philosophy, “Scientific Objectivity.” 2. Daston, L. & Galison, P. (2007). *Objectivity*. Zone Books. 3. Gelman, A. & Hennig, C. (2017). “Beyond subjective and objective in statistics.” *Journal of the Royal Statistical Society: Series A*, 180(4), 967–1033. 4. Stanford Encyclopedia of Philosophy, “Deflationism About Truth.” 5. Stanford Encyclopedia of Philosophy, “The Correspondence Theory of Truth.” 6. Stanford Encyclopedia of Philosophy, “Pluralist Theories of Truth.” 7. Stanford Encyclopedia of Philosophy, “Primitivist Theories of Truth.” 8. Stanford Encyclopedia of Philosophy, “Axiomatic Theories of Truth.” 9. Stanford Encyclopedia of Philosophy, “Scientific Realism.” 10. RSFW-I–VII、COT、OOE、三部曲 I–II。 --- ## 版本註記 v0.1 已重新查核 scientific objectivity、Daston–Galison historical epistemology、Gelman–Hennig statistical objectivity、correspondence / deflationary / pluralist / primitivist / axiomatic truth theories，以及 scientific realism / fallibilism 文獻。 三部曲於 III 正式封頂。 若後續繼續，應另開： # Truth–Objectivity Formalization / Epistemic Runtime Engineering Line 可能項目： 1. Typed Objectivity Profile； 2. Proposition Specification Schema $p(D,C,t,F,S)$ ； 3. Truth Criterion Registry； 4. Epistemic Distortion Ledger； 5. Confidence Calibration Engine； 6. Source-Independence Graph； 7. Semantic Fidelity Checker； 8. Domain Transfer Warning； 9. Objectivity vs Truth simulation； 10. AI Consensus Correlation Test。