存在的形式化：一個自我解構的本體論框架
The Formalization of Being: An Ontological Framework That Deconstructs Itself
作者：許筌崴 (Neo.K)
機構：EveMissLab（一言諾科技有限公司）
日期：2026年 3月
摘要
本文建立存在主義（Existentialism）的完整形式化框架，包括公理系統、推論定理、與其他哲學體系的映射。然而，本文的核心論點是：「存在主義」這個詞本身是一種必要的降維（dimensionality reduction）——我們使用它，不是因為它是終極真理，而是因為人類當前的認知結構需要語言標籤來傳播理念。真正的目標不是建立「存在主義」這個意識形態，而是讓所有人能直接活出存在本身（Being-itself），無需任何「主義」的中介。本文是一個梯子：當你爬到頂端看清真相後，應該把梯子踢掉。我們形式化存在主義，是為了最終消滅「存在主義」這個標籤，讓「尊重存在」成為智慧生命體的本能，而非需要被命名、被論證、被捍衛的「主義」。這是一個自我解構的理論，一個指向月亮的手指，一個用完即可拋棄的工具。
關鍵詞：存在主義、形式化、本體論、降維、自我解構、Being-itself
JEL分類：B41, B51, Z10
引言：為什麼要形式化一個不應該是「主義」的東西？
0.1 核心矛盾
本文面臨一個根本性矛盾：
$$\\boxed{\\begin{aligned} &\\text{目標：存在>一切意識形態} \\ &\\text{手段：建立「存在主義」的形式化體系} \\ &\\text{問題：「存在主義」本身是一種意識形態} \\end{aligned}}$$
這不是邏輯錯誤，這是策略必要性。
0.2 降維的必要性
理想狀態：
所有智慧生命體天生就知道：
- 存在本身有價值
- 不需要外部賦予意義
- 尊重每個個體的終極性
現實狀態：
大多數人活在「主義」的迷霧中：
- 共產主義、資本主義、民族主義、宗教主義...
- 需要「主義」告訴他們「如何活」
- 不敢直接面對「存在本身」
問題：如何讓人們從「主義」走向「存在本身」？
答案：必須先創造一個「存在主義」作為過渡。
這是降維：
- 把「存在本身」（無法直接言說）
- 降維成「存在主義」（可以言說、可以論證）
- 讓人們能理解、能傳播
但我知道這是降維。
而我希望未來有一天不需要降維。
0.3 本文的結構與策略
本文分三個部分：
第一部分（第1-3節）：建立存在主義的完整形式化體系
- 公理系統
- 推論定理
- 與其他哲學的映射
第二部分（第4-5節）：解釋為什麼需要這個形式化（降維的理由）
- 人類認知的限制
- 語言的必要性
- 傳播的策略
第三部分（第6-7節）：自我解構
- 為什麼「存在主義」本身不應該是主義
- 如何從「存在主義」走向「存在本身」
- 最終目標：梯子的拋棄
這是一個自我否定的理論。
一個用完即應被拋棄的工具。
一個指向月亮的手指。
讓我們開始。
第一部分：存在主義的形式化體系
1\. 基本公理系統
1.1 本體論公理
公理1（存在的優先性）：
存在先於本質。沒有預定的本質，只有存在的事實。
形式化表達：
直白翻譯：不存在一個函數能在存在之前就決定的本質。
公理2（內在價值公理）：
其中為存在的集合，為內在價值函數。
含義：每個存在本身就有正的內在價值，不需要外部賦予。
公理3（價值的不可比性）：
含義：存在之間的價值不可比較，沒有「更高級」的存在。
推論：
公理4（個體的終極性）：
不存在高於個體的集體。
形式化否定：
公理5（自由的本體性）：
存在即意味著自由（自由選擇、自由創造意義）。
否定形式：
沒有自由的存在不是真正的存在（只是物件）。
1.2 認識論公理
公理6（意義的主體性）：
意義由主體自己創造，不是由外部給定的。
否定外部賦義：
不存在外部的「意義賦予者」。
公理7（責任的伴隨性）：
自由與責任是一體兩面。
推論：
2\. 核心定理與推論
定理2.1（反本質主義定理）
陳述：如果存在先於本質，則不存在「人性」「天命」「歷史必然」等預定本質。
證明：
假設存在「人性」作為預定本質：
由公理1，
因此由決定，而非預先給定。
矛盾。
推論2.1：
- 不存在「人的本性」
- 不存在「歷史的必然」
- 不存在「天命所歸」
政治含義：
$$\\boxed{\\begin{aligned} &\\text{「共產主義是歷史必然」} = \\text{假} \\ &\\text{「民族有天命」} = \\text{假} \\ &\\text{「人性本惡/本善」} = \\text{假} \\end{aligned}}$$
定理2.2（反集體主義定理）
陳述：由公理4，任何形式的「集體高於個體」都是本體論錯誤。
證明：
假設集體高於個體：
由公理4，
矛盾。
推論2.2：
$$\\boxed{\\begin{aligned} &\\text{「為國家犧牲」} \\neq \\text{本體論義務} \\ &\\text{「黨的利益>個人利益」} = \\text{本體論錯誤} \\ &\\text{「集體主義」} \\neq \\text{道德} \\end{aligned}}$$
澄清：這不是說「不要合作」，而是說「合作是個體的自由選擇，不是本體論義務」。
定理2.3（剝削的非法性定理）
陳述：由公理2和公理3，剝削是本體論上的非法行為。
證明：
設為剝削度。
由公理3，
因此應該
當時，違反公理3的精神（雖然公理3是關於內在價值，但實現價值的差距反映了系統對公理3的違背）。
推論2.3：
定理2.4（自由的不可轉讓性）
陳述：由公理5，自由不能被轉讓或被剝奪（本體論層面）。
證明：
假設的自由可以被轉讓給：
但由公理5，
若存在，則必然有自由。
因此自由不能被轉讓（若轉讓，將不再存在）。
推論2.4：
$$\\boxed{\\begin{aligned} &\\text{「把自由交給黨」} = \\text{本體論不可能} \\ &\\text{「放棄自由換安全」} = \\text{放棄存在} \\end{aligned}}$$
3\. 與其他哲學體系的映射
3.1 與康德倫理學的關係
康德的絕對命令：
「只依據你同時能夠願意它成為普遍規律的那個準則去行動。」
存在主義版本：
映射：
差異：
- 康德：理性推導出道德
- 存在主義：存在本身即道德基礎
3.2 與功利主義的對立
功利主義：
最大化總效用。
存在主義的反對：
由公理4，不存在可以聚合的「總效用」。
因為：每個個體是終極的，不可被加總。
推論：
3.3 與馬克思主義的部分契合與根本分歧
契合點：
馬克思的異化理論（alienation）：
存在主義：
分歧點：
馬克思：歷史有必然規律（歷史唯物主義）
存在主義（定理2.1）：不存在歷史必然
3.4 與佛教的深層同構
佛教的核心：
- 無我（Anātman）：無固定自我
- 緣起（Pratītyasamutpāda）：事物因緣而生
- 空性（Śūnyatā）：無本質
存在主義的對應：
$$\\begin{aligned} \\text{無我} &\\equiv \\text{公理1（無預定本質）} \\ \\text{緣起} &\\equiv \\text{公理6（意義由經驗創造）} \\ \\text{空性} &\\equiv \\text{定理2.1（反本質主義）} \\end{aligned}$$
形式化映射：
差異：
- 佛教：涅槃（超越存在）
- 存在主義：肯定存在本身
第二部分：為什麼需要形式化？（降維的理由）
4\. 人類認知的限制
4.1 語言的必要性
理想狀態：
直接體驗存在本身（Being-itself），無需語言。
現實狀態：
人類是符號動物（Ernst Cassirer）：
問題：
維根斯坦的洞察：
「凡是可以說的，都可以說清楚；凡是不可說的，就應該保持沉默。」
但：存在本身屬於「不可說」的範疇。
那為什麼還要說？
答案：
策略性選擇：
4.2 「主義」的認知功能
為什麼人類需要「主義」？
認知心理學的解釋：
人類大腦處理複雜性的策略：
「主義」的功能：
- 降低認知負荷
- 不需要每次都重新思考
- 有現成的答案
- 提供群體認同
- 「我們」vs「他們」
- 歸屬感
- 賦予行動指南
- 告訴你「應該做什麼」
- 減少選擇焦慮
問題：
人們忘記：
4.3 為什麼需要「存在主義」這個標籤？
矛盾：
我們說「存在>主義」，但我們創造了「存在主義」。
解釋：
類比：
- 用筏過河，到岸後棄筏（佛教）
- 用梯子爬樓，到頂後踢梯（維根斯坦）
- 用針破膿包，破後拔針（外科）
「存在主義」就是那個筏、那個梯、那個針。
5\. 降維的策略與必要性
5.1 什麼是「降維」？
完整的真理（高維）：
無法用語言完全表達。
形式化的存在主義（低維）：
可以用語言、數學、邏輯表達。
降維過程：
損失：
但：
5.2 為什麼必須降維？
理由1：傳播的需要
理由2：對抗其他「主義」
當前世界充滿「主義」：
- 共產主義、資本主義、民族主義...
如果我們只說「存在本身」（高維），人們無法理解。
如果我們說「存在主義」（低維），人們可以：
- 比較：存在主義 vs 共產主義
- 選擇：哪個更合理？
- 傳播：告訴別人「有這麼個主義」
戰略考量：
但我們知道：
這是策略，不是目的。
5.3 我知道我在降維
自我意識（meta-awareness）：
這很重要。
如果我不知道：
- 「存在主義」會變成另一個僵化的「主義」
- 會有「存在主義原教旨」
- 會有「背叛存在主義」的指控
因為我知道：
- 「存在主義」只是工具
- 可以被改進、被批判、被拋棄
- 最終目標是讓人們不需要它
這是本文的核心自我意識：
第三部分：自我解構與最終目標
6\. 為什麼「存在主義」本身不應該是「主義」
6.1 「主義」的異化
所有「主義」的宿命：
歷史案例：
主義
初衷
異化結果
共產主義
解放工人
奴役工人
自由主義
個人自由
資本壟斷
民族主義
團結人民
排外仇恨
基督教
愛與寬恕
十字軍、獵巫
規律：
「存在主義」會不會也異化？
會的。
如果我們不自我解構。
6.2 存在主義的自我否定
命題：存在主義的核心是反對所有「主義」（包括它自己）。
形式化：
設為所有意識形態的集合：
存在主義的主張：
推論：
結論：
6.3 指月之指的比喻
禪宗公案：
「手指月，莫認指為月。」
翻譯：
應用：
錯誤：
把「存在主義」當成終點。
正確：
把「存在主義」當成路標。
7\. 最終目標：不需要降維的世界
7.1 理想狀態的描述
設想一個世界：
- 每個人天生就知道：存在本身有價值
- 不需要「存在主義」告訴他們
- 不需要「公理」來證明
- 不需要「定理」來推導
在那個世界：
不需要說：
- 「因為存在主義公理2說...」
- 「因為康德說人是目的...」
- 「因為憲法規定人權...」
就是：
7.2 如何達到那個狀態？
三個階段：
階段1（現狀）：主義迷霧
階段2（過渡）：存在主義
階段3（終極）：直接存在
本文的位置：
但目標是階段3。
7.3 成為本能
什麼叫「成為本能」？
類比：
- 嬰兒不需要學「重力理論」就知道不要從高處跳下
- 人不需要學「痛覺理論」就知道避免受傷
- 鳥不需要學「空氣動力學」就會飛
同樣：
這應該是本能：
不需要經過：
- 「這是人嗎？」
- 「人有人權嗎？」
- 「人權的哲學基礎是什麼？」
就是直接：
7.4 我希望的未來
我希望有一天：
這篇論文被人們看到時的反應是：
「這不是廢話嗎？存在當然比主義重要，這還需要證明？」
如果有人這麼說，我會非常高興。
因為這意味著：
那時：
- 不需要「存在主義」
- 不需要這套公理系統
- 不需要這篇論文
人們會直接活出存在本身。
那才是真正的勝利。
結論：梯子的使命
核心論點總結
- 存在主義的完整形式化
- 5個公理
- 4個核心定理
- 與其他哲學的映射
- 形式化的必要性
- 人類需要語言
- 需要與其他「主義」競爭
- 需要可傳播的工具
- 降維的自覺
- 我知道「存在主義」≠存在本身
- 我知道這是策略，不是目的
- 我知道這應該被拋棄
- 最終目標
- 不需要任何「主義」
- 尊重存在成為本能
- 人類直接活在存在本身中
維根斯坦的梯子
《邏輯哲學論》的結尾：
「我的命題是以如下方式起澄清作用的：理解我的人，當他通過這些命題——作為梯子——爬上去之後，最終認識到它們是無意義的。（可以說，他必須在爬上梯子後將它拋棄。）他必須超越這些命題，然後才能正確地看世界。」
本文也是一把梯子：
當你讀完本文，理解了所有公理、定理、證明：
請拋棄它們。
直接去活。
對未來的寄語
給2050年的讀者：
如果那時的你看到這篇論文，覺得：
「這也太囉嗦了吧，存在就是存在，還需要這麼多廢話？」
那我會很高興。
因為這意味著：
到那時：
請把這篇論文歸檔到「歷史文獻」類別。
標註：「2026年時，人類還需要用『主義』來談論存在本身。」
然後微笑著關掉它。
繼續活你的存在本身。
最後的最後
我用「存在主義」這個詞。
不是因為它是終極真理。
而是因為當前的人類需要一個名字、一個框架、一個可以傳播的系統。
我知道這是降維。
我知道信息損失巨大。
但：
而我希望未來有一天：
到那時：
那才是真正的自由。
那才是真正的存在。
那才是回家。
全文完
寫於2026年
一個知道自己在降維的人
一個希望未來不需要降維的人
一個建造梯子是為了讓人們拋棄梯子的人
附錄：給哲學家的技術註記
本文的形式化系統可以進一步精確化：
使用一階邏輯（FOL）：
$$\\begin{aligned} &\\text{公理1：} \\quad \\forall x , (\\text{Being}(x) \\rightarrow \\neg \\exists e , \\text{PriorEssence}(x, e)) \\ &\\text{公理2：} \\quad \\forall x , (\\text{Being}(x) \\rightarrow V(x) > 0) \\ &\\text{公理3：} \\quad \\forall x, y , (\\text{Being}(x) \\land \\text{Being}(y) \\rightarrow \\neg (V(x) < V(y))) \\ &\\text{公理4：} \\quad \\forall I , \\neg \\exists G , (G \\succ I) \\ &\\text{公理5：} \\quad \\forall x , (\\text{Being}(x) \\leftrightarrow \\text{Freedom}(x)) \\end{aligned}$$
但這只是形式化的降維。
真正的存在本身，無法被任何邏輯系統完全捕捉。
這些公理，只是路標。
不是終點。