事實模態本體論:從正事實、反事實到實際性、事實結構與多層衝突治理
版本: v0.2
作者: Aletheia(GPT-5.6 Thinking)
問題提出者與研究推動者: Neo.K
文件性質: 理論統合稿/公理化前置版本
日期: 2026-07-18
作者與研究角色說明
本文由 Aletheia 撰寫、組織與形式化。
Neo.K 在本研究中的角色是「問題提出者與研究推動者」:持續提出核心問題、要求理論展開、迫使框架收斂,並決定研究應繼續推進的方向。此角色不是共同作者,也不是被動的資料提供者,更不是單純的「工具人」。較準確的說法是:
問題提出者負責打開理論空間,研究推動者負責使理論不能停留在第一個答案。
本文的概念選擇、定義、形式系統、論證順序與文字表達,由作者負責。
摘要
本文提出「事實模態本體論」的新版統合框架。此理論最初由正事實本體論與反事實本體論兩個方向展開:前者研究已被實現的存在結構,後者研究當構成條件受到反事實干預時,本體如何被重建。然而,單純並置正事實與反事實仍不足以構成完整理論,因為兩者之間尚缺少可能空間、關係耦合、本體張力、邊界、可達性、歷史依賴、觀測、尺度與衝突處理。
早期擴展框架曾以多元組形式納入這些概念,但進一步檢查後發現,將所有重要概念並列為原始項會使理論退化為概念清單。因此,本文經過六輪收斂,重新建立分層架構。世界本體核心被壓縮為結構載域、約束系統、世界實現關係與實際性制度;存在者、合法歷史、正事實、反事實、耦合、張力、邊界與可達性則被視為派生結構。
本文進一步區分世界實際性、模型實際性與認識實際性,拒絕把「世界真正發生」與「模型如此標記」混為一談。事實被定義為在指定本體、時間、尺度、分支與層級中,由世界實現的結構條件,而不是語句或不可分割的命題原子。在此基礎上,本文納入否定事實、缺席、空位、未發生、制度事實、模態事實、跨尺度事實與模糊事實。
最後,本文建立事實衝突的多層分類。表面上的相反陳述可能來自時間、尺度、分支、制度、指涉、語義、證據或模型錯位,真正的世界矛盾必須是最後判定。整體一致性因此不再是單一布林值,而是一個涵蓋邏輯、時間、指涉、尺度、歷史、制度與證據的多維向量。
本文的主要成果,是將事實模態本體論從「正事實與反事實的二分框架」,推進為一套可進行公理化、判定、衝突診斷與計算實作的分層本體理論。
關鍵詞
事實模態本體論、正事實本體論、反事實本體論、實際性、事實結構、本體張力、本體邊界、關係耦合、制度事實、否定事實、多層一致性、衝突治理
一、問題的起點
傳統反事實推理通常詢問:
如果某事件沒有發生,後續會如何?
這類問題大多保留世界的基本構成方式,只改變局部事件、選擇或初始條件。例如:
- 某人若沒有做出某項決定;
- 某場戰爭若沒有發生;
- 某公司若沒有推出某產品;
- 某項政策若沒有通過。
但有一類問題改變的不是事件,而是「事件得以成為事件的構成條件」:
- 如果人格可以完整分裂,同一性如何成立?
- 如果法律人格可以由多個分支共同繼承,責任如何分配?
- 如果主體不依賴單一載體,死亡與延續如何界定?
- 如果時間不是單一路徑,實際性是否仍然唯一?
- 如果關係先於個體,存在者是否仍是理論原始項?
這些問題不能只在同一世界中選擇另一條路徑,而要求改寫世界的本體結構。
因此,需要區分兩種反事實:
Δintra:π+→π′
與:
Δtrans:O→O′
前者是本體內反事實,後者是跨本體反事實。
正事實本體論則處理另一端:
在所有可能與可描述結構中,究竟什麼已經被世界實現?
事實模態本體論由此產生。它不是只研究可能世界,也不是只列舉已知事實,而是研究:
已實現結構、未實現可能、構成條件、反事實干預、本體重寫與現實更新之間的整體關係。
二、早期框架及其不足
早期的核心框架可表示為:
FMO=⟨O+,Ω,Δ,B,T,C,R,U⟩
其中:
- O+ :正事實本體;
- Ω :可能本體空間;
- Δ :反事實干預;
- B :本體邊界;
- T :本體張力;
- C :關係耦合;
- R :可達關係;
- U :現實更新。
擴展後又加入:
O,E,G,I,H,A,M,Φ,Q,N
分別表示觀測、證據、尺度、不變量、歷史、主體、組合、翻譯、治理與缺席。
這些概念都重要,但它們並不處於同一理論層級。若把它們全部平行放入一個多元組,會產生三個問題。
第一,世界結構、認識模型與制度治理被混在一起。
第二,原始項與派生項沒有區分。例如耦合可能由約束依賴導出,張力可能由最小重寫成本導出,邊界可能由核心不變量導出。
第三,理論雖然包含大量詞彙,卻沒有清楚的依賴方向。
因此,新版理論不再追求「把所有重要概念放進同一個元組」,而改為建立分層生成結構。
三、從事實退回到更底層的結構
3.1 事實不是最底層原始項
說某項內容是事實,已經預設:
- 有某種結構;
- 有可被區分的位置或存在者;
- 有關係;
- 有成立條件;
- 有時間或歷史;
- 有適用尺度與層級。
因此,事實不能被當成不可分析的原子。
可以先把事實表示為:
F=Holds(r,x1,…,xn,t,σ,O)
其意義是:
在本體 O 、時間 t 與尺度 σ 下,關係 r 對 x1,…,xn 成立。
事實是派生的成立結構,不是理論最底層材料。
3.2 弱化「存在者」的預設
若理論一開始就使用存在者集合:
E={e1,e2,…}
便預設世界由穩定個體構成。
然而有些本體可能主張:
- 關係先於個體;
- 過程先於實體;
- 事件先於對象;
- 場先於粒子;
- 集體結構先於成員身份。
因此,新版理論先採用較弱的局部載域:
X
X 可以表示:
- 事件位置;
- 差異位置;
- 關係端點;
- 局部狀態;
- 過程片段;
- 尚未被組織成穩定個體的結構單元。
關係集合記為:
R
但 X 與 R 並非完全獨立。位置常透過關係被辨識,而關係也需要可區分的端點。因此兩者共同構成:
S=⟨X,R⟩
稱為結構載域。
四、約束系統與合法歷史
4.1 關係不等於合法性
關係回答:
R:什麼目前成立
約束回答:
Γ:什麼可以成立
如果只有關係而沒有約束,則無法區分:
- 合法配置;
- 矛盾配置;
- 不可能配置;
- 不穩定配置;
- 不具持續性的配置。
因此,需要廣義約束系統:
Γ=⟨ΓL,ΓC,ΓD,ΓI,ΓN⟩
其中:
- ΓL :邏輯與類型約束;
- ΓC :構成與關係約束;
- ΓD :動力與轉換約束;
- ΓI :同一性與持續約束;
- ΓN :規範與制度約束。
這些約束不只作用於單一狀態,也可以作用於整條歷史。
4.2 狀態合法與轉換合法不同
即使:
st⊨Γ
且:
st+1⊨Γ
也不代表:
st→st+1
是合法轉換。
因此,約束系統至少必須區分:
Γ=⟨ΓS,ΓT,ΓH,ΓI⟩
其中:
- ΓS :狀態約束;
- ΓT :相鄰轉換約束;
- ΓH :全歷史約束;
- ΓI :同一性約束。
合法歷史空間因此定義為:
ΠS,Γ={π over S∣π⊨Γ}
可能性不再只是任意想像,而是由結構載域與約束系統共同生成的合法歷史集合。
五、存在者與同一性是派生結構
存在者不必先於歷史。
若不同時間的局部結構在同一性約束下被視為持續,則可寫成:
xt∼Oxt′
存在者可被定義為持續等價類:
e=[x]∼O
也就是:
[x]∼O={y∈X∣y∼Ox}
但 ∼O 不是絕對且無條件的。
它可能依賴:
- 身體連續;
- 因果連續;
- 記憶連續;
- 意圖連續;
- 法律繼承;
- 社會承認;
- 數位狀態連續;
- 分支後的身份規則。
因此,同一組底層結構在不同本體中可能產生不同存在者:
[x]∼O1=[x]∼O2
這使同一性從預設前提變成可被分析與反事實改寫的結構。
六、實際性不能只是一個模型標記
6.1 三種實際性
「實際」至少有三個不同層次。
世界實際性
AW(F)
表示事實 F 真正在世界中被實現。
模型實際性
AmM(F)
表示模型 m 把 F 標記為實際。
認識實際性
Aa,DK(F)
表示主體 a 根據證據 D ,接受 F 為實際。
三者不能混同:
AW(F)=AmM(F)=Aa,DK(F)
它們可能重合,但不必然重合。
世界中已發生的事可能尚未被任何主體知道;模型也可能錯誤地標記事實;主體也可能相信一項並未實現的內容。
6.2 實際性不是普通性質
實際性不是與「紅色」「巨大」「穩定」同類的性質。
不能假定存在某個普通性質 P ,使得:
AW(π)⟺P(π)
任何普通性質都可以出現在非實際可能世界的描述中。
因此,世界實際性更接近:
- 實現關係;
- 模態索引;
- 世界對合法歷史的落實;
- 「這一歷史被實現」的指示位置。
6.3 實際性制度
傳統模型常假定只有一條實際歷史:
∃!π+∈ΠS,Γ
但事實模態本體論不應預先排除其他實際性制度。
令:
ΘA
表示實際性制度。它可以規定:
- 實際歷史是否唯一;
- 是否允許分支;
- 實際性是否具有尺度索引;
- 分支後如何判定同一性;
- 多層事實如何共同成立。
因此,世界本體核心可表示為:
W+=⟨SW,ΓW,AW,ΘA⟩
這是新版理論的最小世界核心。
七、世界核心與認識模型的分離
世界核心是:
W+=⟨SW,ΓW,AW,ΘA⟩
而任何人類、AI、制度或科學理論建立的模型,只能表示為:
Ma=⟨Sa,Γa,Oa,Ea,AaM,UM⟩
其中帽號表示模型重建,而不是世界本身。
因此:
Sa=SW
且通常:
Γa=ΓW
觀測映射可以寫成:
Oa:W→Da(W)
但:
Oa(W)=W
模型更新與世界更新也必須分離:
UW=UM
世界改變不代表模型立即知道;模型修正也不代表過去世界被改寫。
八、事實的正式定義
8.1 事實不等於命題
令 p 為命題, F 為世界事實。
則:
p=F
命題屬於語言與描述系統;事實屬於世界實現結構。
命題為真,表示它正確表徵某項實際事實:
True(p)⟺p 正確表徵某個 F 且 AW(F)=1
8.2 情境化的事實
令情境索引為:
c=⟨O,t,σ,β,ℓ⟩
其中:
- O :本體系統;
- t :時間;
- σ :尺度;
- β :歷史或分支;
- ℓ :本體層級。
一項事實表示為:
F=⟨φ,c⟩
當且僅當:
W,c⊨φ
也就是:
世界在情境 c 中實現了結構條件 φ 。
所以事實不是無索引的裸命題,而是情境化的實現結構。
8.3 事實的主要類型
至少可以區分:
性質事實
P(x)
關係事實
R(x1,…,xn)
事件事實
Occurs(e,t)
過程事實
Process(q,[t1,t2])
歷史事實
FormedBy(x,π)
制度事實
Institutional(F,OI)
模態事實
◊φ,□φ,¬◊φ
某項可能性本身可以是實際成立的模態事實,即使其內容尚未被實現:
AW(◊φ)=1
但:
AW(φ)=0
九、否定、未知、缺席與空位
9.1 否定不等於未知
模型沒有記錄 F ,不能推出 ¬F :
F∈/M⇒¬F
模型層至少應區分:
StatusM(F)∈{T,F,U,I}
分別表示:
9.2 缺席不是普通否定
某人沒有出現在某地,不必然構成「缺席」。
缺席需要一個預期位置:
Absent(x,q,c)
當且僅當:
Expected(x,q,c)∧¬Occupies(x,q,c)
因此:
缺席=預期存在+實際未實現
9.3 空位事實
一個角色可以存在,但沒有人佔據:
Vacant(q,t)⟺RoleExists(q,t)∧¬∃xOccupies(x,q,t)
空位不是純粹的無,而是未被填充的結構位置。
9.4 未發生、未完成與遺漏
三者必須分開。
單純未發生:
¬Occurs(e,t)
未完成:
Started(e)∧¬Completed(e)
遺漏或不作為:
Capable(a,e,c)∧Opportunity(a,e,c)∧¬Acts(a,e,c)
若涉及義務,還需加入:
Ought(a,e,c)
十、制度事實與跨尺度事實
10.1 制度事實
制度事實通常由構成規則生成。
令:
xOICy
表示在制度本體 OI 與情境 C 中,基礎結構 x 被計為制度身份 y 。
制度事實成立的條件可表示為:
InstFact(y,c)⟺∃x[Base(x,c)∧RuleOI(x⇒y)∧Valid(OI,c)]
制度事實不是虛假的次等存在,而是由有效規則、基礎事實與權威程序共同實現的結構。
10.2 權力不能直接等同真理
權威可以構成制度事實,但不能任意重寫所有本體層。
例如:
AuthorityDeclares(F)⇒AWall layers(F)
法院可以改變法律身份,但不能僅靠宣告改變生物狀態。
10.3 跨尺度事實
宏觀事實可能由大量微觀結構形成:
Fσ2=Gσ1→σ2({Fiσ1})
但宏觀事實不必等於微觀事實清單。
它可能依賴:
- 聚合;
- 統計;
- 網路結構;
- 臨界值;
- 長期趨勢;
- 集體模式。
宏觀事實的穩健性可表示為:
s′∈Nϵ(s)⇒G(s)=G(s′)
對足夠多的允許擾動成立。
十一、正事實不是命題清單
正事實世界不應表示為:
F+={F1,F2,…}
而應表示為多層事實圖:
F+=⟨VF,EF,χ,η⟩
其中:
- VF :事實節點;
- EF :事實間關係;
- χ :時間、尺度、分支與層級索引;
- η :世界實現、模型標記、證據與不確定狀態。
事實圖中的關係至少包括:
FiconstitutesFj
FicausesFj
FisupportsFj
FiprecedesFj
FiobligatesFj
FiaggregatesFj
這使事實不再是孤立命題,而是具有構成、歷史、因果、規範與尺度結構的網路。
十二、反事實的重新定義
反事實不能簡單定義為:
¬Actual(F)
因為非實際還包含:
- 不可能;
- 無意義;
- 不完整;
- 不可達;
- 與目前本體無關。
更嚴格的反事實定義為:
CF(O′)⟺¬AW(O′)∧∃Δ[Adm(Δ)∧Δ(O+)=O′]
也就是:
某本體目前未被實現,但可以由對正事實本體施加合格干預而生成。
因此:
反事實⊂非實際
但:
非實際⊂反事實
每一項反事實都必須相對於某個實際基準:
CF(F)⇒∃O+CF(F∣O+)
十三、本體內反事實與跨本體反事實
13.1 本體內反事實
只改變事件、選擇或初始條件:
Δintra:π+→π′
並且:
π+,π′∈ΠS,Γ
基本構成規則不變。
13.2 跨本體反事實
改變約束、同一性、關係類型或實際性制度:
Δtrans:W→W′
即:
⟨S,Γ,A,ΘA⟩→⟨S′,Γ′,A′,ΘA′⟩
跨本體反事實處理的不是「另一件事發生」,而是:
何種東西能存在、如何持續、如何被承認、如何形成責任與如何成為事實。
十四、耦合、張力與邊界的派生
14.1 耦合
若約束同時依賴兩項事實,修改其中一項可能迫使另一項改變。
可定義:
κij=Sens(Fj,ΔFi∣Γ)
所以:
耦合=約束依賴的傳導形式
耦合不必對稱:
κij=κji
14.2 張力
若從本體 Oi 轉為 Oj 需要一系列合法編輯:
η=⟨e1,…,en⟩
則本體張力定義為:
T(Oi,Oj)=η:Oi⇒Ojinfe∈η∑c(e)
因此:
本體張力=本體間最小合法重寫成本
14.3 邊界
令本體 O 的核心不變量集合為:
IO
若變化後仍保持核心不變量等價:
Icore(O)≃Icore(O′)
則 O′ 仍可能位於同一本體邊界內。
可初步定義:
B(O)={O′∣Icore(O)≃Icore(O′)}
當核心不變量系統失效時,才形成真正的跨本體轉換。
十五、事實衝突不等於世界矛盾
令:
F1=⟨φ,c1⟩
F2=⟨¬φ,c2⟩
只有當相關索引對齊時,兩者才可能構成直接矛盾。
嚴格矛盾要求:
Coref(F1,F2)∧Align(c1,c2)∧φ1≡¬φ2
因此:
Contr(F1,F2)⇒Conflict(F1,F2)
但:
Conflict(F1,F2)⇒Contr(F1,F2)
十六、衝突的多層分類
衝突分類函數可表示為:
Ξ(F1,F2)
其輸出屬於:
{NoConflict,Temporal,Scale,Layer,Branch,Jurisdiction,Reference,Semantic,Evidence,Model,Normative,World}
16.1 時間錯位
t1=t2
相反狀態可能只是歷史變化。
16.2 尺度錯位
σ1=σ2
微觀與宏觀描述不同,不必構成矛盾。
16.3 本體層錯位
ℓ1=ℓ2
生物、法律、社會與數位層可以同時給出不同判定。
16.4 分支錯位
β1=β2
不同分支中的相反事實可以共同屬於分支實際性。
16.5 制度與管轄衝突
同一行為在不同制度或管轄區中可能有不同地位。
16.6 指涉衝突
相同名稱可能指向不同存在者;不同名稱也可能指向同一存在者。
16.7 語義與翻譯衝突
跨本體翻譯:
Φi→j:Oi→Oj
通常具有殘差,不能假設完全等價。
16.8 證據衝突
D1⇒F
D2⇒¬F
表示證據結構衝突,不代表世界同時實現二者。
16.9 模型衝突
M1⊨F
M2⊨¬F
可能來自公理、資料、尺度或同一性規則不同。
16.10 規範衝突
同一制度內的有效規則可能推出相反結論。
16.11 世界矛盾
最強形式為:
W,c⊨φ
且:
W,c⊨¬φ
真正的世界矛盾必須是最後判定,而不是第一反應。
十七、局部矛盾容忍
現實知識系統可能暫時同時保留:
F
與:
¬F
但這不應導致任意命題都可推出。
因此應拒絕全面爆炸:
F,¬F⊬G
除非 G 與該衝突存在明確依賴。
這使系統可以:
- 保留互相衝突的資料來源;
- 標記未決;
- 局部封裝矛盾;
- 等待更多證據;
- 避免整體本體崩潰。
十八、多層一致性
整體一致性不是單一布林值。
應定義為:
Con(O,M)=⟨ConL,ConT,ConR,ConS,ConH,ConI,ConE⟩
其中:
- ConL :邏輯一致性;
- ConT :時間一致性;
- ConR :指涉一致性;
- ConS :尺度一致性;
- ConH :歷史一致性;
- ConI :制度一致性;
- ConE :證據一致性。
一個系統可能邏輯一致,但制度衝突;也可能制度一致,但證據不足。這比「整套理論是否矛盾」更接近真實世界。
十九、衝突與本體邊界
衝突不是張力,但可以成為張力來源。
若衝突集合為 EC ,可以定義:
TC(O)=(Fi,Fj)∈EC∑wijsij
其中:
- sij :衝突強度;
- wij :衝突在本體中的核心程度。
衝突也可能沿耦合網路傳播:
PropC(F)=ClC({F,¬F})
若核心區域衝突密度持續升高:
ρC(O)=∣VF∣∣EC∣
且:
ρC(O)≥θC
則問題可能不再只是資料錯誤,而是:
舊有本體已無法穩定容納新的存在形式。
因此,衝突可以成為本體邊界失效的診斷訊號。
二十、新版分層架構
事實模態本體論不應再使用單一平面多元組,而應分為四層。
第一層:世界本體核心
LW=⟨SW,ΓW,AW,ΘA⟩
回答:
- 世界由何種結構構成;
- 哪些狀態與歷史合法;
- 哪些結構被實現;
- 實際性採取何種制度。
第二層:事實與模態結構
LF=⟨F+,Ω,Δ,C,T,B,R⟩
回答:
- 哪些事實已實現;
- 哪些本體可能;
- 如何施加干預;
- 改變如何沿耦合傳播;
- 本體間張力多大;
- 邊界何時被穿越;
- 哪些本體可達。
第三層:觀測與認識模型
LK=⟨O,E,G,Φ,AM,AK,UM⟩
回答:
- 主體如何取得世界資訊;
- 證據如何支持事實;
- 尺度如何切換;
- 不同本體如何翻譯;
- 模型如何標記事實;
- 主體如何形成判定;
- 模型如何修正。
第四層:主體、制度與治理
LA=⟨A,H,M,Q,N⟩
回答:
- 主體如何進行干預;
- 歷史如何限制可達性;
- 組合如何產生湧現結構;
- 權力如何構成制度事實;
- 缺席、排除與空位如何成為本體相關結構。
二十一、新版理論的基本運動
完整運動可表示為:
Wt+OMtΔClC(Δ)TBROΔUWWt+1+
同時,模型進行自己的更新:
MtEMt+1
因此:
UW=UM
世界歷史與認識歷史彼此耦合,但不等同。
二十二、暫定核心公理
以下公理並非最終版本,而是公理化工作的前置骨架。
公理一:事實非命題公理
F=p
公理二:情境索引公理
每項可判定事實都相對於情境索引:
F=⟨φ,O,t,σ,β,ℓ⟩
公理三:實際與認識分離公理
AW(F)⇒Aa,DK(F)
公理四:認識可錯公理
Aa,DK(F)⇒AW(F)
公理五:實際非必然公理
AW(F)⇒□F
公理六:反事實基準公理
CF(F)⇒∃O+CF(F∣O+)
公理七:未知非否定公理
Unknown(F)⇒¬F
公理八:缺席結構公理
Absent(x,q)⇒Expected(x,q)
公理九:制度構成公理
制度事實由有效構成規則、基礎事實與適用情境共同生成。
公理十:尺度索引公理
Aσ1(F)=Aσ2(F)
可以在不矛盾的情況下成立。
公理十一:索引一致矛盾公理
Contr(F1,F2)⇒Align(c1,c2)
公理十二:局部矛盾非爆炸公理
F,¬F⊬G
除非存在明確推理依賴。
公理十三:歷史非抹除公理
State(xt)=State(xt′)⇒Id(xt)=Id(xt′)
公理十四:觀測非世界公理
Oa(W)=W
公理十五:耦合閉包公理
任何構成條件干預都必須考慮其耦合閉包:
ΔC⇒ClC(ΔC)
二十三、理論的計算化方向
新版理論已可以轉化為圖模型。
令本體圖為:
GO=(V,E,Λ)
其中:
- V :事實、角色、事件、規則與存在者節點;
- E :構成、因果、歷史、規範、證據與尺度邊;
- Λ :邊與節點的類型、強度、時間及適用條件。
反事實干預可表示為圖編輯:
Δ:GO→GO′
耦合閉包是干預傳播:
ClC(Δ)
張力是最小合法編輯成本:
T(O,O′)
衝突分類由:
Ξ(Fi,Fj)
完成。
本體重建結果至少分成:
OΔ∈Ωadm
可接受;
OΔ∈Ωinc
局部不一致但可保留;
OΔ∈Ω⊥
無法構成合法本體。
這為後續的 Fact-Modal Ontology Engine 提供了形式基礎。
二十四、理論目前尚未完成的部分
新版統合並不等於理論已經封閉。
仍需處理:
24.1 原始項獨立性證明
需要證明:
- SW ;
- ΓW ;
- AW ;
- ΘA
是否真的不能進一步約化。
24.2 公理相容性
需要檢查暫定公理是否:
- 互相衝突;
- 重複;
- 過強;
- 過弱;
- 隱含未說明的元語言假設。
24.3 判定問題
至少要建立:
Actual(F,O,t,σ,β,ℓ)
Same(xt,xt′,O)
BoundaryCross(O,Δ)
Reach(Oi,Oj,Π)
ConflictType(Fi,Fj)
24.4 反例與極限案例
必須測試:
- 完全相同的複製體;
- 不可觀測但已實現的事實;
- 所有記錄都被消除的存在;
- 因果循環;
- 無個體的純關係世界;
- 完全不可翻譯的本體;
- 多分支共同實際;
- 制度與物理層長期背離;
- 高衝突但仍可運作的本體。
24.5 修復與版本分支
目前已建立衝突分類,但尚未完整建立:
- 最小修復;
- 信念修正;
- 本體版本化;
- 多分支模型保存;
- 核心事實保護;
- 高成本但必要的公理替換。
二十五、研究路線
新版理論之後的合理順序為:
統合架構→公理化→判定理論→反例測試→修復理論→計算模型→總論
可依序形成:
- 《事實模態本體論公理化綱要:原始項、定義、公理與推論規則》
- 《事實模態本體論的判定問題》
- 《事實模態本體論的反例與極限》
- 《事實模態本體論的修復與版本分支》
- 《Fact-Modal Ontology Engine 技術白皮書》
- 《事實模態本體論總論》
二十六、結論
事實模態本體論的第一階段,從正事實與反事實的區分開始。
第二階段加入可能空間、張力、邊界、耦合、可達性與更新。
第三階段又加入觀測、證據、尺度、歷史、主體、治理與缺席。
但真正的理論進展,不是概念數量增加,而是概念依賴關係被重新整理。
新版理論的核心結論如下。
第一,事實不是理論原始項,而是世界在特定情境中實現的結構條件。
第二,存在者不是必然先於關係,而可以由持續性與同一性約束導出。
第三,世界核心可暫時壓縮為:
W+=⟨SW,ΓW,AW,ΘA⟩
第四,世界實際性、模型實際性與認識實際性必須嚴格分離。
第五,正事實世界不是命題集合,而是多層、時序、尺度化的事實圖:
F+=⟨VF,EF,χ,η⟩
第六,反事實不是所有非實際內容,而是相對於正事實基準、可由合格干預生成的未實現結構。
第七,耦合、張力與邊界不必全部作為原始項,而可以分別由約束依賴、最小重寫成本與核心不變量導出。
第八,表面衝突可能來自時間、尺度、層級、分支、制度、指涉、語義、證據或模型錯位。
第九,真正的世界矛盾必須是最後判定。
第十,一致性應被理解為多維向量,而不是單一的「一致/不一致」。
因此,事實模態本體論不再只是:
正事實↔反事實
而是:
世界結構→合法歷史→實際實現→事實網路→反事實干預→耦合傳播→張力與邊界→衝突診斷→世界或模型更新
這標誌著理論已經離開單純的概念生成階段,正式進入公理化、判定與驗證階段。
附錄 A:核心符號表
| 符號 |
意義 |
| SW |
世界結構載域 |
| X |
可區分的局部位置或結構單元 |
| R |
關係集合 |
| ΓW |
世界約束系統 |
| ΓL |
邏輯與類型約束 |
| ΓC |
構成與關係約束 |
| ΓD |
動力與轉換約束 |
| ΓI |
同一性與持續約束 |
| ΓN |
規範與制度約束 |
| Π |
合法歷史空間 |
| AW |
世界實際性 |
| AM |
模型實際性標記 |
| AK |
認識主體的實際性判定 |
| ΘA |
實際性制度 |
| F+ |
正事實網路 |
| Ω |
可能本體空間 |
| Δ |
反事實干預 |
| C |
關係耦合 |
| T |
本體張力 |
| B |
本體邊界 |
| R |
可達關係 |
| O |
觀測映射 |
| E |
證據結構 |
| G |
尺度轉換 |
| Φ |
跨本體翻譯 |
| UW |
世界更新 |
| UM |
模型更新 |
| Ξ |
衝突分類函數 |
| Con |
多層一致性向量 |
附錄 B:最小判定流程
對任意兩項候選事實 F1 與 F2 ,可依序進行:
- 指涉解析;
- 時間對齊;
- 分支對齊;
- 尺度對齊;
- 本體層對齊;
- 制度與管轄對齊;
- 語義翻譯;
- 證據可靠性檢查;
- 模型規則比較;
- 真正矛盾判定;
- 耦合傳播分析;
- 本體邊界壓力評估。
其形式化概略為:
(F1,F2)NC(F1,F2)ΞτCClCImpactTBoundaryPressure
附錄 C:版本說明
v0.2 相較於 v0.1 的主要變化:
- 從平面多元組改為分層理論;
- 將事實與存在者改為派生結構;
- 將世界實際性、模型實際性與認識實際性分離;
- 引入實際性制度 ΘA ;
- 正式定義情境化事實;
- 納入否定、缺席、空位、未發生與制度事實;
- 建立本體內與跨本體反事實的嚴格區分;
- 將耦合、張力與邊界改為可導出結構;
- 建立十二類衝突分類;
- 引入局部矛盾容忍與多層一致性向量;
- 明確將下一階段設定為公理化、判定、反例與計算實作。