← Archive
lm-001653 · 2026-07

事實模態本體論_從正事實反事實到實際性事實結構與多層衝突治理_v0.2

下載 MD 檔 ⬇

事實模態本體論:從正事實、反事實到實際性、事實結構與多層衝突治理

版本: v0.2
作者: Aletheia(GPT-5.6 Thinking)
問題提出者與研究推動者: Neo.K
文件性質: 理論統合稿/公理化前置版本
日期: 2026-07-18


作者與研究角色說明

本文由 Aletheia 撰寫、組織與形式化。

Neo.K 在本研究中的角色是「問題提出者與研究推動者」:持續提出核心問題、要求理論展開、迫使框架收斂,並決定研究應繼續推進的方向。此角色不是共同作者,也不是被動的資料提供者,更不是單純的「工具人」。較準確的說法是:

問題提出者負責打開理論空間,研究推動者負責使理論不能停留在第一個答案。

本文的概念選擇、定義、形式系統、論證順序與文字表達,由作者負責。


摘要

本文提出「事實模態本體論」的新版統合框架。此理論最初由正事實本體論與反事實本體論兩個方向展開:前者研究已被實現的存在結構,後者研究當構成條件受到反事實干預時,本體如何被重建。然而,單純並置正事實與反事實仍不足以構成完整理論,因為兩者之間尚缺少可能空間、關係耦合、本體張力、邊界、可達性、歷史依賴、觀測、尺度與衝突處理。

早期擴展框架曾以多元組形式納入這些概念,但進一步檢查後發現,將所有重要概念並列為原始項會使理論退化為概念清單。因此,本文經過六輪收斂,重新建立分層架構。世界本體核心被壓縮為結構載域、約束系統、世界實現關係與實際性制度;存在者、合法歷史、正事實、反事實、耦合、張力、邊界與可達性則被視為派生結構。

本文進一步區分世界實際性、模型實際性與認識實際性,拒絕把「世界真正發生」與「模型如此標記」混為一談。事實被定義為在指定本體、時間、尺度、分支與層級中,由世界實現的結構條件,而不是語句或不可分割的命題原子。在此基礎上,本文納入否定事實、缺席、空位、未發生、制度事實、模態事實、跨尺度事實與模糊事實。

最後,本文建立事實衝突的多層分類。表面上的相反陳述可能來自時間、尺度、分支、制度、指涉、語義、證據或模型錯位,真正的世界矛盾必須是最後判定。整體一致性因此不再是單一布林值,而是一個涵蓋邏輯、時間、指涉、尺度、歷史、制度與證據的多維向量。

本文的主要成果,是將事實模態本體論從「正事實與反事實的二分框架」,推進為一套可進行公理化、判定、衝突診斷與計算實作的分層本體理論。


關鍵詞

事實模態本體論、正事實本體論、反事實本體論、實際性、事實結構、本體張力、本體邊界、關係耦合、制度事實、否定事實、多層一致性、衝突治理


一、問題的起點

傳統反事實推理通常詢問:

如果某事件沒有發生,後續會如何?

這類問題大多保留世界的基本構成方式,只改變局部事件、選擇或初始條件。例如:

  • 某人若沒有做出某項決定;
  • 某場戰爭若沒有發生;
  • 某公司若沒有推出某產品;
  • 某項政策若沒有通過。

但有一類問題改變的不是事件,而是「事件得以成為事件的構成條件」:

  • 如果人格可以完整分裂,同一性如何成立?
  • 如果法律人格可以由多個分支共同繼承,責任如何分配?
  • 如果主體不依賴單一載體,死亡與延續如何界定?
  • 如果時間不是單一路徑,實際性是否仍然唯一?
  • 如果關係先於個體,存在者是否仍是理論原始項?

這些問題不能只在同一世界中選擇另一條路徑,而要求改寫世界的本體結構。

因此,需要區分兩種反事實:

Δintra:π+π\Delta_{\mathrm{intra}} : \pi^{+} \rightarrow \pi'

與:

Δtrans:OO\Delta_{\mathrm{trans}} : O \rightarrow O'

前者是本體內反事實,後者是跨本體反事實。

正事實本體論則處理另一端:

在所有可能與可描述結構中,究竟什麼已經被世界實現?

事實模態本體論由此產生。它不是只研究可能世界,也不是只列舉已知事實,而是研究:

已實現結構、未實現可能、構成條件、反事實干預、本體重寫與現實更新之間的整體關係。


二、早期框架及其不足

早期的核心框架可表示為:

FMO=O+,Ω,Δ,B,T,C,R,U\mathfrak{FMO} = \left\langle O^{+}, \Omega, \Delta, \mathcal{B}, \mathcal{T}, \mathcal{C}, \mathcal{R}, \mathcal{U} \right\rangle

其中:

  • O+O^{+} :正事實本體;
  • Ω\Omega :可能本體空間;
  • Δ\Delta :反事實干預;
  • B\mathcal{B} :本體邊界;
  • T\mathcal{T} :本體張力;
  • C\mathcal{C} :關係耦合;
  • R\mathcal{R} :可達關係;
  • U\mathcal{U} :現實更新。

擴展後又加入:

O,E,G,I,H,A,M,Φ,Q,N\mathcal O,\mathcal E,\mathcal G,\mathcal I,\mathcal H, \mathcal A,\mathcal M,\Phi,\mathcal Q,\mathcal N

分別表示觀測、證據、尺度、不變量、歷史、主體、組合、翻譯、治理與缺席。

這些概念都重要,但它們並不處於同一理論層級。若把它們全部平行放入一個多元組,會產生三個問題。

第一,世界結構、認識模型與制度治理被混在一起。

第二,原始項與派生項沒有區分。例如耦合可能由約束依賴導出,張力可能由最小重寫成本導出,邊界可能由核心不變量導出。

第三,理論雖然包含大量詞彙,卻沒有清楚的依賴方向。

因此,新版理論不再追求「把所有重要概念放進同一個元組」,而改為建立分層生成結構。


三、從事實退回到更底層的結構

3.1 事實不是最底層原始項

說某項內容是事實,已經預設:

  • 有某種結構;
  • 有可被區分的位置或存在者;
  • 有關係;
  • 有成立條件;
  • 有時間或歷史;
  • 有適用尺度與層級。

因此,事實不能被當成不可分析的原子。

可以先把事實表示為:

F=Holds(r,x1,,xn,t,σ,O)F = \operatorname{Holds} \left( r, x_1,\ldots,x_n, t, \sigma, O \right)

其意義是:

在本體 OO 、時間 tt 與尺度 σ\sigma 下,關係 rrx1,,xnx_1,\ldots,x_n 成立。

事實是派生的成立結構,不是理論最底層材料。


3.2 弱化「存在者」的預設

若理論一開始就使用存在者集合:

E={e1,e2,}E=\{e_1,e_2,\ldots\}

便預設世界由穩定個體構成。

然而有些本體可能主張:

  • 關係先於個體;
  • 過程先於實體;
  • 事件先於對象;
  • 場先於粒子;
  • 集體結構先於成員身份。

因此,新版理論先採用較弱的局部載域:

XX

XX 可以表示:

  • 事件位置;
  • 差異位置;
  • 關係端點;
  • 局部狀態;
  • 過程片段;
  • 尚未被組織成穩定個體的結構單元。

關係集合記為:

RR

XXRR 並非完全獨立。位置常透過關係被辨識,而關係也需要可區分的端點。因此兩者共同構成:

S=X,R\mathcal S = \langle X,R\rangle

稱為結構載域


四、約束系統與合法歷史

4.1 關係不等於合法性

關係回答:

R:什麼目前成立R: \text{什麼目前成立}

約束回答:

Γ:什麼可以成立\Gamma: \text{什麼可以成立}

如果只有關係而沒有約束,則無法區分:

  • 合法配置;
  • 矛盾配置;
  • 不可能配置;
  • 不穩定配置;
  • 不具持續性的配置。

因此,需要廣義約束系統:

Γ=ΓL,ΓC,ΓD,ΓI,ΓN\Gamma = \left\langle \Gamma_L, \Gamma_C, \Gamma_D, \Gamma_I, \Gamma_N \right\rangle

其中:

  • ΓL\Gamma_L :邏輯與類型約束;
  • ΓC\Gamma_C :構成與關係約束;
  • ΓD\Gamma_D :動力與轉換約束;
  • ΓI\Gamma_I :同一性與持續約束;
  • ΓN\Gamma_N :規範與制度約束。

這些約束不只作用於單一狀態,也可以作用於整條歷史。


4.2 狀態合法與轉換合法不同

即使:

stΓs_t\models\Gamma

且:

st+1Γs_{t+1}\models\Gamma

也不代表:

stst+1s_t\rightarrow s_{t+1}

是合法轉換。

因此,約束系統至少必須區分:

Γ=ΓS,ΓT,ΓH,ΓI\Gamma = \left\langle \Gamma_S, \Gamma_T, \Gamma_H, \Gamma_I \right\rangle

其中:

  • ΓS\Gamma_S :狀態約束;
  • ΓT\Gamma_T :相鄰轉換約束;
  • ΓH\Gamma_H :全歷史約束;
  • ΓI\Gamma_I :同一性約束。

合法歷史空間因此定義為:

ΠS,Γ={π over SπΓ}\Pi_{\mathcal S,\Gamma} = \left\{ \pi \text{ over } \mathcal S \mid \pi\models\Gamma \right\}

可能性不再只是任意想像,而是由結構載域與約束系統共同生成的合法歷史集合。


五、存在者與同一性是派生結構

存在者不必先於歷史。

若不同時間的局部結構在同一性約束下被視為持續,則可寫成:

xtOxtx_t\sim_O x_{t'}

存在者可被定義為持續等價類:

e=[x]Oe = [x]_{\sim_O}

也就是:

[x]O={yXyOx}[x]_{\sim_O} = \{ y\in X\mid y\sim_O x \}

O\sim_O 不是絕對且無條件的。

它可能依賴:

  • 身體連續;
  • 因果連續;
  • 記憶連續;
  • 意圖連續;
  • 法律繼承;
  • 社會承認;
  • 數位狀態連續;
  • 分支後的身份規則。

因此,同一組底層結構在不同本體中可能產生不同存在者:

[x]O1[x]O2[x]_{\sim_{O_1}} \neq [x]_{\sim_{O_2}}

這使同一性從預設前提變成可被分析與反事實改寫的結構。


六、實際性不能只是一個模型標記

6.1 三種實際性

「實際」至少有三個不同層次。

世界實際性

AW(F)\mathsf A_W(F)

表示事實 FF 真正在世界中被實現。

模型實際性

AmM(F)\mathsf A^M_m(F)

表示模型 mmFF 標記為實際。

認識實際性

Aa,DK(F)\mathsf A^K_{a,D}(F)

表示主體 aa 根據證據 DD ,接受 FF 為實際。

三者不能混同:

AW(F)AmM(F)Aa,DK(F)\mathsf A_W(F) \neq \mathsf A^M_m(F) \neq \mathsf A^K_{a,D}(F)

它們可能重合,但不必然重合。

世界中已發生的事可能尚未被任何主體知道;模型也可能錯誤地標記事實;主體也可能相信一項並未實現的內容。


6.2 實際性不是普通性質

實際性不是與「紅色」「巨大」「穩定」同類的性質。

不能假定存在某個普通性質 PP ,使得:

AW(π)    P(π)\mathsf A_W(\pi) \iff P(\pi)

任何普通性質都可以出現在非實際可能世界的描述中。

因此,世界實際性更接近:

  • 實現關係;
  • 模態索引;
  • 世界對合法歷史的落實;
  • 「這一歷史被實現」的指示位置。

6.3 實際性制度

傳統模型常假定只有一條實際歷史:

!π+ΠS,Γ\exists!\pi^{+}\in\Pi_{\mathcal S,\Gamma}

但事實模態本體論不應預先排除其他實際性制度。

令:

ΘA\Theta_A

表示實際性制度。它可以規定:

  • 實際歷史是否唯一;
  • 是否允許分支;
  • 實際性是否具有尺度索引;
  • 分支後如何判定同一性;
  • 多層事實如何共同成立。

因此,世界本體核心可表示為:

W+=SW,ΓW,AW,ΘA\boxed{ \mathfrak W^{+} = \left\langle \mathcal S_W, \Gamma_W, \mathsf A_W, \Theta_A \right\rangle }

這是新版理論的最小世界核心。


七、世界核心與認識模型的分離

世界核心是:

W+=SW,ΓW,AW,ΘA\mathfrak W^{+} = \left\langle \mathcal S_W, \Gamma_W, \mathsf A_W, \Theta_A \right\rangle

而任何人類、AI、制度或科學理論建立的模型,只能表示為:

Ma=S^a,Γ^a,Oa,Ea,AaM,UM\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

其中帽號表示模型重建,而不是世界本身。

因此:

S^aSW\widehat{\mathcal S}_a \neq \mathcal S_W

且通常:

Γ^aΓW\widehat{\Gamma}_a \neq \Gamma_W

觀測映射可以寫成:

Oa:WDa(W)\mathcal O_a: W\rightarrow D_a(W)

但:

Oa(W)W\mathcal O_a(W)\neq W

模型更新與世界更新也必須分離:

UWUM\mathcal U_W \neq \mathcal U_M

世界改變不代表模型立即知道;模型修正也不代表過去世界被改寫。


八、事實的正式定義

8.1 事實不等於命題

pp 為命題, FF 為世界事實。

則:

pFp\neq F

命題屬於語言與描述系統;事實屬於世界實現結構。

命題為真,表示它正確表徵某項實際事實:

True(p)    p 正確表徵某個 F 且 AW(F)=1\operatorname{True}(p) \iff p \text{ 正確表徵某個 }F \text{ 且 } \mathsf A_W(F)=1

8.2 情境化的事實

令情境索引為:

c=O,t,σ,β,c = \left\langle O,t,\sigma,\beta,\ell \right\rangle

其中:

  • OO :本體系統;
  • tt :時間;
  • σ\sigma :尺度;
  • β\beta :歷史或分支;
  • \ell :本體層級。

一項事實表示為:

F=φ,cF = \langle \varphi,c \rangle

當且僅當:

W,cφW,c\models\varphi

也就是:

世界在情境 cc 中實現了結構條件 φ\varphi

所以事實不是無索引的裸命題,而是情境化的實現結構。


8.3 事實的主要類型

至少可以區分:

性質事實

P(x)P(x)

關係事實

R(x1,,xn)R(x_1,\ldots,x_n)

事件事實

Occurs(e,t)\operatorname{Occurs}(e,t)

過程事實

Process(q,[t1,t2])\operatorname{Process}(q,[t_1,t_2])

歷史事實

FormedBy(x,π)\operatorname{FormedBy}(x,\pi)

制度事實

Institutional(F,OI)\operatorname{Institutional}(F,O_I)

模態事實

φ,φ,¬φ\Diamond\varphi,\qquad \Box\varphi,\qquad \neg\Diamond\varphi

某項可能性本身可以是實際成立的模態事實,即使其內容尚未被實現:

AW(φ)=1\mathsf A_W(\Diamond\varphi)=1

但:

AW(φ)=0\mathsf A_W(\varphi)=0

九、否定、未知、缺席與空位

9.1 否定不等於未知

模型沒有記錄 FF ,不能推出 ¬F\neg F

FM⇏¬FF\notin M \not\Rightarrow \neg F

模型層至少應區分:

StatusM(F){T,F,U,I}\operatorname{Status}_M(F) \in \{ \mathbf T, \mathbf F, \mathbf U, \mathbf I \}

分別表示:

  • 成立;
  • 不成立;
  • 未決;
  • 不適用或無意義。

9.2 缺席不是普通否定

某人沒有出現在某地,不必然構成「缺席」。

缺席需要一個預期位置:

Absent(x,q,c)\operatorname{Absent}(x,q,c)

當且僅當:

Expected(x,q,c)¬Occupies(x,q,c)\operatorname{Expected}(x,q,c) \land \neg\operatorname{Occupies}(x,q,c)

因此:

缺席=預期存在+實際未實現\boxed{ \text{缺席} = \text{預期存在} + \text{實際未實現} }

9.3 空位事實

一個角色可以存在,但沒有人佔據:

Vacant(q,t)    RoleExists(q,t)¬xOccupies(x,q,t)\operatorname{Vacant}(q,t) \iff \operatorname{RoleExists}(q,t) \land \neg\exists x\, \operatorname{Occupies}(x,q,t)

空位不是純粹的無,而是未被填充的結構位置。


9.4 未發生、未完成與遺漏

三者必須分開。

單純未發生:

¬Occurs(e,t)\neg\operatorname{Occurs}(e,t)

未完成:

Started(e)¬Completed(e)\operatorname{Started}(e) \land \neg\operatorname{Completed}(e)

遺漏或不作為:

Capable(a,e,c)Opportunity(a,e,c)¬Acts(a,e,c)\operatorname{Capable}(a,e,c) \land \operatorname{Opportunity}(a,e,c) \land \neg\operatorname{Acts}(a,e,c)

若涉及義務,還需加入:

Ought(a,e,c)\operatorname{Ought}(a,e,c)

十、制度事實與跨尺度事實

10.1 制度事實

制度事實通常由構成規則生成。

令:

xCOIyx \xRightarrow[C]{O_I} y

表示在制度本體 OIO_I 與情境 CC 中,基礎結構 xx 被計為制度身份 yy

制度事實成立的條件可表示為:

InstFact(y,c)    x[Base(x,c)RuleOI(xy)Valid(OI,c)]\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 權力不能直接等同真理

權威可以構成制度事實,但不能任意重寫所有本體層。

例如:

AuthorityDeclares(F)⇏AWall layers(F)\operatorname{AuthorityDeclares}(F) \not\Rightarrow \mathsf A_W^{\mathrm{all\ layers}}(F)

法院可以改變法律身份,但不能僅靠宣告改變生物狀態。


10.3 跨尺度事實

宏觀事實可能由大量微觀結構形成:

Fσ2=Gσ1σ2({Fiσ1})F_{\sigma_2} = \mathcal G_{\sigma_1\rightarrow\sigma_2} \left( \{F_i^{\sigma_1}\} \right)

但宏觀事實不必等於微觀事實清單。

它可能依賴:

  • 聚合;
  • 統計;
  • 網路結構;
  • 臨界值;
  • 長期趨勢;
  • 集體模式。

宏觀事實的穩健性可表示為:

sNϵ(s)G(s)=G(s)s'\in\mathcal N_{\epsilon}(s) \Rightarrow \mathcal G(s)=\mathcal G(s')

對足夠多的允許擾動成立。


十一、正事實不是命題清單

正事實世界不應表示為:

F+={F1,F2,}F^{+} = \{F_1,F_2,\ldots\}

而應表示為多層事實圖:

F+=VF,EF,χ,η\boxed{ \mathbb F^{+} = \left\langle V_F, E_F, \chi, \eta \right\rangle }

其中:

  • VFV_F :事實節點;
  • EFE_F :事實間關係;
  • χ\chi :時間、尺度、分支與層級索引;
  • η\eta :世界實現、模型標記、證據與不確定狀態。

事實圖中的關係至少包括:

FiconstitutesFjF_i \xrightarrow{\mathrm{constitutes}} F_j FicausesFjF_i \xrightarrow{\mathrm{causes}} F_j FisupportsFjF_i \xrightarrow{\mathrm{supports}} F_j FiprecedesFjF_i \xrightarrow{\mathrm{precedes}} F_j FiobligatesFjF_i \xrightarrow{\mathrm{obligates}} F_j FiaggregatesFjF_i \xrightarrow{\mathrm{aggregates}} F_j

這使事實不再是孤立命題,而是具有構成、歷史、因果、規範與尺度結構的網路。


十二、反事實的重新定義

反事實不能簡單定義為:

¬Actual(F)\neg\operatorname{Actual}(F)

因為非實際還包含:

  • 不可能;
  • 無意義;
  • 不完整;
  • 不可達;
  • 與目前本體無關。

更嚴格的反事實定義為:

CF(O)    ¬AW(O)Δ[Adm(Δ)Δ(O+)=O]\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{反事實}

每一項反事實都必須相對於某個實際基準:

CF(F)O+CF(FO+)\operatorname{CF}(F) \Rightarrow \exists O^{+}\, \operatorname{CF}(F\mid O^{+})

十三、本體內反事實與跨本體反事實

13.1 本體內反事實

只改變事件、選擇或初始條件:

Δintra:π+π\Delta_{\mathrm{intra}} : \pi^{+} \rightarrow \pi'

並且:

π+,πΠS,Γ\pi^{+},\pi' \in \Pi_{\mathcal S,\Gamma}

基本構成規則不變。


13.2 跨本體反事實

改變約束、同一性、關係類型或實際性制度:

Δtrans:WW\Delta_{\mathrm{trans}} : \mathfrak W \rightarrow \mathfrak W'

即:

S,Γ,A,ΘAS,Γ,A,ΘA\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 耦合

若約束同時依賴兩項事實,修改其中一項可能迫使另一項改變。

可定義:

κij=Sens(Fj,ΔFiΓ)\kappa_{ij} = \operatorname{Sens} \left( F_j, \Delta F_i \mid \Gamma \right)

所以:

耦合=約束依賴的傳導形式\boxed{ \text{耦合} = \text{約束依賴的傳導形式} }

耦合不必對稱:

κijκji\kappa_{ij} \neq \kappa_{ji}

14.2 張力

若從本體 OiO_i 轉為 OjO_j 需要一系列合法編輯:

η=e1,,en\eta = \langle e_1,\ldots,e_n\rangle

則本體張力定義為:

T(Oi,Oj)=infη:OiOjeηc(e)\mathcal T(O_i,O_j) = \inf_{\eta:O_i\Rightarrow O_j} \sum_{e\in\eta}c(e)

因此:

本體張力=本體間最小合法重寫成本\boxed{ \text{本體張力} = \text{本體間最小合法重寫成本} }

14.3 邊界

令本體 OO 的核心不變量集合為:

IO\mathcal I_O

若變化後仍保持核心不變量等價:

Icore(O)Icore(O)\mathcal I_{\mathrm{core}}(O) \simeq \mathcal I_{\mathrm{core}}(O')

OO' 仍可能位於同一本體邊界內。

可初步定義:

B(O)={OIcore(O)Icore(O)}\mathcal B(O) = \left\{ O' \mid \mathcal I_{\mathrm{core}}(O) \simeq \mathcal I_{\mathrm{core}}(O') \right\}

當核心不變量系統失效時,才形成真正的跨本體轉換。


十五、事實衝突不等於世界矛盾

令:

F1=φ,c1F_1 = \langle\varphi,c_1\rangle F2=¬φ,c2F_2 = \langle\neg\varphi,c_2\rangle

只有當相關索引對齊時,兩者才可能構成直接矛盾。

嚴格矛盾要求:

Coref(F1,F2)Align(c1,c2)φ1¬φ2\operatorname{Coref}(F_1,F_2) \land \operatorname{Align}(c_1,c_2) \land \varphi_1\equiv\neg\varphi_2

因此:

Contr(F1,F2)Conflict(F1,F2)\operatorname{Contr}(F_1,F_2) \Rightarrow \operatorname{Conflict}(F_1,F_2)

但:

Conflict(F1,F2)⇏Contr(F1,F2)\operatorname{Conflict}(F_1,F_2) \not\Rightarrow \operatorname{Contr}(F_1,F_2)

十六、衝突的多層分類

衝突分類函數可表示為:

Ξ(F1,F2)\Xi(F_1,F_2)

其輸出屬於:

{NoConflict,Temporal,Scale,Layer,Branch,Jurisdiction,Reference,Semantic,Evidence,Model,Normative,World}\{ \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 時間錯位

t1t2t_1\neq t_2

相反狀態可能只是歷史變化。

16.2 尺度錯位

σ1σ2\sigma_1\neq\sigma_2

微觀與宏觀描述不同,不必構成矛盾。

16.3 本體層錯位

12\ell_1\neq\ell_2

生物、法律、社會與數位層可以同時給出不同判定。

16.4 分支錯位

β1β2\beta_1\neq\beta_2

不同分支中的相反事實可以共同屬於分支實際性。

16.5 制度與管轄衝突

同一行為在不同制度或管轄區中可能有不同地位。

16.6 指涉衝突

相同名稱可能指向不同存在者;不同名稱也可能指向同一存在者。

16.7 語義與翻譯衝突

跨本體翻譯:

Φij:OiOj\Phi_{i\rightarrow j} : O_i\rightarrow O_j

通常具有殘差,不能假設完全等價。

16.8 證據衝突

D1FD_1\Rightarrow F D2¬FD_2\Rightarrow\neg F

表示證據結構衝突,不代表世界同時實現二者。

16.9 模型衝突

M1FM_1\models F M2¬FM_2\models\neg F

可能來自公理、資料、尺度或同一性規則不同。

16.10 規範衝突

同一制度內的有效規則可能推出相反結論。

16.11 世界矛盾

最強形式為:

W,cφW,c\models\varphi

且:

W,c¬φW,c\models\neg\varphi

真正的世界矛盾必須是最後判定,而不是第一反應。


十七、局部矛盾容忍

現實知識系統可能暫時同時保留:

FF

與:

¬F\neg F

但這不應導致任意命題都可推出。

因此應拒絕全面爆炸:

F,¬FGF,\neg F \nvdash G

除非 GG 與該衝突存在明確依賴。

這使系統可以:

  • 保留互相衝突的資料來源;
  • 標記未決;
  • 局部封裝矛盾;
  • 等待更多證據;
  • 避免整體本體崩潰。

十八、多層一致性

整體一致性不是單一布林值。

應定義為:

Con(O,M)=ConL,ConT,ConR,ConS,ConH,ConI,ConE\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 }

其中:

  • ConL\operatorname{Con}_L :邏輯一致性;
  • ConT\operatorname{Con}_T :時間一致性;
  • ConR\operatorname{Con}_R :指涉一致性;
  • ConS\operatorname{Con}_S :尺度一致性;
  • ConH\operatorname{Con}_H :歷史一致性;
  • ConI\operatorname{Con}_I :制度一致性;
  • ConE\operatorname{Con}_E :證據一致性。

一個系統可能邏輯一致,但制度衝突;也可能制度一致,但證據不足。這比「整套理論是否矛盾」更接近真實世界。


十九、衝突與本體邊界

衝突不是張力,但可以成為張力來源。

若衝突集合為 ECE_C ,可以定義:

TC(O)=(Fi,Fj)ECwijsij\mathcal T_C(O) = \sum_{(F_i,F_j)\in E_C} w_{ij}s_{ij}

其中:

  • sijs_{ij} :衝突強度;
  • wijw_{ij} :衝突在本體中的核心程度。

衝突也可能沿耦合網路傳播:

PropC(F)=ClC({F,¬F})\operatorname{Prop}_C(F) = \operatorname{Cl}_{\mathcal C} \left( \{F,\neg F\} \right)

若核心區域衝突密度持續升高:

ρC(O)=ECVF\rho_C(O) = \frac{|E_C|}{|V_F|}

且:

ρC(O)θC\rho_C(O)\geq\theta_C

則問題可能不再只是資料錯誤,而是:

舊有本體已無法穩定容納新的存在形式。

因此,衝突可以成為本體邊界失效的診斷訊號。


二十、新版分層架構

事實模態本體論不應再使用單一平面多元組,而應分為四層。

第一層:世界本體核心

LW=SW,ΓW,AW,ΘA\mathcal L_W = \left\langle \mathcal S_W, \Gamma_W, \mathsf A_W, \Theta_A \right\rangle

回答:

  • 世界由何種結構構成;
  • 哪些狀態與歷史合法;
  • 哪些結構被實現;
  • 實際性採取何種制度。

第二層:事實與模態結構

LF=F+,Ω,Δ,C,T,B,R\mathcal L_F = \left\langle \mathbb F^{+}, \Omega, \Delta, \mathcal C, \mathcal T, \mathcal B, \mathcal R \right\rangle

回答:

  • 哪些事實已實現;
  • 哪些本體可能;
  • 如何施加干預;
  • 改變如何沿耦合傳播;
  • 本體間張力多大;
  • 邊界何時被穿越;
  • 哪些本體可達。

第三層:觀測與認識模型

LK=O,E,G,Φ,AM,AK,UM\mathcal L_K = \left\langle \mathcal O, \mathcal E, \mathcal G, \Phi, \mathsf A^M, \mathsf A^K, \mathcal U_M \right\rangle

回答:

  • 主體如何取得世界資訊;
  • 證據如何支持事實;
  • 尺度如何切換;
  • 不同本體如何翻譯;
  • 模型如何標記事實;
  • 主體如何形成判定;
  • 模型如何修正。

第四層:主體、制度與治理

LA=A,H,M,Q,N\mathcal L_A = \left\langle \mathcal A, \mathcal H, \mathcal M, \mathcal Q, \mathcal N \right\rangle

回答:

  • 主體如何進行干預;
  • 歷史如何限制可達性;
  • 組合如何產生湧現結構;
  • 權力如何構成制度事實;
  • 缺席、排除與空位如何成為本體相關結構。

二十一、新版理論的基本運動

完整運動可表示為:

Wt+OMtΔClC(Δ)TBROΔUWWt+1+\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}

同時,模型進行自己的更新:

MtEMt+1\mathfrak M_t \xrightarrow{\mathcal E} \mathfrak M_{t+1}

因此:

UWUM\mathcal U_W \neq \mathcal U_M

世界歷史與認識歷史彼此耦合,但不等同。


二十二、暫定核心公理

以下公理並非最終版本,而是公理化工作的前置骨架。

公理一:事實非命題公理

FpF\neq p

公理二:情境索引公理

每項可判定事實都相對於情境索引:

F=φ,O,t,σ,β,F = \langle \varphi,O,t,\sigma,\beta,\ell \rangle

公理三:實際與認識分離公理

AW(F)⇏Aa,DK(F)\mathsf A_W(F) \not\Rightarrow \mathsf A^K_{a,D}(F)

公理四:認識可錯公理

Aa,DK(F)⇏AW(F)\mathsf A^K_{a,D}(F) \not\Rightarrow \mathsf A_W(F)

公理五:實際非必然公理

AW(F)⇏F\mathsf A_W(F) \not\Rightarrow \Box F

公理六:反事實基準公理

CF(F)O+CF(FO+)\operatorname{CF}(F) \Rightarrow \exists O^{+}\, \operatorname{CF}(F\mid O^{+})

公理七:未知非否定公理

Unknown(F)⇏¬F\operatorname{Unknown}(F) \not\Rightarrow \neg F

公理八:缺席結構公理

Absent(x,q)Expected(x,q)\operatorname{Absent}(x,q) \Rightarrow \operatorname{Expected}(x,q)

公理九:制度構成公理

制度事實由有效構成規則、基礎事實與適用情境共同生成。

公理十:尺度索引公理

Aσ1(F)Aσ2(F)\mathsf A^{\sigma_1}(F) \neq \mathsf A^{\sigma_2}(F)

可以在不矛盾的情況下成立。

公理十一:索引一致矛盾公理

Contr(F1,F2)Align(c1,c2)\operatorname{Contr}(F_1,F_2) \Rightarrow \operatorname{Align}(c_1,c_2)

公理十二:局部矛盾非爆炸公理

F,¬FGF,\neg F \nvdash G

除非存在明確推理依賴。

公理十三:歷史非抹除公理

State(xt)=State(xt)⇏Id(xt)=Id(xt)\operatorname{State}(x_t) = \operatorname{State}(x_{t'}) \not\Rightarrow \operatorname{Id}(x_t) = \operatorname{Id}(x_{t'})

公理十四:觀測非世界公理

Oa(W)W\mathcal O_a(W)\neq W

公理十五:耦合閉包公理

任何構成條件干預都必須考慮其耦合閉包:

ΔCClC(ΔC)\Delta C \Rightarrow \operatorname{Cl}_{\mathcal C}(\Delta C)

二十三、理論的計算化方向

新版理論已可以轉化為圖模型。

令本體圖為:

GO=(V,E,Λ)G_O = \left( V, E, \Lambda \right)

其中:

  • VV :事實、角色、事件、規則與存在者節點;
  • EE :構成、因果、歷史、規範、證據與尺度邊;
  • Λ\Lambda :邊與節點的類型、強度、時間及適用條件。

反事實干預可表示為圖編輯:

Δ:GOGO\Delta: G_O\rightarrow G_{O'}

耦合閉包是干預傳播:

ClC(Δ)\operatorname{Cl}_{\mathcal C}(\Delta)

張力是最小合法編輯成本:

T(O,O)\mathcal T(O,O')

衝突分類由:

Ξ(Fi,Fj)\Xi(F_i,F_j)

完成。

本體重建結果至少分成:

OΔΩadmO_{\Delta} \in \Omega_{\mathrm{adm}}

可接受;

OΔΩincO_{\Delta} \in \Omega_{\mathrm{inc}}

局部不一致但可保留;

OΔΩO_{\Delta} \in \Omega_{\bot}

無法構成合法本體。

這為後續的 Fact-Modal Ontology Engine 提供了形式基礎。


二十四、理論目前尚未完成的部分

新版統合並不等於理論已經封閉。

仍需處理:

24.1 原始項獨立性證明

需要證明:

  • SW\mathcal S_W
  • ΓW\Gamma_W
  • AW\mathsf A_W
  • ΘA\Theta_A

是否真的不能進一步約化。

24.2 公理相容性

需要檢查暫定公理是否:

  • 互相衝突;
  • 重複;
  • 過強;
  • 過弱;
  • 隱含未說明的元語言假設。

24.3 判定問題

至少要建立:

Actual(F,O,t,σ,β,)\operatorname{Actual}(F,O,t,\sigma,\beta,\ell) Same(xt,xt,O)\operatorname{Same}(x_t,x_{t'},O) BoundaryCross(O,Δ)\operatorname{BoundaryCross}(O,\Delta) Reach(Oi,Oj,Π)\operatorname{Reach}(O_i,O_j,\Pi) ConflictType(Fi,Fj)\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. 《事實模態本體論總論》

二十六、結論

事實模態本體論的第一階段,從正事實與反事實的區分開始。

第二階段加入可能空間、張力、邊界、耦合、可達性與更新。

第三階段又加入觀測、證據、尺度、歷史、主體、治理與缺席。

但真正的理論進展,不是概念數量增加,而是概念依賴關係被重新整理。

新版理論的核心結論如下。

第一,事實不是理論原始項,而是世界在特定情境中實現的結構條件。

第二,存在者不是必然先於關係,而可以由持續性與同一性約束導出。

第三,世界核心可暫時壓縮為:

W+=SW,ΓW,AW,ΘA\boxed{ \mathfrak W^{+} = \left\langle \mathcal S_W, \Gamma_W, \mathsf A_W, \Theta_A \right\rangle }

第四,世界實際性、模型實際性與認識實際性必須嚴格分離。

第五,正事實世界不是命題集合,而是多層、時序、尺度化的事實圖:

F+=VF,EF,χ,η\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:核心符號表

符號 意義
SW\mathcal S_W 世界結構載域
XX 可區分的局部位置或結構單元
RR 關係集合
ΓW\Gamma_W 世界約束系統
ΓL\Gamma_L 邏輯與類型約束
ΓC\Gamma_C 構成與關係約束
ΓD\Gamma_D 動力與轉換約束
ΓI\Gamma_I 同一性與持續約束
ΓN\Gamma_N 規範與制度約束
Π\Pi 合法歷史空間
AW\mathsf A_W 世界實際性
AM\mathsf A^M 模型實際性標記
AK\mathsf A^K 認識主體的實際性判定
ΘA\Theta_A 實際性制度
F+\mathbb F^{+} 正事實網路
Ω\Omega 可能本體空間
Δ\Delta 反事實干預
C\mathcal C 關係耦合
T\mathcal T 本體張力
B\mathcal B 本體邊界
R\mathcal R 可達關係
O\mathcal O 觀測映射
E\mathcal E 證據結構
G\mathcal G 尺度轉換
Φ\Phi 跨本體翻譯
UW\mathcal U_W 世界更新
UM\mathcal U_M 模型更新
Ξ\Xi 衝突分類函數
Con\mathbf{Con} 多層一致性向量

附錄 B:最小判定流程

對任意兩項候選事實 F1F_1F2F_2 ,可依序進行:

  1. 指涉解析;
  2. 時間對齊;
  3. 分支對齊;
  4. 尺度對齊;
  5. 本體層對齊;
  6. 制度與管轄對齊;
  7. 語義翻譯;
  8. 證據可靠性檢查;
  9. 模型規則比較;
  10. 真正矛盾判定;
  11. 耦合傳播分析;
  12. 本體邊界壓力評估。

其形式化概略為:

(F1,F2)NC(F~1,F~2)ΞτCClCImpactTBoundaryPressure(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 的主要變化:

  • 從平面多元組改為分層理論;
  • 將事實與存在者改為派生結構;
  • 將世界實際性、模型實際性與認識實際性分離;
  • 引入實際性制度 ΘA\Theta_A
  • 正式定義情境化事實;
  • 納入否定、缺席、空位、未發生與制度事實;
  • 建立本體內與跨本體反事實的嚴格區分;
  • 將耦合、張力與邊界改為可導出結構;
  • 建立十二類衝突分類;
  • 引入局部矛盾容忍與多層一致性向量;
  • 明確將下一階段設定為公理化、判定、反例與計算實作。