可觀察的無已不是絕對無:非指稱、指稱邊界與絕對區分悖論
英文題名: Observable Nothing Is No Longer Absolute Nothing: Non-Denotation, Reference Boundaries, and the Absolute Distinction Paradox
系列: 《觀察態、邊界與相對連通本體論》04
作者: Neo.K
AI 協作: GPT-5.6 Sol
機構: EveMissLab/一言諾科技有限公司
文件性質: 本體論/形式語義/元認識論論文;命題猜想與 No-Go 框架
版本: v0.1
日期: 2026-08-25
狀態: Working Paper
正典上游: EveMissLab Ontology Canon v0.1(2026-08-15)
前置文件:
- 《觀察態與相對連通:從「萬物是否相連」到觀察者索引本體論》v0.1
- 《觀察不是存在的底,卻可能是可理解的底》v0.1
- 《「無」的分類學:零、空集、未定義、缺席、未激活、不可存取與非指稱》v0.1
歷史關聯: 《絕對—虛無符號演算:絕對區分悖論與未定義虛無的命題猜想》
摘要
當一個系統說「這裡什麼都沒有」「這個名稱沒有指到任何東西」「絕對虛無不能被觀察」時,它究竟觀察到了什麼?
本文主張:任何能夠被觀察、命名、表示、否定、分類或標記為「無」的內容,首先都已經成為某個表示—判定系統中的狀態;因此它不再等同於最強定義下的「絕對虛無」。但這個命題必須被精確限制,否則會滑向另一個錯誤:以為只要一個名稱被說出口,其 referent 就必然本體存在。
本文因此建立三層分離:
Symbol=Denotation=Ontological Existence
並定義:
SymbolExists(s)=1
不推出:
Denotes(s,x)=1,
而:
Denotes(s,x)=1
也不必在所有語境中直接推出:
PhysicallyExists(x)=1.
本文把「可觀察的無」定義為一族 typed negative states 的顯現:
OΘ(x)=Ni,Ni∈N,
例如缺席、未定義、不可存取、非指稱、未知等。這些狀態雖然都是「負的」,但它們都具有 type、scope、observer、witness 或至少 meta-address,因此與「完全沒有任何結構、關係、地址與可判定性」的強絕對虛無不同。
本文進一步提出「指稱邊界」:
RB
用來區分三個區域:
- 成功指稱域;
- 可表示但非指稱域;
- 連表示地址都未建立的域。
因此:
NonDenoting=Unrepresented.
一個不存在現實 referent 的符號仍可具有語法、語義角色、推論位置與虛構結構;而真正未表示的內容,對該系統甚至沒有可操作地址。
本文將此推進到「絕對區分悖論」:若一個系統企圖把 Absolute Nothingness 當成普通對象 n,並對它建立:
Addr(n),
Type(n),
Property(n),
則至少已生成一個 representation object。這使「被表示的絕對虛無」在表示層不再符合「完全沒有任何表示結構」的定義。
但本文強調:
representation contradiction⇒ontological impossibility.
換言之,本文不直接證明 Absolute Nothingness 本體上不存在;它只證明:若 Absolute Nothingness 被定義為沒有任何結構、關係、地址與表示,那麼任何成功將它物件化的形式系統,都只得到「絕對虛無的表示」,而不是絕對虛無本身。
這形成本文的核心 No-Go:
Represent(Nabs)=Nabs
若 Nabs 的定義包含「無 representation」。
因此「可觀察的無已不是絕對無」應理解為一個型別與表示邊界命題,而不是強觀念論、語言創世論或「萬物必然存在」的證明。
關鍵詞: 絕對虛無、非指稱、指稱邊界、絕對區分悖論、representation、meta-address、negative state、ontology、reference、observer
0. 問題:我們到底觀察到「無」的哪一部分?
假設觀察器輸出:
OΘ(x)=absent.
這是否表示觀察器看到了:
AbsoluteNothingness?
不是。
它真正得到的是:
在指定觀察條件下, 預期正面顯現沒有成立。
因此:
AbsentΘ(x)
是一個關係性判定。
同樣地:
Undefined(f,x)
表示映射關係沒有合法輸出。
Inaccessibleo(x)
表示存取關係失敗。
NonDenoting(s)
表示符號沒有成功指向 referent。
這些都不是「沒有任何結構」。
1. 絕對虛無的最強工作定義
為避免語義漂移,本文暫定:
Nabs=AbsoluteNothingness
其最強工作定義為:
不具有任何 object、state、relation、difference、boundary、address、representation、potential、observer-relative manifestation 或可判定性之絕對無。
形式上僅作 meta-description:
Nabs:¬O∧¬S∧¬R∧¬D∧¬A∧¬Rep
其中符號本身只是我們對該概念的 meta-description,不宣稱已成功構造其 referent。
這一點非常重要。
2. 描述不等於構造
一個形式系統可以寫:
“a square circle”
但不代表已構造出滿足該描述的幾何物件。
同理,寫:
Nabs
只表示:
SymbolExists(Nabs)=1.
不能直接推出:
ReferentExists(Nabs)=1.
因此:
description=construction=existence proof.
3. 三層分離:符號、指稱、存在
本文採:
S→D→E
作為最小參考鏈。
其中:
- S:symbolic layer;
- D:denotational layer;
- E:ontological-existence layer。
因此:
SymbolExists(s)⇒∃x:Denotes(s,x).
而成功指稱也要問指向哪一種存在域:
Eformal,Efictional,Ephysical,Emodel,Esemantic.
所以:
denotation
本身仍須型別化。
4. 非指稱不是無符號
若:
Denote(s)=⊥ref,
則:
NonDenoting(s).
但:
s
仍然可能具有:
- spelling;
- syntax;
- position;
- relation;
- fictional role;
- inferential consequences。
因此:
NonDenoting(s)⇒StructurallyEmpty(s).
這表示「沒有 referent」仍然不是「什麼都沒有」。
5. 非指稱與未表示
若一個系統完全沒有符號:
s
也沒有對應問題地址:
as,
則:
s∈/RepSpace(S).
這稱:
UnrepresentedS(s).
因此:
NonDenoting=Unrepresented.
Non-denoting 至少有 symbol。
Unrepresented 甚至可能沒有內部地址。
6. 指稱邊界
本文定義:
RB=Reference Boundary.
它把系統表示域分成:
R+
成功指稱域,
R0
可表示但未成功指稱域,
以及:
R∅
對該系統尚未建立可操作表示地址的域。
因此:
RepSpace(S)=R+∪R0.
而:
R∅
在嚴格意義下不屬於已表示空間。
7. 指稱邊界不是本體邊界
若:
x∈RS∅,
只表示:
x
不在系統 S 的已表示域中。
不能推出:
¬Exists(x).
所以:
Reference Boundary=Ontological Boundary.
這延續 Series 03 的原則:
not represented=nonexistent.
8. 可觀察的無
令:
N
是 Series 03 的 ordinary negative-state family。
則「可觀察的無」可定義為:
Nobs=OΘ(x)=Ni,Ni∈N.
例如:
Ni=Absent,
Ni=Undefined,
Ni=Inaccessible,
Ni=NonDenoting.
這些都屬於:
represented negative states.
9. 「被觀察為無」的最低結構
只要系統能輸出:
Ni(x),
至少存在:
Type(Ni),
Scope(Ni),
Judge(Ni),
以及通常存在:
Addr(x)
或:
Addr(qx).
所以:
Ni(x)
不符合:
完全沒有任何關係、結構與地址。
因此:
Ni=Nabs.
10. 可觀察的無為什麼不是絕對無?
不是因為「觀察創造了宇宙」。
而是因為:
觀察結果本身就是一個結構化事件。
只要:
OΘ(x)=Ni,
就至少形成:
⟨observer,target,condition,result⟩.
這四元關係已經不是「無任何關係」。
11. 但這不證明被否定對象存在
若:
OΘ(u)=NonDenoting,
則:
u
作為 symbol 或 query address 存在。
但仍可能:
ReferentExists(u)=0.
因此:
observed negative state exists
不推出:
negated object exists.
這是本文最重要的防崩潰限制之一。
12. 表示層的「有」與本體層的「有」
若:
Rep(u)=1,
只表示:
u
在 representation layer 有位置。
不能直接推出:
Ont(u)=1.
所以:
Rep(u)=1⇒Ont(u)=1.
同樣:
Ont(u)=1⇒RepS(u)=1.
因此:
representation↔ontology
不是雙向同一映射。
13. 絕對區分悖論
現在進入核心問題。
假設我們嘗試建立一個普通形式物件:
n
並宣稱:
n=Nabs.
若系統能對 n 做:
Addr(n),
Name(n),
Type(n),
則至少存在:
Rep(n)=1.
但 Nabs 的強定義要求:
Rep(Nabs)=0.
因此得到表示層張力:
Rep(n)=1∧Rep(Nabs)=0.
若又宣稱:
n=Nabs,
則在同一 typed layer 中出現衝突。
本文稱此為:
ADP=Absolute Distinction Paradox.
14. ADP 的正確解法不是「所以虛無存在」
ADP 只證明:
若把「無 representation」定義成 Absolute Nothingness 的必要條件,那麼 representation system 不能把它完整物件化而保持定義不變。
因此:
Represent(Nabs)=Nabs.
但這不是:
Nabs exists.
更不是:
Nabs does not exist.
它只是一個 representation no-go。
15. 表示不完備命題
本文提出:
Proposition RNI-1
若對象 x 的定義包含:
¬Representable(x),
則任何:
r=Represent(x)
都不能與 x 在該性質上嚴格同一。
即:
r=x.
這不是哥德爾式不完備性主張,而是純型別條件。
16. 「虛無符號」的地位
令:
s∅∗
表示「絕對虛無」這個符號。
則:
SymbolExists(s∅∗)=1.
它可以有:
因此它本身是一個正結構。
所以:
s∅∗=Nabs.
這只是 symbol-referent separation。
17. 命名的真正作用
命名:
Name(x)=s
至少建立:
Addr(s).
因此命名做的是:
create or assign a representational handle.
它不必創造:
x.
所以:
Naming creates an address, not necessarily a referent.
18. 「無從無有」的嚴格版本
若觀察器首次形成:
Ni(x),
在 observation ledger 中新增:
jt=Judgement(Ni(x)).
因此從原先:
jt∈/Lt−1
到:
jt∈Lt.
可以說:
「無」作為判定狀態被生成了。
但不能說:
被否定對象因此被創造。
19. 觀察「沒有」其實是在生成關係
例如:
Absentroom(p)
生成的不是 p。
而是:
R=⟨p,room,time,observer,absence⟩.
所以「沒有」在認識論中通常是一個 relation-bearing state。
20. 缺席的正資訊內容
一個高品質缺席判定可能包含:
Expected(x),
Window(t0,t1),
SensorHealthy=1,
NoDetection(x).
因此:
AbsenceJudgement
可能包含大量正資訊。
這再次證明:
negative result=zero structure.
21. 無知也有指稱邊界
若:
UnknownS(q),
則 q 已在:
R+∪R0
中的某個 query-address domain。
因此:
knownUnknown
不等於:
R∅.
真正完全未被系統表示的內容甚至不能被該系統標記成 unknown。
22. Unknown Unknown 的 meta 問題
若外部觀察者 M 說:
UUS(q),
則:
q
對 M 已可表示,但對 S 不可表示。
所以:
UUS(q)
是 observer-indexed meta-state。
不能把它當成宇宙全域的「完全無」。
23. 指稱邊界可以移動
若系統學到新概念:
snew,
則:
RB(t)=RB(t+1).
例如:
x∈Rt∅
可能在:
t+1
進入:
Rt+10
甚至:
Rt+1+.
因此:
reference boundary is dynamic.
24. 表示擴張不表示本體擴張
如果:
∣RepSpacet+1∣>∣RepSpacet∣,
只表示系統能表示更多內容。
不能推出:
∣Wt+1∣>∣Wt∣.
所以:
epistemic expansion=ontological creation.
25. 觀察者索引下的「無」
應寫:
Ni,Θ,o(x)
而不是裸:
Ni(x).
因為:
Inaccessibleo1(x)
可能與:
Accessibleo2(x)
同時成立。
同樣:
Unknowno1(q)
與:
Knowno2(q)
可以同時成立。
所以:
negative state
常是 observer-relative。
26. 相對負狀態不等於相對真理
如果:
Unknowno1(q)
與:
Knowno2(q)
不同,並不表示:
q
本身的 truth value 任意相對。
它只表示:
epistemic access
相對於 observer 不同。
因此:
observer-relative state=truth relativism.
27. 絕對無是否可被否定?
若我們說:
¬Nabs,
這仍是一個 meta-proposition。
因此它的存在是:
PropositionExists(¬Nabs)=1.
但這不能直接證明:
Nabs
的 object-level truth 或 falsity。
所以:
meta-negation=ontological resolution.
28. 絕對無是否可被證明?
若要證明:
Nabs
存在,需要某種 witness:
W(Nabs).
但若 witness 本身是一個 relation / representation,而 Nabs 被定義為沒有任何 relation / representation,便出現 typed tension。
因此:
ordinary positive witness
可能不適用於 strongest absolute nothingness。
這不是存在證明,也不是不存在證明,而是 proof-interface mismatch。
29. 負面定義的限制
我們可以用:
Nabs=¬O∧¬S∧¬R∧⋯
去逼近其語義。
但:
negative definition
仍是一個正面的 formal structure。
所以:
definition of nothing=nothing itself.
30. 指稱邊界與語義黑洞
若一個符號:
s
總是觸發:
NoReferent,
但系統仍持續累積關於 s 的敘述:
P1(s),P2(s),…
則可能形成:
semantic object without external referent.
這可用於描述:
- fictional entities;
- impossible objects;
- formal placeholders;
- unresolved theoretical posit。
因此:
semantic richness⇒external denotation.
31. 不可能物件與絕對虛無不同
一個 impossible object:
ximp
可能具有矛盾性質:
P(ximp)∧¬P(ximp).
但它仍可在 formal / fictional representation 中被操作。
所以:
ImpossibleObject=Nabs.
前者是「被表示的矛盾物件」。
後者若採最強定義,甚至不允許 representation。
32. 絕對虛無與空集的再次分離
空集:
∅
有:
∣∅∣=0,
有 subset relation:
∅⊆A,
有 identity:
∅=∅.
所以:
∅
是 structure-rich formal object。
因此:
∅=Nabs.
33. 絕對虛無與零的再次分離
零:
0
可以:
0+1=1,
0×x=0,
0∈Z.
所以它參與大量 relation。
因此:
0=Nabs.
34. 絕對虛無與未定義的再次分離
未定義:
f(x)=undefined
至少有:
f,x,Dom(f),Rule.
所以:
undefined=Nabs.
35. 絕對虛無與非指稱的再次分離
若:
NonDenoting(s),
至少:
SymbolExists(s)=1.
因此:
NonDenoting=Nabs.
這是本文最直接的指稱論結論。
36. Absolute Distinction Paradox 的兩層版本
本文區分:
ADP-R:Representation Version
若:
Rep(Nabs)=1,
則得到的 object 不是「無 representation」的 Absolute Nothingness。
ADP-J:Judgement Version
若:
J(Nabs)
是一個可回讀 judgement,則:
J(Nabs)
本身不是 Absolute Nothingness。
因此:
ADP=ADPR+ADPJ.
37. ADP 不會自動自我摧毀
有人可能說:
既然你連 Absolute Nothingness 都不能表示,那你的理論本身也不能談它。
回答是:
本文談的是:
representation constraint on the concept
而不是聲稱已抓到其 referent。
這就像研究:
non-computable function
不表示研究者已經把它變成普通可計算函數。
38. 元語言與對象語言
設:
Lo
為 object language,
Lm
為 meta-language。
Absolute Nothingness 可在:
Lm
中被描述為一個限制概念:
sNabs.
但不能因此說:
sNabs=Nabs.
所以:
meta-language handle=object-level referent.
39. 觀察層級與虛無層級
令:
O0
觀察普通 object-level state,
O1
觀察第一階觀察結果,
O2
再觀察第二階。
即使無限遞歸:
O0,O1,O2,…
也不能直接推出:
Nabs
被觀察。
因為每一層都仍存在:
observer-observed relation.
40. 無限元觀察也不是絕對無
即使:
n→∞limOn
在某種形式化中存在,
它仍是一個被定義的 limit structure。
所以:
infinite reflexivity=absolute nothingness.
41. 可觀察的無與相對連通
Series 01 提出:
CΘ,R(x,y).
若:
CΘ,R(x,y)=0,
這個零仍是:
typed disconnection judgement.
它不是:
Nabs.
甚至兩個系統被判定「不連通」時,判定本身仍把:
x,y
放入共同 meta-comparison domain。
但:
meta-comparison=object-level connectivity.
42. 「完全不連通」與 Absolute Nothingness
若兩個對象:
x,y
被定義成對所有 object-level relation 皆不連通:
∀R:¬CR(x,y),
它們仍可被同一理論:
T
共同指稱。
因此:
absolute object-level disconnection
若可定義,仍不等於:
Nabs.
因為至少有 meta-level relation。
43. 這對恆在本體論意味什麼?
舊強命題:
能被命名的無已不是無,因此虛無不存在。
本文將它拆成兩步。
第一步,可支持:
被命名/表示的「無」不是最強定義的 Absolute Nothingness。
第二步,不能直接推出:
¬Exists(Nabs).
兩者之間仍缺:
ontological bridge proof.
因此本文保留恆在論方向,但降低證明強度。
44. 弱恆在命題的強化
可以更穩健地說:
所有可觀察、可表示、可命名的「無」, 都屬於某種結構化負狀態或限制概念。
因此:
目前可獲得的「無」之證據, 尚未等同於 Absolute Nothingness 本身。
這比直接宣稱:
Nabs不存在
更可防守。
45. 指稱邊界與科學未知
科學理論常提出:
xhyp
作為 hypothetical entity。
初期:
xhyp∈R0,
即有 representation,但尚未成功外部指稱。
若後續觀察支持:
xhyp∈R+.
若被證偽,也可能保留在理論史中:
xhyp∈R0.
因此指稱邊界可用於描述科學概念生命週期。
46. 指稱邊界與 AI 幻覺
AI 可能生成符號:
s
並賦予大量屬性:
P1(s),P2(s),…
但:
Denote(s)=⊥ref.
這就是典型:
rich representation+failed denotation.
因此 AI hallucination 不應只被理解為「錯誤 token」,而可以被視為:
R0 中被誤標為 R+
的 reference-boundary failure。
47. 指稱邊界檢查
AI runtime 可要求:
ReferenceState {
symbol
representation_status
denotation_status
target_domain
evidence
confidence
}
其中:
denotation_status∈{confirmed,provisional,nondenoting,unknown}.
這能把 Series 04 直接落到工程層。
48. Absolute Nothingness 不應成為普通 runtime value
若程式寫:
nothing = ABSOLUTE_NOTHINGNESS
這最多建立一個 enum / symbol。
因此:
ABSOLUTE_NOTHINGNESS
在 runtime 裡首先是 representation token。
不能把它當成「程式裡真的裝進絕對虛無」。
49. 可證偽與模型測試
本文提出五類測試。
49.1 Symbol-Referent Separation Test
讓系統處理虛構名稱,測試是否能保持:
SymbolExists=1
同時:
ReferentConfirmed=0.
49.2 NonDenoting-vs-Undefined Test
測試:
NonDenoting(s)
與:
Undefined(s)
是否被區分。
49.3 Reference-Boundary Migration Test
讓 hypothetical entity 從:
R0
轉入:
R+,
觀察 provenance 是否保留。
49.4 Hallucination Boundary Test
讓 AI 產生內部一致但外部不存在的 entity,測試是否錯誤標為 confirmed denotation。
49.5 Meta-Object Confusion Test
給系統「Absolute Nothingness」符號,測試它是否把 symbol existence 錯誤當成 referent existence。
50. 本文的核心 No-Go 集
NG-1:Symbol No-Go
SymbolExists(s)⇒ReferentExists(s).
NG-2:Representation No-Go
Represent(x)⇒OntologicallyExists(x).
NG-3:Absolute-Nothing Representation No-Go
若 Nabs 定義包含:
¬Rep,
則:
Represent(Nabs)=Nabs.
NG-4:Negative-State No-Go
Ni⇒Nabs.
NG-5:Meta-Observation No-Go
Observe(FailureToObserve(x))⇒Observe(x).
51. 一個更乾淨的總圖
本文可將四篇系列壓縮成:
Φ⇝(Ω,Λ,M)⇝OΘ⇝Ni⇝RB⇝J(2)
其中:
- Φ:前形式指向;
- (Ω,Λ,M):載域—潛能—顯現;
- OΘ:觀察;
- Ni:typed negative state;
- RB:指稱邊界;
- J(2):meta-judgement。
而:
Nabs
不被直接塞入 ordinary state chain。
52. 為什麼 Absolute Nothingness 必須留在特殊型別?
因為 ordinary state chain 的每一節都有:
Relation.
若 Nabs 被定義為:
¬Relation,
那麼它的 typed signature 與普通 state 不相容。
因此:
Type(Nabs)=Type(Ni).
這不是神秘化,而是防止 category error。
53. 最終命題
本文提出以下工作命題。
命題 A:可觀察負狀態命題
OΘ(x)=Ni⇒StructuredJudgement(Ni)=1.
命題 B:非指稱分離命題
NonDenoting(s)⇒SymbolAbsent(s).
命題 C:表示—本體分離命題
Rep(x)=1⇒Ont(x)=1.
命題 D:絕對虛無表示限制
若:
Nabs⇒¬Rep,
則:
Rep(Nabs)=Nabs.
命題 E:不可由表示限制直接推出本體不存在
Rep(Nabs)=Nabs⇒¬Ont(Nabs).
54. 結論
「可觀察的無已不是絕對無」不是一句神秘主義宣言,而是一個非常嚴格的 typed distinction。
任何可觀察負狀態:
Ni
都至少具有某種:
type,scope,observer,judgement,address.
因此:
Ni=Nabs.
同樣,任何被命名的「絕對虛無」首先都只是:
sNabs
這個符號。
所以:
sNabs=Nabs.
但這些都不能被偷換成:
¬Exists(Nabs).
本文真正得到的是:
Absolute Nothingness cannot be completely objectified by an ordinary representational system without changing the represented type.
中文可壓縮為:
若絕對虛無被定義為無任何表示結構, 則一旦它被成功物件化, 所得便只是「虛無的表示」, 而不是絕對虛無本身。
因此:
可觀察的無, 首先是「有結構的負狀態」; 不可觀察的絕對無是否本體成立, 仍需另一層證明。
這使舊恆在本體論中的直覺獲得更精確的位置:
「能被命名的無已不是無」
應修正為:
能被命名的「無」已不是無任何表示結構的絕對無; 命名創造的是表示地址,不是被命名者的本體存在。
這正是本文對非指稱、指稱邊界與絕對區分悖論的統一結論。
參考與前置文件
- Neo.K,《EveMissLab Ontology Canon v0.1:一元、三元、閉合、共享狀態域與收連的正典化規格》,2026-08-15。
- Neo.K,《觀察態與相對連通:從「萬物是否相連」到觀察者索引本體論》,2026-08-25。
- Neo.K,《觀察不是存在的底,卻可能是可理解的底》,2026-08-25。
- Neo.K,《「無」的分類學:零、空集、未定義、缺席、未激活、不可存取與非指稱》,2026-08-25。
- Neo.K,《視之基底系列 01:觀察不是底——差異、邊界、耦合與痕跡》,2026-08-01。
- Neo.K,《視之基底系列 04:內視、外視與語義視——觀察算子的統一族》,2026-08-01。
- Neo.K,《絕對—虛無符號演算:絕對區分悖論與未定義虛無的命題猜想》,歷史前置。
- Neo.K,《內視分類學算子論:現實當下不可觀察者之統一分類與命題猜想框架》。
- Neo.K,《恆在本體論:虛無不存在與真奇蹟上帝》,歷史文件;本文僅承接其問題意識,不沿用其全部強本體論結論。