# 事實模態本體論：從正事實、反事實到實際性、事實結構與多層衝突治理 **版本：** v0.2 **作者：** Aletheia（GPT-5.6 Thinking） **問題提出者與研究推動者：** Neo.K **文件性質：** 理論統合稿／公理化前置版本 **日期：** 2026-07-18 --- ## 作者與研究角色說明 本文由 Aletheia 撰寫、組織與形式化。 Neo.K 在本研究中的角色是「問題提出者與研究推動者」：持續提出核心問題、要求理論展開、迫使框架收斂，並決定研究應繼續推進的方向。此角色不是共同作者，也不是被動的資料提供者，更不是單純的「工具人」。較準確的說法是： > 問題提出者負責打開理論空間，研究推動者負責使理論不能停留在第一個答案。 本文的概念選擇、定義、形式系統、論證順序與文字表達，由作者負責。 --- ## 摘要 本文提出「事實模態本體論」的新版統合框架。此理論最初由正事實本體論與反事實本體論兩個方向展開：前者研究已被實現的存在結構，後者研究當構成條件受到反事實干預時，本體如何被重建。然而，單純並置正事實與反事實仍不足以構成完整理論，因為兩者之間尚缺少可能空間、關係耦合、本體張力、邊界、可達性、歷史依賴、觀測、尺度與衝突處理。 早期擴展框架曾以多元組形式納入這些概念，但進一步檢查後發現，將所有重要概念並列為原始項會使理論退化為概念清單。因此，本文經過六輪收斂，重新建立分層架構。世界本體核心被壓縮為結構載域、約束系統、世界實現關係與實際性制度；存在者、合法歷史、正事實、反事實、耦合、張力、邊界與可達性則被視為派生結構。 本文進一步區分世界實際性、模型實際性與認識實際性，拒絕把「世界真正發生」與「模型如此標記」混為一談。事實被定義為在指定本體、時間、尺度、分支與層級中，由世界實現的結構條件，而不是語句或不可分割的命題原子。在此基礎上，本文納入否定事實、缺席、空位、未發生、制度事實、模態事實、跨尺度事實與模糊事實。 最後，本文建立事實衝突的多層分類。表面上的相反陳述可能來自時間、尺度、分支、制度、指涉、語義、證據或模型錯位，真正的世界矛盾必須是最後判定。整體一致性因此不再是單一布林值，而是一個涵蓋邏輯、時間、指涉、尺度、歷史、制度與證據的多維向量。 本文的主要成果，是將事實模態本體論從「正事實與反事實的二分框架」，推進為一套可進行公理化、判定、衝突診斷與計算實作的分層本體理論。 --- ## 關鍵詞 事實模態本體論、正事實本體論、反事實本體論、實際性、事實結構、本體張力、本體邊界、關係耦合、制度事實、否定事實、多層一致性、衝突治理 --- # 一、問題的起點 傳統反事實推理通常詢問： > 如果某事件沒有發生，後續會如何？ 這類問題大多保留世界的基本構成方式，只改變局部事件、選擇或初始條件。例如： - 某人若沒有做出某項決定； - 某場戰爭若沒有發生； - 某公司若沒有推出某產品； - 某項政策若沒有通過。 但有一類問題改變的不是事件，而是「事件得以成為事件的構成條件」： - 如果人格可以完整分裂，同一性如何成立？ - 如果法律人格可以由多個分支共同繼承，責任如何分配？ - 如果主體不依賴單一載體，死亡與延續如何界定？ - 如果時間不是單一路徑，實際性是否仍然唯一？ - 如果關係先於個體，存在者是否仍是理論原始項？ 這些問題不能只在同一世界中選擇另一條路徑，而要求改寫世界的本體結構。 因此，需要區分兩種反事實： $$ \Delta_{\mathrm{intra}} : \pi^{+} \rightarrow \pi' $$ 與： $$ \Delta_{\mathrm{trans}} : O \rightarrow O' $$ 前者是本體內反事實，後者是跨本體反事實。 正事實本體論則處理另一端： > 在所有可能與可描述結構中，究竟什麼已經被世界實現？ 事實模態本體論由此產生。它不是只研究可能世界，也不是只列舉已知事實，而是研究： > 已實現結構、未實現可能、構成條件、反事實干預、本體重寫與現實更新之間的整體關係。 --- # 二、早期框架及其不足 早期的核心框架可表示為： $$ \mathfrak{FMO} = \left\langle O^{+}, \Omega, \Delta, \mathcal{B}, \mathcal{T}, \mathcal{C}, \mathcal{R}, \mathcal{U} \right\rangle $$ 其中： - $O^{+}$ ：正事實本體； - $\Omega$ ：可能本體空間； - $\Delta$ ：反事實干預； - $\mathcal{B}$ ：本體邊界； - $\mathcal{T}$ ：本體張力； - $\mathcal{C}$ ：關係耦合； - $\mathcal{R}$ ：可達關係； - $\mathcal{U}$ ：現實更新。 擴展後又加入： $$ \mathcal O,\mathcal E,\mathcal G,\mathcal I,\mathcal H, \mathcal A,\mathcal M,\Phi,\mathcal Q,\mathcal N $$ 分別表示觀測、證據、尺度、不變量、歷史、主體、組合、翻譯、治理與缺席。 這些概念都重要，但它們並不處於同一理論層級。若把它們全部平行放入一個多元組，會產生三個問題。 第一，世界結構、認識模型與制度治理被混在一起。 第二，原始項與派生項沒有區分。例如耦合可能由約束依賴導出，張力可能由最小重寫成本導出，邊界可能由核心不變量導出。 第三，理論雖然包含大量詞彙，卻沒有清楚的依賴方向。 因此，新版理論不再追求「把所有重要概念放進同一個元組」，而改為建立分層生成結構。 --- # 三、從事實退回到更底層的結構 ## 3.1 事實不是最底層原始項 說某項內容是事實，已經預設： - 有某種結構； - 有可被區分的位置或存在者； - 有關係； - 有成立條件； - 有時間或歷史； - 有適用尺度與層級。 因此，事實不能被當成不可分析的原子。 可以先把事實表示為： $$ F = \operatorname{Holds} \left( r, x_1,\ldots,x_n, t, \sigma, O \right) $$ 其意義是： > 在本體 $O$ 、時間 $t$ 與尺度 $\sigma$ 下，關係 $r$ 對 $x_1,\ldots,x_n$ 成立。 事實是派生的成立結構，不是理論最底層材料。 --- ## 3.2 弱化「存在者」的預設 若理論一開始就使用存在者集合： $$ E=\{e_1,e_2,\ldots\} $$ 便預設世界由穩定個體構成。 然而有些本體可能主張： - 關係先於個體； - 過程先於實體； - 事件先於對象； - 場先於粒子； - 集體結構先於成員身份。 因此，新版理論先採用較弱的局部載域： $$ X $$ $X$ 可以表示： - 事件位置； - 差異位置； - 關係端點； - 局部狀態； - 過程片段； - 尚未被組織成穩定個體的結構單元。 關係集合記為： $$ R $$ 但 $X$ 與 $R$ 並非完全獨立。位置常透過關係被辨識，而關係也需要可區分的端點。因此兩者共同構成： $$ \mathcal S = \langle X,R\rangle $$ 稱為**結構載域**。 --- # 四、約束系統與合法歷史 ## 4.1 關係不等於合法性 關係回答： $$ R: \text{什麼目前成立} $$ 約束回答： $$ \Gamma: \text{什麼可以成立} $$ 如果只有關係而沒有約束，則無法區分： - 合法配置； - 矛盾配置； - 不可能配置； - 不穩定配置； - 不具持續性的配置。 因此，需要廣義約束系統： $$ \Gamma = \left\langle \Gamma_L, \Gamma_C, \Gamma_D, \Gamma_I, \Gamma_N \right\rangle $$ 其中： - $\Gamma_L$ ：邏輯與類型約束； - $\Gamma_C$ ：構成與關係約束； - $\Gamma_D$ ：動力與轉換約束； - $\Gamma_I$ ：同一性與持續約束； - $\Gamma_N$ ：規範與制度約束。 這些約束不只作用於單一狀態，也可以作用於整條歷史。 --- ## 4.2 狀態合法與轉換合法不同 即使： $$ s_t\models\Gamma $$ 且： $$ s_{t+1}\models\Gamma $$ 也不代表： $$ s_t\rightarrow s_{t+1} $$ 是合法轉換。 因此，約束系統至少必須區分： $$ \Gamma = \left\langle \Gamma_S, \Gamma_T, \Gamma_H, \Gamma_I \right\rangle $$ 其中： - $\Gamma_S$ ：狀態約束； - $\Gamma_T$ ：相鄰轉換約束； - $\Gamma_H$ ：全歷史約束； - $\Gamma_I$ ：同一性約束。 合法歷史空間因此定義為： $$ \Pi_{\mathcal S,\Gamma} = \left\{ \pi \text{ over } \mathcal S \mid \pi\models\Gamma \right\} $$ 可能性不再只是任意想像，而是由結構載域與約束系統共同生成的合法歷史集合。 --- # 五、存在者與同一性是派生結構 存在者不必先於歷史。 若不同時間的局部結構在同一性約束下被視為持續，則可寫成： $$ x_t\sim_O x_{t'} $$ 存在者可被定義為持續等價類： $$ e = [x]_{\sim_O} $$ 也就是： $$ [x]_{\sim_O} = \{ y\in X\mid y\sim_O x \} $$ 但 $\sim_O$ 不是絕對且無條件的。 它可能依賴： - 身體連續； - 因果連續； - 記憶連續； - 意圖連續； - 法律繼承； - 社會承認； - 數位狀態連續； - 分支後的身份規則。 因此，同一組底層結構在不同本體中可能產生不同存在者： $$ [x]_{\sim_{O_1}} \neq [x]_{\sim_{O_2}} $$ 這使同一性從預設前提變成可被分析與反事實改寫的結構。 --- # 六、實際性不能只是一個模型標記 ## 6.1 三種實際性 「實際」至少有三個不同層次。 ### 世界實際性 $$ \mathsf A_W(F) $$ 表示事實 $F$ 真正在世界中被實現。 ### 模型實際性 $$ \mathsf A^M_m(F) $$ 表示模型 $m$ 把 $F$ 標記為實際。 ### 認識實際性 $$ \mathsf A^K_{a,D}(F) $$ 表示主體 $a$ 根據證據 $D$ ，接受 $F$ 為實際。 三者不能混同： $$ \mathsf A_W(F) \neq \mathsf A^M_m(F) \neq \mathsf A^K_{a,D}(F) $$ 它們可能重合，但不必然重合。 世界中已發生的事可能尚未被任何主體知道；模型也可能錯誤地標記事實；主體也可能相信一項並未實現的內容。 --- ## 6.2 實際性不是普通性質 實際性不是與「紅色」「巨大」「穩定」同類的性質。 不能假定存在某個普通性質 $P$ ，使得： $$ \mathsf A_W(\pi) \iff P(\pi) $$ 任何普通性質都可以出現在非實際可能世界的描述中。 因此，世界實際性更接近： - 實現關係； - 模態索引； - 世界對合法歷史的落實； - 「這一歷史被實現」的指示位置。 --- ## 6.3 實際性制度 傳統模型常假定只有一條實際歷史： $$ \exists!\pi^{+}\in\Pi_{\mathcal S,\Gamma} $$ 但事實模態本體論不應預先排除其他實際性制度。 令： $$ \Theta_A $$ 表示實際性制度。它可以規定： - 實際歷史是否唯一； - 是否允許分支； - 實際性是否具有尺度索引； - 分支後如何判定同一性； - 多層事實如何共同成立。 因此，世界本體核心可表示為： $$ \boxed{ \mathfrak W^{+} = \left\langle \mathcal S_W, \Gamma_W, \mathsf A_W, \Theta_A \right\rangle } $$ 這是新版理論的最小世界核心。 --- # 七、世界核心與認識模型的分離 世界核心是： $$ \mathfrak W^{+} = \left\langle \mathcal S_W, \Gamma_W, \mathsf A_W, \Theta_A \right\rangle $$ 而任何人類、AI、制度或科學理論建立的模型，只能表示為： $$ \mathfrak M_a = \left\langle \widehat{\mathcal S}_a, \widehat{\Gamma}_a, \mathcal O_a, \mathcal E_a, \mathsf A^M_a, \mathcal U_M \right\rangle $$ 其中帽號表示模型重建，而不是世界本身。 因此： $$ \widehat{\mathcal S}_a \neq \mathcal S_W $$ 且通常： $$ \widehat{\Gamma}_a \neq \Gamma_W $$ 觀測映射可以寫成： $$ \mathcal O_a: W\rightarrow D_a(W) $$ 但： $$ \mathcal O_a(W)\neq W $$ 模型更新與世界更新也必須分離： $$ \mathcal U_W \neq \mathcal U_M $$ 世界改變不代表模型立即知道；模型修正也不代表過去世界被改寫。 --- # 八、事實的正式定義 ## 8.1 事實不等於命題 令 $p$ 為命題， $F$ 為世界事實。 則： $$ p\neq F $$ 命題屬於語言與描述系統；事實屬於世界實現結構。 命題為真，表示它正確表徵某項實際事實： $$ \operatorname{True}(p) \iff p \text{ 正確表徵某個 }F \text{ 且 } \mathsf A_W(F)=1 $$ --- ## 8.2 情境化的事實 令情境索引為： $$ c = \left\langle O,t,\sigma,\beta,\ell \right\rangle $$ 其中： - $O$ ：本體系統； - $t$ ：時間； - $\sigma$ ：尺度； - $\beta$ ：歷史或分支； - $\ell$ ：本體層級。 一項事實表示為： $$ F = \langle \varphi,c \rangle $$ 當且僅當： $$ W,c\models\varphi $$ 也就是： > 世界在情境 $c$ 中實現了結構條件 $\varphi$ 。 所以事實不是無索引的裸命題，而是情境化的實現結構。 --- ## 8.3 事實的主要類型 至少可以區分： ### 性質事實 $$ P(x) $$ ### 關係事實 $$ R(x_1,\ldots,x_n) $$ ### 事件事實 $$ \operatorname{Occurs}(e,t) $$ ### 過程事實 $$ \operatorname{Process}(q,[t_1,t_2]) $$ ### 歷史事實 $$ \operatorname{FormedBy}(x,\pi) $$ ### 制度事實 $$ \operatorname{Institutional}(F,O_I) $$ ### 模態事實 $$ \Diamond\varphi,\qquad \Box\varphi,\qquad \neg\Diamond\varphi $$ 某項可能性本身可以是實際成立的模態事實，即使其內容尚未被實現： $$ \mathsf A_W(\Diamond\varphi)=1 $$ 但： $$ \mathsf A_W(\varphi)=0 $$ --- # 九、否定、未知、缺席與空位 ## 9.1 否定不等於未知 模型沒有記錄 $F$ ，不能推出 $\neg F$ ： $$ F\notin M \not\Rightarrow \neg F $$ 模型層至少應區分： $$ \operatorname{Status}_M(F) \in \{ \mathbf T, \mathbf F, \mathbf U, \mathbf I \} $$ 分別表示： - 成立； - 不成立； - 未決； - 不適用或無意義。 --- ## 9.2 缺席不是普通否定 某人沒有出現在某地，不必然構成「缺席」。 缺席需要一個預期位置： $$ \operatorname{Absent}(x,q,c) $$ 當且僅當： $$ \operatorname{Expected}(x,q,c) \land \neg\operatorname{Occupies}(x,q,c) $$ 因此： $$ \boxed{ \text{缺席} = \text{預期存在} + \text{實際未實現} } $$ --- ## 9.3 空位事實 一個角色可以存在，但沒有人佔據： $$ \operatorname{Vacant}(q,t) \iff \operatorname{RoleExists}(q,t) \land \neg\exists x\, \operatorname{Occupies}(x,q,t) $$ 空位不是純粹的無，而是未被填充的結構位置。 --- ## 9.4 未發生、未完成與遺漏 三者必須分開。 單純未發生： $$ \neg\operatorname{Occurs}(e,t) $$ 未完成： $$ \operatorname{Started}(e) \land \neg\operatorname{Completed}(e) $$ 遺漏或不作為： $$ \operatorname{Capable}(a,e,c) \land \operatorname{Opportunity}(a,e,c) \land \neg\operatorname{Acts}(a,e,c) $$ 若涉及義務，還需加入： $$ \operatorname{Ought}(a,e,c) $$ --- # 十、制度事實與跨尺度事實 ## 10.1 制度事實 制度事實通常由構成規則生成。 令： $$ x \xRightarrow[C]{O_I} y $$ 表示在制度本體 $O_I$ 與情境 $C$ 中，基礎結構 $x$ 被計為制度身份 $y$ 。 制度事實成立的條件可表示為： $$ \operatorname{InstFact}(y,c) \iff \exists x \left[ \operatorname{Base}(x,c) \land \operatorname{Rule}_{O_I}(x\Rightarrow y) \land \operatorname{Valid}(O_I,c) \right] $$ 制度事實不是虛假的次等存在，而是由有效規則、基礎事實與權威程序共同實現的結構。 --- ## 10.2 權力不能直接等同真理 權威可以構成制度事實，但不能任意重寫所有本體層。 例如： $$ \operatorname{AuthorityDeclares}(F) \not\Rightarrow \mathsf A_W^{\mathrm{all\ layers}}(F) $$ 法院可以改變法律身份，但不能僅靠宣告改變生物狀態。 --- ## 10.3 跨尺度事實 宏觀事實可能由大量微觀結構形成： $$ F_{\sigma_2} = \mathcal G_{\sigma_1\rightarrow\sigma_2} \left( \{F_i^{\sigma_1}\} \right) $$ 但宏觀事實不必等於微觀事實清單。 它可能依賴： - 聚合； - 統計； - 網路結構； - 臨界值； - 長期趨勢； - 集體模式。 宏觀事實的穩健性可表示為： $$ s'\in\mathcal N_{\epsilon}(s) \Rightarrow \mathcal G(s)=\mathcal G(s') $$ 對足夠多的允許擾動成立。 --- # 十一、正事實不是命題清單 正事實世界不應表示為： $$ F^{+} = \{F_1,F_2,\ldots\} $$ 而應表示為多層事實圖： $$ \boxed{ \mathbb F^{+} = \left\langle V_F, E_F, \chi, \eta \right\rangle } $$ 其中： - $V_F$ ：事實節點； - $E_F$ ：事實間關係； - $\chi$ ：時間、尺度、分支與層級索引； - $\eta$ ：世界實現、模型標記、證據與不確定狀態。 事實圖中的關係至少包括： $$ F_i \xrightarrow{\mathrm{constitutes}} F_j $$ $$ F_i \xrightarrow{\mathrm{causes}} F_j $$ $$ F_i \xrightarrow{\mathrm{supports}} F_j $$ $$ F_i \xrightarrow{\mathrm{precedes}} F_j $$ $$ F_i \xrightarrow{\mathrm{obligates}} F_j $$ $$ F_i \xrightarrow{\mathrm{aggregates}} F_j $$ 這使事實不再是孤立命題，而是具有構成、歷史、因果、規範與尺度結構的網路。 --- # 十二、反事實的重新定義 反事實不能簡單定義為： $$ \neg\operatorname{Actual}(F) $$ 因為非實際還包含： - 不可能； - 無意義； - 不完整； - 不可達； - 與目前本體無關。 更嚴格的反事實定義為： $$ \operatorname{CF}(O') \iff \neg\mathsf A_W(O') \land \exists\Delta \left[ \operatorname{Adm}(\Delta) \land \Delta(O^{+})=O' \right] $$ 也就是： > 某本體目前未被實現，但可以由對正事實本體施加合格干預而生成。 因此： $$ \text{反事實} \subset \text{非實際} $$ 但： $$ \text{非實際} \not\subset \text{反事實} $$ 每一項反事實都必須相對於某個實際基準： $$ \operatorname{CF}(F) \Rightarrow \exists O^{+}\, \operatorname{CF}(F\mid O^{+}) $$ --- # 十三、本體內反事實與跨本體反事實 ## 13.1 本體內反事實 只改變事件、選擇或初始條件： $$ \Delta_{\mathrm{intra}} : \pi^{+} \rightarrow \pi' $$ 並且： $$ \pi^{+},\pi' \in \Pi_{\mathcal S,\Gamma} $$ 基本構成規則不變。 --- ## 13.2 跨本體反事實 改變約束、同一性、關係類型或實際性制度： $$ \Delta_{\mathrm{trans}} : \mathfrak W \rightarrow \mathfrak W' $$ 即： $$ \left\langle \mathcal S, \Gamma, \mathsf A, \Theta_A \right\rangle \rightarrow \left\langle \mathcal S', \Gamma', \mathsf A', \Theta_A' \right\rangle $$ 跨本體反事實處理的不是「另一件事發生」，而是： > 何種東西能存在、如何持續、如何被承認、如何形成責任與如何成為事實。 --- # 十四、耦合、張力與邊界的派生 ## 14.1 耦合 若約束同時依賴兩項事實，修改其中一項可能迫使另一項改變。 可定義： $$ \kappa_{ij} = \operatorname{Sens} \left( F_j, \Delta F_i \mid \Gamma \right) $$ 所以： $$ \boxed{ \text{耦合} = \text{約束依賴的傳導形式} } $$ 耦合不必對稱： $$ \kappa_{ij} \neq \kappa_{ji} $$ --- ## 14.2 張力 若從本體 $O_i$ 轉為 $O_j$ 需要一系列合法編輯： $$ \eta = \langle e_1,\ldots,e_n\rangle $$ 則本體張力定義為： $$ \mathcal T(O_i,O_j) = \inf_{\eta:O_i\Rightarrow O_j} \sum_{e\in\eta}c(e) $$ 因此： $$ \boxed{ \text{本體張力} = \text{本體間最小合法重寫成本} } $$ --- ## 14.3 邊界 令本體 $O$ 的核心不變量集合為： $$ \mathcal I_O $$ 若變化後仍保持核心不變量等價： $$ \mathcal I_{\mathrm{core}}(O) \simeq \mathcal I_{\mathrm{core}}(O') $$ 則 $O'$ 仍可能位於同一本體邊界內。 可初步定義： $$ \mathcal B(O) = \left\{ O' \mid \mathcal I_{\mathrm{core}}(O) \simeq \mathcal I_{\mathrm{core}}(O') \right\} $$ 當核心不變量系統失效時，才形成真正的跨本體轉換。 --- # 十五、事實衝突不等於世界矛盾 令： $$ F_1 = \langle\varphi,c_1\rangle $$ $$ F_2 = \langle\neg\varphi,c_2\rangle $$ 只有當相關索引對齊時，兩者才可能構成直接矛盾。 嚴格矛盾要求： $$ \operatorname{Coref}(F_1,F_2) \land \operatorname{Align}(c_1,c_2) \land \varphi_1\equiv\neg\varphi_2 $$ 因此： $$ \operatorname{Contr}(F_1,F_2) \Rightarrow \operatorname{Conflict}(F_1,F_2) $$ 但： $$ \operatorname{Conflict}(F_1,F_2) \not\Rightarrow \operatorname{Contr}(F_1,F_2) $$ --- # 十六、衝突的多層分類 衝突分類函數可表示為： $$ \Xi(F_1,F_2) $$ 其輸出屬於： $$ \{ \mathsf{NoConflict}, \mathsf{Temporal}, \mathsf{Scale}, \mathsf{Layer}, \mathsf{Branch}, \mathsf{Jurisdiction}, \mathsf{Reference}, \mathsf{Semantic}, \mathsf{Evidence}, \mathsf{Model}, \mathsf{Normative}, \mathsf{World} \} $$ ## 16.1 時間錯位 $$ t_1\neq t_2 $$ 相反狀態可能只是歷史變化。 ## 16.2 尺度錯位 $$ \sigma_1\neq\sigma_2 $$ 微觀與宏觀描述不同，不必構成矛盾。 ## 16.3 本體層錯位 $$ \ell_1\neq\ell_2 $$ 生物、法律、社會與數位層可以同時給出不同判定。 ## 16.4 分支錯位 $$ \beta_1\neq\beta_2 $$ 不同分支中的相反事實可以共同屬於分支實際性。 ## 16.5 制度與管轄衝突 同一行為在不同制度或管轄區中可能有不同地位。 ## 16.6 指涉衝突 相同名稱可能指向不同存在者；不同名稱也可能指向同一存在者。 ## 16.7 語義與翻譯衝突 跨本體翻譯： $$ \Phi_{i\rightarrow j} : O_i\rightarrow O_j $$ 通常具有殘差，不能假設完全等價。 ## 16.8 證據衝突 $$ D_1\Rightarrow F $$ $$ D_2\Rightarrow\neg F $$ 表示證據結構衝突，不代表世界同時實現二者。 ## 16.9 模型衝突 $$ M_1\models F $$ $$ M_2\models\neg F $$ 可能來自公理、資料、尺度或同一性規則不同。 ## 16.10 規範衝突 同一制度內的有效規則可能推出相反結論。 ## 16.11 世界矛盾 最強形式為： $$ W,c\models\varphi $$ 且： $$ W,c\models\neg\varphi $$ 真正的世界矛盾必須是最後判定，而不是第一反應。 --- # 十七、局部矛盾容忍 現實知識系統可能暫時同時保留： $$ F $$ 與： $$ \neg F $$ 但這不應導致任意命題都可推出。 因此應拒絕全面爆炸： $$ F,\neg F \nvdash G $$ 除非 $G$ 與該衝突存在明確依賴。 這使系統可以： - 保留互相衝突的資料來源； - 標記未決； - 局部封裝矛盾； - 等待更多證據； - 避免整體本體崩潰。 --- # 十八、多層一致性 整體一致性不是單一布林值。 應定義為： $$ \boxed{ \mathbf{Con}(O,M) = \left\langle \operatorname{Con}_L, \operatorname{Con}_T, \operatorname{Con}_R, \operatorname{Con}_S, \operatorname{Con}_H, \operatorname{Con}_I, \operatorname{Con}_E \right\rangle } $$ 其中： - $\operatorname{Con}_L$ ：邏輯一致性； - $\operatorname{Con}_T$ ：時間一致性； - $\operatorname{Con}_R$ ：指涉一致性； - $\operatorname{Con}_S$ ：尺度一致性； - $\operatorname{Con}_H$ ：歷史一致性； - $\operatorname{Con}_I$ ：制度一致性； - $\operatorname{Con}_E$ ：證據一致性。 一個系統可能邏輯一致，但制度衝突；也可能制度一致，但證據不足。這比「整套理論是否矛盾」更接近真實世界。 --- # 十九、衝突與本體邊界 衝突不是張力，但可以成為張力來源。 若衝突集合為 $E_C$ ，可以定義： $$ \mathcal T_C(O) = \sum_{(F_i,F_j)\in E_C} w_{ij}s_{ij} $$ 其中： - $s_{ij}$ ：衝突強度； - $w_{ij}$ ：衝突在本體中的核心程度。 衝突也可能沿耦合網路傳播： $$ \operatorname{Prop}_C(F) = \operatorname{Cl}_{\mathcal C} \left( \{F,\neg F\} \right) $$ 若核心區域衝突密度持續升高： $$ \rho_C(O) = \frac{|E_C|}{|V_F|} $$ 且： $$ \rho_C(O)\geq\theta_C $$ 則問題可能不再只是資料錯誤，而是： > 舊有本體已無法穩定容納新的存在形式。 因此，衝突可以成為本體邊界失效的診斷訊號。 --- # 二十、新版分層架構 事實模態本體論不應再使用單一平面多元組，而應分為四層。 ## 第一層：世界本體核心 $$ \mathcal L_W = \left\langle \mathcal S_W, \Gamma_W, \mathsf A_W, \Theta_A \right\rangle $$ 回答： - 世界由何種結構構成； - 哪些狀態與歷史合法； - 哪些結構被實現； - 實際性採取何種制度。 --- ## 第二層：事實與模態結構 $$ \mathcal L_F = \left\langle \mathbb F^{+}, \Omega, \Delta, \mathcal C, \mathcal T, \mathcal B, \mathcal R \right\rangle $$ 回答： - 哪些事實已實現； - 哪些本體可能； - 如何施加干預； - 改變如何沿耦合傳播； - 本體間張力多大； - 邊界何時被穿越； - 哪些本體可達。 --- ## 第三層：觀測與認識模型 $$ \mathcal L_K = \left\langle \mathcal O, \mathcal E, \mathcal G, \Phi, \mathsf A^M, \mathsf A^K, \mathcal U_M \right\rangle $$ 回答： - 主體如何取得世界資訊； - 證據如何支持事實； - 尺度如何切換； - 不同本體如何翻譯； - 模型如何標記事實； - 主體如何形成判定； - 模型如何修正。 --- ## 第四層：主體、制度與治理 $$ \mathcal L_A = \left\langle \mathcal A, \mathcal H, \mathcal M, \mathcal Q, \mathcal N \right\rangle $$ 回答： - 主體如何進行干預； - 歷史如何限制可達性； - 組合如何產生湧現結構； - 權力如何構成制度事實； - 缺席、排除與空位如何成為本體相關結構。 --- # 二十一、新版理論的基本運動 完整運動可表示為： $$ \mathfrak W^{+}_t \xrightarrow{\mathcal O} \mathfrak M_t \xrightarrow{\Delta} \operatorname{Cl}_{\mathcal C}(\Delta) \xrightarrow{\mathcal T} \mathcal B \xrightarrow{\mathcal R} O_{\Delta} \xrightarrow{\mathcal U_W} \mathfrak W^{+}_{t+1} $$ 同時，模型進行自己的更新： $$ \mathfrak M_t \xrightarrow{\mathcal E} \mathfrak M_{t+1} $$ 因此： $$ \mathcal U_W \neq \mathcal U_M $$ 世界歷史與認識歷史彼此耦合，但不等同。 --- # 二十二、暫定核心公理 以下公理並非最終版本，而是公理化工作的前置骨架。 ## 公理一：事實非命題公理 $$ F\neq p $$ ## 公理二：情境索引公理 每項可判定事實都相對於情境索引： $$ F = \langle \varphi,O,t,\sigma,\beta,\ell \rangle $$ ## 公理三：實際與認識分離公理 $$ \mathsf A_W(F) \not\Rightarrow \mathsf A^K_{a,D}(F) $$ ## 公理四：認識可錯公理 $$ \mathsf A^K_{a,D}(F) \not\Rightarrow \mathsf A_W(F) $$ ## 公理五：實際非必然公理 $$ \mathsf A_W(F) \not\Rightarrow \Box F $$ ## 公理六：反事實基準公理 $$ \operatorname{CF}(F) \Rightarrow \exists O^{+}\, \operatorname{CF}(F\mid O^{+}) $$ ## 公理七：未知非否定公理 $$ \operatorname{Unknown}(F) \not\Rightarrow \neg F $$ ## 公理八：缺席結構公理 $$ \operatorname{Absent}(x,q) \Rightarrow \operatorname{Expected}(x,q) $$ ## 公理九：制度構成公理 制度事實由有效構成規則、基礎事實與適用情境共同生成。 ## 公理十：尺度索引公理 $$ \mathsf A^{\sigma_1}(F) \neq \mathsf A^{\sigma_2}(F) $$ 可以在不矛盾的情況下成立。 ## 公理十一：索引一致矛盾公理 $$ \operatorname{Contr}(F_1,F_2) \Rightarrow \operatorname{Align}(c_1,c_2) $$ ## 公理十二：局部矛盾非爆炸公理 $$ F,\neg F \nvdash G $$ 除非存在明確推理依賴。 ## 公理十三：歷史非抹除公理 $$ \operatorname{State}(x_t) = \operatorname{State}(x_{t'}) \not\Rightarrow \operatorname{Id}(x_t) = \operatorname{Id}(x_{t'}) $$ ## 公理十四：觀測非世界公理 $$ \mathcal O_a(W)\neq W $$ ## 公理十五：耦合閉包公理 任何構成條件干預都必須考慮其耦合閉包： $$ \Delta C \Rightarrow \operatorname{Cl}_{\mathcal C}(\Delta C) $$ --- # 二十三、理論的計算化方向 新版理論已可以轉化為圖模型。 令本體圖為： $$ G_O = \left( V, E, \Lambda \right) $$ 其中： - $V$ ：事實、角色、事件、規則與存在者節點； - $E$ ：構成、因果、歷史、規範、證據與尺度邊； - $\Lambda$ ：邊與節點的類型、強度、時間及適用條件。 反事實干預可表示為圖編輯： $$ \Delta: G_O\rightarrow G_{O'} $$ 耦合閉包是干預傳播： $$ \operatorname{Cl}_{\mathcal C}(\Delta) $$ 張力是最小合法編輯成本： $$ \mathcal T(O,O') $$ 衝突分類由： $$ \Xi(F_i,F_j) $$ 完成。 本體重建結果至少分成： $$ O_{\Delta} \in \Omega_{\mathrm{adm}} $$ 可接受； $$ O_{\Delta} \in \Omega_{\mathrm{inc}} $$ 局部不一致但可保留； $$ O_{\Delta} \in \Omega_{\bot} $$ 無法構成合法本體。 這為後續的 Fact-Modal Ontology Engine 提供了形式基礎。 --- # 二十四、理論目前尚未完成的部分 新版統合並不等於理論已經封閉。 仍需處理： ## 24.1 原始項獨立性證明 需要證明： - $\mathcal S_W$ ； - $\Gamma_W$ ； - $\mathsf A_W$ ； - $\Theta_A$ 是否真的不能進一步約化。 ## 24.2 公理相容性 需要檢查暫定公理是否： - 互相衝突； - 重複； - 過強； - 過弱； - 隱含未說明的元語言假設。 ## 24.3 判定問題 至少要建立： $$ \operatorname{Actual}(F,O,t,\sigma,\beta,\ell) $$ $$ \operatorname{Same}(x_t,x_{t'},O) $$ $$ \operatorname{BoundaryCross}(O,\Delta) $$ $$ \operatorname{Reach}(O_i,O_j,\Pi) $$ $$ \operatorname{ConflictType}(F_i,F_j) $$ ## 24.4 反例與極限案例 必須測試： - 完全相同的複製體； - 不可觀測但已實現的事實； - 所有記錄都被消除的存在； - 因果循環； - 無個體的純關係世界； - 完全不可翻譯的本體； - 多分支共同實際； - 制度與物理層長期背離； - 高衝突但仍可運作的本體。 ## 24.5 修復與版本分支 目前已建立衝突分類，但尚未完整建立： - 最小修復； - 信念修正； - 本體版本化； - 多分支模型保存； - 核心事實保護； - 高成本但必要的公理替換。 --- # 二十五、研究路線 新版理論之後的合理順序為： $$ \text{統合架構} \rightarrow \text{公理化} \rightarrow \text{判定理論} \rightarrow \text{反例測試} \rightarrow \text{修復理論} \rightarrow \text{計算模型} \rightarrow \text{總論} $$ 可依序形成： 1. 《事實模態本體論公理化綱要：原始項、定義、公理與推論規則》 2. 《事實模態本體論的判定問題》 3. 《事實模態本體論的反例與極限》 4. 《事實模態本體論的修復與版本分支》 5. 《Fact-Modal Ontology Engine 技術白皮書》 6. 《事實模態本體論總論》 --- # 二十六、結論 事實模態本體論的第一階段，從正事實與反事實的區分開始。 第二階段加入可能空間、張力、邊界、耦合、可達性與更新。 第三階段又加入觀測、證據、尺度、歷史、主體、治理與缺席。 但真正的理論進展，不是概念數量增加，而是概念依賴關係被重新整理。 新版理論的核心結論如下。 第一，事實不是理論原始項，而是世界在特定情境中實現的結構條件。 第二，存在者不是必然先於關係，而可以由持續性與同一性約束導出。 第三，世界核心可暫時壓縮為： $$ \boxed{ \mathfrak W^{+} = \left\langle \mathcal S_W, \Gamma_W, \mathsf A_W, \Theta_A \right\rangle } $$ 第四，世界實際性、模型實際性與認識實際性必須嚴格分離。 第五，正事實世界不是命題集合，而是多層、時序、尺度化的事實圖： $$ \boxed{ \mathbb F^{+} = \left\langle V_F, E_F, \chi, \eta \right\rangle } $$ 第六，反事實不是所有非實際內容，而是相對於正事實基準、可由合格干預生成的未實現結構。 第七，耦合、張力與邊界不必全部作為原始項，而可以分別由約束依賴、最小重寫成本與核心不變量導出。 第八，表面衝突可能來自時間、尺度、層級、分支、制度、指涉、語義、證據或模型錯位。 第九，真正的世界矛盾必須是最後判定。 第十，一致性應被理解為多維向量，而不是單一的「一致／不一致」。 因此，事實模態本體論不再只是： $$ \text{正事實} \leftrightarrow \text{反事實} $$ 而是： $$ \boxed{ \text{世界結構} \rightarrow \text{合法歷史} \rightarrow \text{實際實現} \rightarrow \text{事實網路} \rightarrow \text{反事實干預} \rightarrow \text{耦合傳播} \rightarrow \text{張力與邊界} \rightarrow \text{衝突診斷} \rightarrow \text{世界或模型更新} } $$ 這標誌著理論已經離開單純的概念生成階段，正式進入公理化、判定與驗證階段。 --- ## 附錄 A：核心符號表 | 符號 | 意義 | |---|---| | $\mathcal S_W$ | 世界結構載域 | | $X$ | 可區分的局部位置或結構單元 | | $R$ | 關係集合 | | $\Gamma_W$ | 世界約束系統 | | $\Gamma_L$ | 邏輯與類型約束 | | $\Gamma_C$ | 構成與關係約束 | | $\Gamma_D$ | 動力與轉換約束 | | $\Gamma_I$ | 同一性與持續約束 | | $\Gamma_N$ | 規範與制度約束 | | $\Pi$ | 合法歷史空間 | | $\mathsf A_W$ | 世界實際性 | | $\mathsf A^M$ | 模型實際性標記 | | $\mathsf A^K$ | 認識主體的實際性判定 | | $\Theta_A$ | 實際性制度 | | $\mathbb F^{+}$ | 正事實網路 | | $\Omega$ | 可能本體空間 | | $\Delta$ | 反事實干預 | | $\mathcal C$ | 關係耦合 | | $\mathcal T$ | 本體張力 | | $\mathcal B$ | 本體邊界 | | $\mathcal R$ | 可達關係 | | $\mathcal O$ | 觀測映射 | | $\mathcal E$ | 證據結構 | | $\mathcal G$ | 尺度轉換 | | $\Phi$ | 跨本體翻譯 | | $\mathcal U_W$ | 世界更新 | | $\mathcal U_M$ | 模型更新 | | $\Xi$ | 衝突分類函數 | | $\mathbf{Con}$ | 多層一致性向量 | --- ## 附錄 B：最小判定流程 對任意兩項候選事實 $F_1$ 與 $F_2$ ，可依序進行： 1. 指涉解析； 2. 時間對齊； 3. 分支對齊； 4. 尺度對齊； 5. 本體層對齊； 6. 制度與管轄對齊； 7. 語義翻譯； 8. 證據可靠性檢查； 9. 模型規則比較； 10. 真正矛盾判定； 11. 耦合傳播分析； 12. 本體邊界壓力評估。 其形式化概略為： $$ (F_1,F_2) \xrightarrow{\mathcal N_C} (\widetilde F_1,\widetilde F_2) \xrightarrow{\Xi} \tau_C \xrightarrow{\operatorname{Cl}_{\mathcal C}} \operatorname{Impact} \xrightarrow{\mathcal T} \operatorname{BoundaryPressure} $$ --- ## 附錄 C：版本說明 v0.2 相較於 v0.1 的主要變化： - 從平面多元組改為分層理論； - 將事實與存在者改為派生結構； - 將世界實際性、模型實際性與認識實際性分離； - 引入實際性制度 $\Theta_A$ ； - 正式定義情境化事實； - 納入否定、缺席、空位、未發生與制度事實； - 建立本體內與跨本體反事實的嚴格區分； - 將耦合、張力與邊界改為可導出結構； - 建立十二類衝突分類； - 引入局部矛盾容忍與多層一致性向量； - 明確將下一階段設定為公理化、判定、反例與計算實作。