哲學 XX 論的最小語義基底：四元框架的公理化重構、化約圖譜與反例測試

作者：Neo.K 機構：EveMissLab / 一言諾科技有限公司 版本：Public-Structured Draft v0.1 類型：元哲學論文 / 公理化語義圖譜 / 化約性分析 / 算子化附錄 日期：2026 7月

摘要

哲學史上存在大量「XX 論」：本體論、認識論、價值論、因果論、倫理論、美學論、邏輯論、語言論、現象論、系統論、過程論、關係論、時間論、空間論、心靈論等。這些框架長期作為哲學思考的基本工具，但它們之間的化約關係、獨立性與最小基底問題，並未被充分系統化。

本文提出一個元哲學問題：

是否存在一組最小不可化約的哲學語義基底，使得其他主要 XX 論可以被理解為其子範疇、組合、投影或應用域？

本文在明確定義「XX 論」「語義化約」「語義獨立性」「對偶結構完整性」與「無損推導不可能性」的基礎上，提出四元語義基底框架：

本體論：什麼存在？
認識論：如何知道？
價值論：什麼是好？
因果論：為什麼發生？

本文主張，在本文所採用的化約判準下，這四者構成目前最穩定的哲學最小語義基底候選。其他許多 XX 論可以被理解為四元基底的子域或組合：倫理論與美學論可歸入價值論；邏輯論、語言論與現象論可歸入認識論；系統論、過程論、關係論、時間論、空間論與心靈論可在動態本體論或關係本體論框架下歸入本體論；自然科學，尤其物理學，則應被重新定位為因果論的子範疇，而非單純的認識論分支。

本文同時降低強證明語氣：本文不宣稱已經終局證明所有可能哲學範疇都必然可化約到四元，而是提出一個可反駁、可擴展、可跨文化測試的公理化語義圖譜。本文的「完備性」應理解為在目前測試範圍與本文化約判準下的結構完備性；本文的「最小性」應理解為去掉任一四元基底後，會出現無法回答的基本問題。

最後，本文附上算子化附錄，將四元語義基底轉化為可供 AI / Agent 使用的分類、化約、反例搜尋與語義映射工具。如此，本文不只是對哲學史的分類整理，也是一種可計算元哲學框架。

關鍵詞

元哲學、XX 論、哲學公理化、語義空間、化約性、本體論、認識論、價值論、因果論、四元語義基底、哲學圖譜、自然科學、物理學、算子化附錄

0. 定位聲明：本文不是終局證明，而是公理化重構

0.1 本文的目標

本文的目標不是宣稱哲學史被一次性終結，也不是宣稱所有哲學問題都可以被機械化分類。

本文的目標是較具體的：

1. 為哲學 XX 論建立一套化約性判準；
2. 測試主要 XX 論之間的化約關係；
3. 提出一組最小不可化約語義基底候選；
4. 建立一張可討論、可反駁、可擴展的哲學語義圖譜；
5. 將此圖譜轉化為 AI / Agent 可操作的分類與化約工具。

因此，本文不是「哲學的終局定理」，而是「哲學語義空間的公理化重構」。

0.2 本文避免的強宣稱

本文避免以下說法：

所有哲學問題已被四元完全解決；
四元集是絕對不可修正的最終答案；
所有非西方哲學傳統都必然可化約到四元；
因果論在所有哲學立場下都必然不可化約；
本文已完成形式數學意義上的完備性證明。

本文採用更穩定的表述：

在本文所定義的化約判準下，四元框架是目前最小、最穩定、最具解釋力的哲學語義基底候選。

0.3 本文保留的核心力度

雖然降低終局證明語氣，本文仍保留一個強命題：

本體論具有特殊的元語言地位。任何哲學陳述，即使試圖否定、懸置或消解本體論，也仍然隱含某種關於「什麼存在」的預設。

這是本文的元哲學固定點。

1. 問題起源：為什麼哲學需要最小語義基底

哲學有大量「XX 論」。這些名稱看似只是學科分類，但其實代表不同問題空間。

例如：

本體論問：什麼存在？
認識論問：如何知道？
價值論問：什麼是好？
因果論問：為什麼發生？
倫理論問：什麼行為是對的？
美學論問：什麼是美？
語言論問：什麼是意義？
心靈論問：什麼是意識？

問題在於：這些 XX 論是否都同樣基本？

若每個 XX 論都被視為基本範疇，哲學語義空間會膨脹成一個缺乏結構的分類清單。這會造成三個問題：

1. 理論冗餘：相似範疇重複出現；
2. 教學混亂：無法區分基礎問題與衍生問題；
3. 跨理論困難：不同哲學體系缺少共同語義基底。

因此，我們需要問：

哪些 XX 論是真正不可化約的？
哪些 XX 論只是基本範疇在特定領域中的投影？
是否存在一組最小語義基底，可以生成或組合出其他主要 XX 論？

本文的回答是：目前最有力的候選是四元集。

\mathcal{B}_{4}
=
\{\mathcal{O}, \mathcal{E}, \mathcal{A}, \mathcal{C}\}

其中：

𝓞：Ontology，本體論；
𝓔：Epistemology，認識論；
𝓐：Axiology，價值論；
𝓒：Causality，因果論。

2. 基本定義：XX 論、語義對偶與方法域

2.1 XX 論的定義

本文將一個 XX 論定義為三元組：

L_i = (Q_i, D_i, M_i)

其中：

Q_i：核心問題；
D_i：語義對偶；
M_i：方法域。

例如：

| XX 論 | 核心問題 Q | 語義對偶 D | 方法域 M | | ---- | ------ | -------------- | ----------- | | 本體論 | 什麼存在？ | 存在 / 非存在 | 本體分析、範疇分析 | | 認識論 | 如何知道？ | 真 / 假，知 / 未知 | 正當化、證明、認知標準 | | 價值論 | 什麼是好？ | 好 / 壞，應該 / 不應該 | 評價、規範、排序 | | 因果論 | 為什麼發生？ | 原因 / 結果 | 解釋、機制、規則、推演 |

2.2 為什麼需要語義對偶

一個基本哲學範疇通常不只是一個主題，而是一個完整語義空間。它應該能展開一組對偶問題。

例如：

本體論：存在 / 非存在
認識論：真 / 假，知 / 未知
價值論：好 / 壞，應該 / 不應該
因果論：原因 / 結果

若某個 XX 論的對偶只是另一個更基本對偶的子集，則它可能可化約。

例如：

美 / 醜

可以被理解為：

審美領域中的好 / 壞

因此，美學論可初步視為價值論的子範疇。

3. 化約性公理：如何判斷一個 XX 論能否化約

本文定義語義化約如下：

L_i \preceq L_j

表示 L_i 可化約到 L_j。

化約成立需滿足三個條件。

3.1 條件一：問題可翻譯

若 L_i 可化約到 L_j，則 L_i 的核心問題應能被翻譯成 L_j 語言中的問題。

Translate(Q_i) \subseteq Q_j

例如：

倫理論：什麼行為是對的？

可翻譯為：

價值論：什麼行為是好的？

因此倫理論可初步化約到價值論。

3.2 條件二：對偶可嵌入

若 L_i 可化約到 L_j，則 L_i 的語義對偶應可嵌入 L_j 的語義對偶。

Embed(D_i, D_j) = True

例如：

對 / 錯

可被嵌入：

好 / 壞

因為「對」可以被理解為道德領域中的「好」，「錯」可以被理解為道德領域中的「壞」。

3.3 條件三：方法可複用

若 L_i 可化約到 L_j，則 L_i 的方法域應可被理解為 L_j 的方法域在特定領域中的應用。

M_i \subseteq M_j + Domain_i

例如：

美學方法 = 價值評估 + 感性 / 審美領域

因此美學論可化約到價值論。

3.4 不可化約性的判準

若以下任一情況成立，則 L_i 不可化約到 L_j：

1. 核心問題無法無損翻譯；
2. 語義對偶無法完整嵌入；
3. 方法域無法複用；
4. 從 L_j 的命題無法推出 L_i 的核心命題；
5. 化約後會丟失不可恢復的基本問題。

4. 四元候選集：本體、認識、價值、因果

本文提出四元候選集：

\mathcal{B}_{4}
=
\{\mathcal{O}, \mathcal{E}, \mathcal{A}, \mathcal{C}\}

其語義如下：

| 符號 | 名稱 | 核心問題 | 語義對偶 | | -- | --- | ------ | -------------- | | 𝓞 | 本體論 | 什麼存在？ | 存在 / 非存在 | | 𝓔 | 認識論 | 如何知道？ | 真 / 假，知 / 未知 | | 𝓐 | 價值論 | 什麼是好？ | 好 / 壞，應該 / 不應該 | | 𝓒 | 因果論 | 為什麼發生？ | 原因 / 結果 |

四元可以被理解為哲學語義空間的四條基本軸：

存在軸：什麼存在？
知識軸：如何知道？
價值軸：什麼是好？
因果軸：為什麼發生？

簡化圖：

              認識論 𝓔
             如何知道？
                  ↑
                  |
本體論 𝓞  ←------→  因果論 𝓒
什麼存在？          為什麼發生？
                  |
                  ↓
              價值論 𝓐
              什麼是好？

5. 不可化約性論證

5.1 本體論：什麼存在？

本體論問：

什麼存在？

它不可化約到認識論，因為：

知道某物存在 ≠ 某物存在。

未被認知的事物仍可能存在；錯誤認知也可能不對應任何存在。

它不可化約到價值論，因為：

存在 ≠ 有價值。

價值中立甚至負價值的事物仍可存在。

它不可化約到因果論，因為：

參與因果鏈 ≠ 存在的全部形式。

例如數學對象、抽象結構、可能世界、虛構對象等，都會迫使哲學重新討論存在的範圍。

因此，本體論是不可化約候選。

更強地說，本體論具有元語言地位。即使說「什麼都不存在」，這本身仍是一個本體論命題。

5.2 認識論：如何知道？

認識論問：

如何知道？

它不可化約到本體論，因為：

某物存在 ≠ 我知道某物存在。

存在問題不自動給出知識的正當性、證明方法或可靠性。

它不可化約到價值論，因為：

真 ≠ 好。

某些真理可能令人不悅；某些有價值的信念可能並不為真。

它不可化約到因果論，因為：

因果生成信念 ≠ 信念被正當化。

即使某個信念由某條因果鏈產生，也仍需回答它是否可靠、是否正當、是否為知識。

因此，認識論是不可化約候選。

5.3 價值論：什麼是好？

價值論問：

什麼是好？
什麼應該被追求？
什麼不應該發生？

它不可化約到本體論，因為：

是 ≠ 應該。

從事實不能直接推出價值。這就是常說的事實—價值區分。

它不可化約到認識論，因為：

知道某事為真 ≠ 知道某事為好。

真理不是價值的唯一來源。

它不可化約到因果論，因為：

導致某結果 ≠ 該結果值得追求。

因果後果可以為價值判斷提供資訊，但不能完全取代價值判斷。

因此，價值論是不可化約候選。

5.4 因果論：為什麼發生？

因果論問：

為什麼發生？
什麼導致什麼？
規則如何推演現象？

它不可化約到本體論，因為：

A 存在，B 存在，不等於 A 導致 B。

存在事實不足以給出因果方向、因果機制或反事實依賴。

它不可化約到認識論，這一點需加條件。若採用康德式立場，因果性可被理解為認知範疇；但若採用關係實在論或動態本體論，因果性是世界中關係變化與規則演化的客觀結構。

本文採用後一種立場：

因果不是單純「我如何知道」的問題，而是「世界如何變化」的問題。

它不可化約到價值論，因為：

為什麼發生 ≠ 是否值得發生。

因此，在本文立場下，因果論是不可化約候選。

6. XX 論化約圖譜

在四元基底下，許多 XX 論可被理解為基本範疇的子域、應用域或組合。

6.1 可化約到認識論的範疇

邏輯論 → 認識論
現象論 → 認識論
語言論 → 認識論

邏輯論

邏輯論問「如何有效推理？」 這可被理解為認識論中的推理規範問題：

邏輯論 = 認識論 + 推理規則

現象論

現象論問「如何顯現？」 這可被理解為第一人稱版本的認識論：

現象論 = 認識論 + 第一人稱顯現方式

語言論

語言論問「什麼是意義？」 這可被理解為知識、符號與表達之間的關係：

語言論 = 認識論 + 符號系統

6.2 可化約到價值論的範疇

倫理論 → 價值論
美學論 → 價值論

倫理論

倫理論問「什麼行為是對的？」 這可被理解為行為領域中的價值論：

倫理論 = 價值論 + 行為領域

美學論

美學論問「什麼是美？」 這可被理解為感性、形式與審美領域中的價值論：

美學論 = 價值論 + 審美領域

6.3 可化約到本體論的範疇

在動態本體論或關係本體論下，下列範疇可歸入本體論：

系統論 → 本體論
過程論 → 本體論
關係論 → 本體論
時間論 → 本體論
空間論 → 本體論
心靈論 → 本體論

系統論

系統論問「部分與整體如何組織？」 若存在被理解為關係網絡，系統論可被視為本體論的組織版本：

系統論 = 本體論 + 組織結構

過程論

過程論問「如何變化？」 若採用動態本體論，存在本身即包含變化與生成：

過程論 = 動態本體論

關係論

關係論問「什麼是關係？」 若採用關係本體論，關係不是本體之外的附屬品，而是存在的基本結構：

關係論 ≈ 本體論

時間論與空間論

時間與空間可被理解為存在的結構條件：

時間論 = 本體論 + 變化結構
空間論 = 本體論 + 位置結構

心靈論

心靈論問「什麼是意識？」 它可被理解為關於主觀性、意識狀態與心物關係的本體論子問題：

心靈論 = 本體論 + 主觀性結構

6.4 因果論的子範疇

原稿中因果論一開始容易被誤判為沒有子範疇。但更準確地說：

自然科學，尤其物理學，是因果論的重要子範疇。

因果論不只是抽象地問「原因是什麼」，也包含所有試圖理解規則、機制、演化與推演的知識活動。

因此，更新後的因果論化約樹應包括：

因果論
├── 物理學
├── 化學
├── 生物學
├── 地球科學
├── 宇宙學
├── 神經科學
└── 部分認知科學

7. 因果論的子範疇重構：物理學與自然科學的位置

7.1 物理學不是單純認識論

傳統上，科學哲學常把物理學放在認識論框架下討論，例如：

我們如何知道物理定律？
實驗如何證實理論？
觀察是否理論負載？
科學知識是否可靠？

這些問題確實屬於認識論。

但物理學本身的核心不只是「如何知道」，而是：

為什麼現象如此發生？
規則是什麼？
宇宙萬物如何由更深層規律推演？

因此，物理學的主要位置應在因果論之下。

7.2 物理學的三個因果論特徵

第一，自我糾錯

物理學史不是單純知識累積，而是不斷修正更深層因果理解：

亞里士多德物理學
→ 牛頓力學
→ Maxwell 電磁學
→ 相對論
→ 量子力學
→ 量子場論
→ 標準模型
→ 未來更深層理論

每一次修正不是只知道更多事實，而是改寫「為什麼」的結構。

第二，推演宇宙規則

物理學的目標是從少數規則推演大量現象。

例如：

Maxwell 方程
→ 電磁波
→ 光
→ 顏色
→ 電子結構
→ 化學鍵
→ 分子結構

這不是單純認識論，而是因果規則的推演。

第三，理解規則

物理學的核心輸出是規則：

F = ma
E = mc²
Maxwell 方程
Schrödinger 方程
Einstein 場方程

這些規則的功能不是只說「我們知道」，而是說：

在給定條件下，為什麼某種結果會發生。

7.3 自然科學作為因果論子域

因此，可給出如下表：

| 學科 | 核心問題 | 因果論定位 | | ---- | --------------- | --------- | | 物理學 | 為什麼物質與能量如此運動？ | 物質—能量規則 | | 化學 | 為什麼原子與分子如此結合？ | 化學反應規則 | | 生物學 | 為什麼生命如此演化與運作？ | 生命機制與演化規則 | | 地質學 | 為什麼地球結構如此變化？ | 地球系統因果鏈 | | 宇宙學 | 為什麼宇宙如此演化？ | 宇宙尺度因果史 | | 神經科學 | 為什麼神經活動產生行為與認知？ | 神經因果網絡 |

自然科學可以被理解為：

因果論在自然規則領域中的具體展開。

7.4 科學哲學的四元重新定位

科學哲學不是單純屬於認識論，而是四元交叉領域。

| 科學哲學問題 | 四元歸屬 | | ------------- | ---- | | 電子是否存在？ | 本體論 | | 如何證實電子存在？ | 認識論 | | 電子為什麼產生這些現象？ | 因果論 | | 科學研究是否應受倫理限制？ | 價值論 |

因此：

SciencePhilosophy
=
\mathcal{O}
+
\mathcal{E}
+
\mathcal{C}
+
\mathcal{A}

但自然科學本體作為規則理解活動，主要落在：

NaturalScience \subseteq \mathcal{C}

8. 最小性測試：去掉四元任一項會失去什麼問題

8.1 去掉本體論

剩餘：

認識論 + 價值論 + 因果論

無法回答：

量子場是否存在？
數學對象是否存在？
意識是否存在？
虛構角色以什麼方式存在？

其他三者都預設某些東西存在，但不能取代「什麼存在」本身。

因此，本體論不可刪。

8.2 去掉認識論

剩餘：

本體論 + 價值論 + 因果論

無法回答：

如何知道某命題為真？
什麼構成證明？
科學理論為何可信？
信念如何被正當化？

其他三者不能取代知識正當化問題。

因此，認識論不可刪。

8.3 去掉價值論

剩餘：

本體論 + 認識論 + 因果論

無法回答：

殺人是否錯？
痛苦是否應被減少？
公平是否值得追求？
真理是否比安慰更有價值？

事實、知識與原因不能直接推出應然。

因此，價值論不可刪。

8.4 去掉因果論

剩餘：

本體論 + 認識論 + 價值論

無法回答：

為什麼恐龍滅絕？
為什麼蘋果下落？
為什麼疾病傳播？
為什麼社會制度產生某些後果？

存在、知識與價值都不能取代因果解釋。

因此，因果論不可刪。

8.5 最小性結論

在本文所定義的問題空間中，四元各自對應不可替代的基本問題：

本體論：什麼存在？
認識論：如何知道？
價值論：什麼是好？
因果論：為什麼發生？

去掉任何一項，都會產生無法回答的基本問題。

因此，四元集具有最小性候選地位。

9. 完備性測試：目前候選 XX 論的覆蓋情況

本文不宣稱窮盡所有文化與所有可能哲學範疇，而是針對主要候選 XX 論進行覆蓋測試。

9.1 化約總表

| XX 論 | 化約到 | 理由 | | ---- | ---- | ------ | | 本體論 | 不可化約 | 存在問題 | | 認識論 | 不可化約 | 知識問題 | | 價值論 | 不可化約 | 規範問題 | | 因果論 | 不可化約 | 原因問題 | | 邏輯論 | 認識論 | 推理規範 | | 倫理論 | 價值論 | 行為價值 | | 美學論 | 價值論 | 審美價值 | | 系統論 | 本體論 | 組織存在 | | 現象論 | 認識論 | 第一人稱顯現 | | 語言論 | 認識論 | 符號知識 | | 過程論 | 本體論 | 動態存在 | | 關係論 | 本體論 | 關係存在 | | 時間論 | 本體論 | 變化結構 | | 空間論 | 本體論 | 位置結構 | | 心靈論 | 本體論 | 主觀存在 | | 物理學 | 因果論 | 自然規則 | | 化學 | 因果論 | 反應規則 | | 生物學 | 因果論 | 生命機制 |

9.2 組合型哲學領域

許多哲學領域不是單一基底的子範疇，而是四元的組合。

科學哲學

PhilosophyOfScience
=
\mathcal{O}
+
\mathcal{E}
+
\mathcal{C}
+
\mathcal{A}

行動哲學

PhilosophyOfAction
=
\mathcal{O}
+
\mathcal{C}
+
\mathcal{A}

社會哲學

SocialPhilosophy
=
\mathcal{O}
+
\mathcal{A}
+
\mathcal{C}

政治哲學

PoliticalPhilosophy
=
\mathcal{O}
+
\mathcal{A}
+
\mathcal{C}
+
\mathcal{E}

政治哲學涉及制度存在、正當性、因果後果與知識合法性，因此通常是四元交叉領域。

9.3 完備性結論

目前測試結果顯示：

主要 XX 論可以被表示為四元基底的子範疇、組合、投影或應用域。

但本文保留開放性：

若能找到一個 XX 論，其核心問題、語義對偶與方法域都無法化約到四元，則四元框架需修正。

10. 本體論不可消解性：元語言與 0 公理

10.1 本體論的特殊地位

四元都不可化約，但本體論有特殊地位。

原因是：任何哲學陳述都會隱含某種本體預設。

例如：

我知道 P。

此句隱含：

我存在；
知識或信念狀態存在；
P 作為命題存在。

再例如：

X 是好的。

此句隱含：

X 存在；
價值判斷存在；
好這個評價範疇存在。

甚至：

什麼都不存在。

這本身也是一個本體論命題。

10.2 四種消解本體論的失敗

嘗試一：將本體論化約到認識論

主張：

存在 = 被認知。

問題：

認知本身是什麼？
認知主體是否存在？
被認知內容以何種方式存在？

因此仍需本體論。

嘗試二：將本體論化約到語言

主張：

存在 = 語言規則。

問題：

語言本身是否存在？
語言使用者是否存在？
語言規則以何種方式存在？

因此仍需本體論。

嘗試三：懸置本體論

主張：

暫時不判斷事物是否存在，只描述現象。

問題：

現象是什麼？
描述活動是否存在？
意識或經驗是否存在？

懸置不是消解，只是暫停判斷。

嘗試四：拒絕本體論

主張：

本體論問題是偽問題。

問題：

偽問題這個判斷本身是什麼？
判斷標準是否存在？
語義規則是否存在？

拒絕本體論仍然是一種本體論立場。

10.3 本體論作為 0 公理

本文將本體論稱為哲學的「0 公理」：

它不能由其他哲學範疇證明；
也不能被其他哲學範疇徹底消解；
因為任何證明或消解都已經預設某種存在框架。

這不表示本體論比其他三元更高貴，而是表示它具有元語言性。

11. 與 Neo.K 既有理論的映射

本章不作完整展開，只說明四元框架如何作為 Neo.K 既有理論的共同語義語法。

11.1 與 TUO 的映射

若 TUO 包含展開、連接、收斂等基本過程，可作如下映射：

| TUO 結構 | 四元對應 | | ------ | ------------ | | 展開 | 本體論：存在空間的展開 | | 連接 | 因果論：關係與機制的形成 | | 收斂 | 認識論：可知投影與理解 | | 循環評價 | 價值論：方向、優劣與目標 |

11.2 與 PTST 的映射

若 PTST 將存在理解為關係矩陣與時間變化，可作如下映射：

| PTST 元素 | 四元對應 | | ------------ | ---- | | 關係矩陣 | 本體論 | | 關係變化 | 因果論 | | 投影算子 | 認識論 | | 權重 / 強度 / 選擇 | 價值論 |

11.3 與六層完備性的映射

| 六層結構 | 四元對應 | | ---- | --------- | | 展開層 | 本體論 | | 收斂層 | 認識論 | | 本質層 | 認識論 / 本體論 | | 過程層 | 因果論 | | 耦合層 | 本體論 / 因果論 | | 湧現層 | 價值論 / 元評價 |

11.4 映射的意義

四元不是取代既有理論，而是提供一種元語言：

任何理論都可以問：
它的本體預設是什麼？
它的認識方法是什麼？
它的價值判準是什麼？
它的因果機制是什麼？

這使四元框架成為跨理論比較工具。

12. 反例挑戰與開放問題

12.1 如何反駁四元框架？

反駁方式之一是找到第五個不可化約範疇 X，並證明：

X \npreceq \mathcal{O}

X \npreceq \mathcal{E}

X \npreceq \mathcal{A}

X \npreceq \mathcal{C}

也就是說，該範疇的核心問題、語義對偶與方法域都無法化約到四元。

12.2 因果論的地位仍需討論

因果論是四元中最容易引發爭議的一項。

康德式立場可能主張：

因果性是認知範疇，因此可化約到認識論。

關係實在論或科學實在論則主張：

因果性是世界關係變化的客觀結構，因此不可化約。

本文採用後者，但承認這是一個立場條件。

因此，更精確的說法是：

若採用關係實在論或動態本體論，因果論具有不可化約地位。

12.3 跨文化測試

本文主要從西方哲學 XX 論出發。未來需要測試：

佛教的空、有、識、緣起；
道家的道、德、無、有；
儒家的仁、義、禮、天命；
印度哲學中的梵、我、識、業；
伊斯蘭哲學中的存在、知識與神聖因果。

問題是：這些範疇是否能映射到四元，或會迫使四元擴張？

12.4 AI 自動化化約測試

未來可以設計 AI 系統：

輸入一個哲學問題；
抽取核心問題；
識別語義對偶；
判斷方法域；
映射到四元；
搜尋反例；
輸出化約理由與不確定性。

這將使本文不只是哲學分類，也成為可計算元哲學工具。

13. 結論：哲學語義空間的四元基底

本文提出哲學 XX 論的四元語義基底框架：

\mathcal{B}_{4}
=
\{\mathcal{O}, \mathcal{E}, \mathcal{A}, \mathcal{C}\}

其中：

𝓞：本體論，回答「什麼存在？」
𝓔：認識論，回答「如何知道？」
𝓐：價值論，回答「什麼是好？」
𝓒：因果論，回答「為什麼發生？」

本文的主要結論如下：

1. 四元對應四種不可互相替代的基本問題；
2. 去掉任一項，都會留下無法回答的基本問題；
3. 多數 XX 論可被理解為四元的子域、組合或投影；
4. 本體論具有特殊元語言地位，無法被真正消解；
5. 自然科學，尤其物理學，應被重新理解為因果論的重要子範疇；
6. 四元框架不是終局封閉系統，而是可反駁、可擴展、可跨文化測試的哲學語義圖譜。

一句話總結：

哲學不是無限增加 XX 論的名稱，而是辨認哪些問題真正不可化約；在本文框架中，存在、知識、價值與因果構成目前最穩定的四元語義基底。

這不是把哲學變小，而是把哲學結晶。

附錄 A：四元語義基底的算子化表示

本附錄將主文的四元框架轉為 AI / Agent 可操作的算子集合。

A.1 OlogyDefine：XX 論定義算子

\mathcal{O}_{define}: Text \rightarrow L_i = (Q_i, D_i, M_i)

功能：

從文本中抽取某一 XX 論的核心問題、語義對偶與方法域。

工程模組：

OlogyParser
QuestionExtractor
DualityExtractor
MethodDomainExtractor

A.2 ReductionTest：化約測試算子

\mathcal{O}_{reduce}: L_i \times L_j \rightarrow \{True, False, Uncertain\}

測試三項：

問題是否可翻譯；
對偶是否可嵌入；
方法是否可複用。

A.3 BasisMap：四元映射算子

\mathcal{O}_{basis}: L_i \rightarrow Subset(\mathcal{B}_4)

輸出：

該 XX 論對應本體論、認識論、價值論、因果論中的哪些項。

例：

倫理論 → {價值論}
科學哲學 → {本體論, 認識論, 因果論, 價值論}
物理學 → {因果論}
心靈論 → {本體論}

A.4 IrreducibilityCheck：不可化約性檢查算子

\mathcal{O}_{irreducible}: L_i \rightarrow Score_{irr}

評估：

語義獨立性；
對偶完整性；
無損推導不可能性；
反例抵抗力。

A.5 CompletenessProbe：完備性反例搜尋算子

\mathcal{O}_{probe}: Corpus \times \mathcal{B}_4 \rightarrow CandidateCounterexamples

功能：

在哲學文本或跨文化語料中搜尋可能無法化約到四元的新範疇。

附錄 B：XX 論分類器工程草案

B.1 系統目標

建立一個哲學問題分類器：

輸入：哲學問題或 XX 論名稱
輸出：四元映射、化約理由、反例風險、不確定性

B.2 Pipeline

InputText
→ OlogyDefine
→ DualityExtract
→ ReductionTest
→ BasisMap
→ IrreducibilityCheck
→ ExplanationRender

B.3 JSON 輸出草案

{
  "ology": "Ethics",
  "core_question": "What action is right?",
  "duality": ["right", "wrong"],
  "method_domain": "normative evaluation of action",
  "basis_mapping": ["Axiology"],
  "reduction_reason": "Ethics can be treated as axiology applied to action.",
  "irreducibility_score": 0.21,
  "uncertainty": 0.12,
  "notes": "Some deontological theories may require additional structure, but the value dimension remains central."
}

附錄 C：化約性測試 Agent 任務圖

Task 1: 收集候選 XX 論列表
Task 2: 為每個 XX 論抽取核心問題
Task 3: 抽取語義對偶
Task 4: 抽取方法域
Task 5: 測試是否可翻譯到四元
Task 6: 測試對偶是否可嵌入四元
Task 7: 測試方法是否可複用
Task 8: 標記不可化約候選
Task 9: 搜尋反例與跨文化候選
Task 10: 生成化約圖譜
Task 11: 生成不確定性報告
Task 12: 輸出可讀論文附錄

附錄 D：公開版風險控制

D.1 不建議使用的表述

本文終局證明哲學只有四個問題；
所有 XX 論都絕對可化約；
四元框架不可修正；
哲學被本文公理化完成；
非西方哲學必然可化約到四元；
因果論在所有哲學立場下都不可化約。

D.2 建議使用的表述

本文在明確化約判準下提出四元最小語義基底候選；
目前主要 XX 論可被四元框架良好覆蓋；
本體論具有特殊元語言地位；
因果論的不可化約性依賴關係實在論或動態本體論立場；
四元框架應接受反例挑戰與跨文化測試。

附錄 E：一句話版本

哲學 XX 論的四元語義基底框架主張：在本文化約判準下，本體論、認識論、價值論與因果論構成目前最穩定的最小不可化約哲學問題空間，而其他主要 XX 論可被理解為四元的子範疇、組合、投影或應用域。

全文完。