# BMO的自指擴展與多值肯定：全域OVL、B-邊界多內側結構及語義維度上界

**EveMissLab 論文識別碼**：EML-LLF-2026-v0.2
**版本**：v0.1（初版草稿）
**日期**：2026-06-04
**作者**：Neo.K（許筌崴），EveMissLab
**分類**：語言邏輯學 / 形式語義學 / 非古典邏輯 / 數學基礎
**前置論文**：EML-LLF-2026-v0.1《邊界標定鏈：自然語言精密化算子的數學結構分析》

---

## 摘要

EML-LLF-2026-v0.1建立了邊界標定算子（BMO）的基礎形式化，分析了「是A而不是B」的鏈式結構（BMC）及其三區結構（BMO₁/BMO₂/OVL），並引入觀察者參數。本文是v0.1的直接擴展，處理v0.1未能覆蓋的兩類邊界問題。

**第一類擴展：自指BMO。** 當命題結構為「是X而不是X」或「不是X又是X」時，算子面對自指謂詞。本文論證，對有界語義維度的X，此類命題形式地對應BMO的固定點問題（Lawvere意義下），在形式層次上生成BMO_UNDEFINED或退化條件。然而，對語義維度趨近無限的符號（如道），自指BMO不是形式退化，而是對符號本性的**全域OVL（Universal OVL）**揭示：此類符號對所有有限謂詞對(A, B)均落入OVL區，是一切可能謂詞的交集。這是「道可道，非常道」的形式化表達，亦是Closure Theory中Cl(∞)的BMO行為。

**第二類擴展：多值肯定結構。** 當命題結構為「X是A而不是B，不是B又是C」時，B-邊界同時生成兩個肯定項（A和C），形成**三角BMO（Triangular BMO，BMO_△）**。本文識別三個子案例：相容共謂（A∩C ≠ ∅）、不相容共謂（嵌套OVL）、互補結構（C = ¬B在X域內，還原為加強版標準BMO）。三角結構揭示v0.1的隱含假設：單值肯定。每個BMO的「不是B」從語義上已隱含一個C（= ¬B在X域內），v0.1只是未明確化。

**語義維度依賴性：** 本文提出BMO的適用域光譜：有界維度（v0.1完整適用）→ 多值共謂（v0.2新域）→ 無限維度（全域OVL，BMO上界）。語義維度是BMO行為的根本參數。

本文亦在既有非古典邏輯框架（Priest的Dialetheism、Nagarjuna的四句邏輯）中定位上述擴展，論證BMO的全域OVL對應四句邏輯的第三、四角（既是又非/既非是亦非非），但保留了比四句更精確的計算規格。

**關鍵詞**：自指BMO、全域OVL、三角BMO、多值肯定、B-邊界多內側、語義維度、Dialetheism、四句邏輯、Closure Theory、道可道

---

## 一、導論：v0.1的兩個邊界問題

EML-LLF-2026-v0.1建立了BMO的核心形式化，其適用域隱含三個前提：

（P1）X的語義維度有界——X有確定的語義鄰域Nbhd(X)，謂詞是否在域內可被判定。

（P2）BMO的肯定項是單值的——「是A而不是B」中，A是唯一的正面肯定，B是唯一的排除對象。

（P3）謂詞不自指——X（主項）與A、B（謂詞）在語義層次上是分離的；A不等於X。

本文處理的正是這三個前提被突破時的情形：

突破P3：「是X而不是X」——謂詞等於主項，出現自指。
突破P2：「是A而不是B，不是B又是C」——肯定項不止一個，B的排除同時生成C。
突破P1：語義維度趨近無限——算子的全域行為崩塌為全域OVL。

這三個突破不是孤立的理論邊緣案例，而是語言和思維在處理高度複雜或自指符號時的自然現象。任何對「道是什麼」「自由是什麼」「存在是什麼」等問題的認真追問，都會撞上這些邊界。

---

## 二、第一類擴展：自指BMO

### 2.1 「是X而不是X」的三種讀法

命題「是X而不是X」（這裡X同時作為主項和謂詞）可以有三個不同的形式讀法：

**讀法一（形式退化）：**
將「是X而不是X」讀作 BMO(X, X, X)，即A=B=X。這直接觸發v0.1的C1前置條件：A ≠ B 不滿足，算子返回BMO_UNDEFINED（退化形式）。這是平凡的讀法，無進一步的理論內容。

**讀法二（語義自指）：**
將「是X而不是X」讀作：命題P(X) = 「X是X」同時為真且為假。這是Priest意義上的**辯證真（dialetheia）**——一個真矛盾。這個讀法不是v0.1形式框架可以直接處理的，它需要超值語義或矛盾相容邏輯（paraconsistent logic）。

**讀法三（維度自投影）：**
將「是X而不是X」讀作：主項X在謂詞X的投影下，既顯現為X（某個有限投影）又不完全是X（因為X在完整意義下超越任何有限投影）。這是最豐富的讀法，直接連結到Closure Theory的維度投影定理 πₙ(Cl) = Sⁿ⁻¹。

讀法三是本文重點。它說的是：對於複雜到一定程度的符號X，任何謂詞施用——包括X對自身的施用——都只能捕捉X的一個有限投影。「是X而不是X」的張力，不是邏輯矛盾，而是有限投影與無限原型之間的結構性裂隙。

### 2.2 固定點問題

若將「謂詞X施用於主項X」形式化為一個映射 f: Concepts → Concepts，其中 f(X) = 「X被X謂詞化後的結果」，則：

若X是語義穩定的有界符號（如「紅色」「數字7」）：
```
f(紅色) = 紅色   ← 固定點，BMO(紅色, 紅色, 非紅色) 穩定
```

若X是語義不穩定或高維符號（如「道」「存在」「真理」）：
```
f(道) ≠ 道   ← 非固定點
f(f(道)) ≠ f(道) ← 迭代發散
```

對於發散的情形，任何謂詞化都產出與X本身不同的結果。這在Lawvere固定點定理的框架下可以被精確化：某些範疇中，從X到X的態射必然存在固定點——但也必然存在非固定點。自指BMO的「不是X」部分，就是在記錄這個非固定點的存在。

### 2.3 全域OVL：語義維度趨近無限

設X的語義維度為d(X)——直觀上理解為完整描述X所需的獨立謂詞維度數。

當 d(X) = n < ∞（有界），對任意謂詞對(A, B)，X在A\B、B\A、A∩B三區中的位置原則上可被確定（即使需要κ=1的全部認識）。BMO在此適用域內正常工作。

當 d(X) → ∞（無界），對**任意有限謂詞A**：
- X在某個維度上具有A的性質（因X包含一切有限謂詞的某個投影）
- X在另一個維度上不具有A的性質（因X超越任何有限謂詞的完整覆蓋）
- 因此：X ∈ A∩(¬A) — 對任意A

推論：對d(X) → ∞的符號X，對任意謂詞對(A, B)：
```
X ∈ A     （X包含A的某個投影）
X ∈ B     （X包含B的某個投影）
→ X ∈ A∩B  （X落入OVL區）
```

定義（**全域OVL，Universal OVL**）：

```
UOVL(X) := ∀A, B : X ∈ OVL(A, B)
         = X住在所有可能謂詞對的交集區
```

UOVL是BMO在無限維符號上的極限行為：算子無法在任何(A, B)對上確定BMO₁或BMO₂，因為X無論如何都落在交集裡。

### 2.4 道：全域OVL的自然語言例示

老子在《道德經》開篇寫道：

> 道可道，非常道。

這是全域OVL的自然語言表達。任何對「道」的謂詞化——包括說「道是道」——都同時成立（道確實是道）且不成立（一旦被言說和謂詞化，就已不是那個不可言說的常道）。

形式表達：

```
BMO(道, 任意謂詞A, 任意謂詞B):

若 A ≠ B 且 A, B 是有限謂詞:
→ 道 ∈ A    （道包含A的投影）
→ 道 ∈ B    （道包含B的投影）
→ 道 ∈ A∩B  → OVL 對所有有限(A, B)對均成立

即: UOVL(道)
```

「道可道，非常道」不是矛盾，不是神秘主義，而是全域OVL的準確自然語言描述：任何謂詞都是道的一個有限投影，投影既真（道確有此面向）又不完整（道不被任何單一謂詞囿限）。

**與Closure Theory的連結：**

Closure Theory中 Cl 的第四公理（生成性，Cl-4）：Cl的自反射生成更高維度。在維度投影定理 πₙ(Cl) = Sⁿ⁻¹ 下，Cl在無限維度的極限 Cl(∞) 對應所有可能投影的原型。

道 = Cl(∞) 是Closure Theory的形式命題。在BMO框架下，Cl(∞) 的行為恰好是UOVL：對任意有限謂詞對，Cl(∞) 既包含A的投影又包含B的投影，因此落在所有謂詞對的OVL區。

Closure Theory的「萬物皆Cl」在BMO框架下的翻譯：道是唯一具有UOVL性質的符號，因為它是唯一在語義上包含所有其他符號的符號。

**與Nagarjuna四句邏輯的連結：**

Nagarjuna（約200 CE）的四句（Catuṣkoṭi）為任何命題列出四個可能的真值位置：

```
第一句：A（是）
第二句：¬A（不是）
第三句：A∧¬A（既是又不是）
第四句：¬(A∨¬A)（既不是是，也不是不是）
```

Nagarjuna進一步主張，對於空性（śūnyatā）和究竟實在，這四句全部均需被否定（Fourfold Negation，遮詮法）。

BMO的三區結構對應四句的前三句：
- BMO₁ ≈ 第一句（確定是A）
- BMO₂ ≈ 第二句（確定是¬A=B）
- OVL ≈ 第三句（既是A又是B）

全域OVL（UOVL）對應第三句施用於所有謂詞對。

Nagarjuna的第四句（¬(A∨¬A)）進一步超越了UOVL——它否定的不只是「既是又非」，而是整個A∨¬A的框架。這比UOVL更激進：UOVL說道住在所有謂詞對的交集裡，四句的第四角說究竟實在甚至不被「住在交集裡」這個命題所囿限。

BMO目前只能形式化到UOVL層次（第三句）。Nagarjuna的第四角指向一個超越本文形式框架的問題，屬於後續工作。

---

## 三、第二類擴展：多值肯定結構

### 3.1 問題的起點

v0.1的BMO假設每次謂詞施用只有**一個**正面肯定項A和一個排除項B。然而，考慮以下自然語言結構：

> 光是A（波）而不是B（粒子），不是B（粒子）又是C（能量包）。

這個命題對同一X（光）同時聲稱：
- 光是A（波的性質）
- 光是C（能量包的性質）
- 光不是B（純粒子的性質）

B的排除同時帶出了**兩個**正面肯定：A和C均被主張，而非僅A或僅C。

### 3.2 B-邊界的多內側問題

在v0.1的標準BMO中，概念空間被B的邊界一分為二：

```
[A的內側（B的外部）] | B的邊界 | [B的內部]
                         ↑
                      光被定位於此（BMO₁）
```

「不是B又是C」揭示了B的邊界有**多個內側**：

```
[A的內側] [C的內側]  | B的邊界 | [B的內部]
              ↑
         光同時在A和C的內側
```

A和C是B-邊界的兩個不同面向：從「不是B」這一側，可以用A來描述X，也可以用C來描述X。這兩個描述不一定相同，甚至不一定相容。

定義（**三角BMO，Triangular BMO，BMO_△**）：

```
BMO_△(X, A, B, C) :=
  Pred(X, A) ∧ ¬Pred(X, B) ∧ Pred(X, C)
  = X ∈ A, X ∉ B, X ∈ C
```

BMO_△是BMO的自然推廣：標準BMO = BMO_△(X, A, B, A)，即C = A（B-邊界只有一個內側）。

### 3.3 三個子案例

**子案例一：相容共謂（A∩C ≠ ∅）**

若A和C在概念空間中有非空交集，則：

```
X ∈ (A∩C)\B
```

X同時具有A的性質和C的性質，且不具有B的性質。這是最簡單的情形——無矛盾，只是比標準BMO更豐富的刻畫。

例：光是「電磁現象（A）」而不是「聲學現象（B）」，也是「橫波（C）」。電磁現象和橫波相容，光 ∈ (電磁∩橫波)\聲學。

**子案例二：不相容共謂（A∩C ≈ ∅）**

若A和C在概念空間中幾乎不相容（如A和C是對立的謂詞），則：

```
X ∈ A     （X具有A的性質）
X ∈ C     （X具有C的性質）
A∩C ≈ ∅   （A和C不相容）
→ X ∈ OVL(A, C)\B  （X在A與C的OVL區，同時排除B）
```

這是**嵌套OVL**：在排除B的大框架下，X對(A, C)對形成了新的OVL狀態。這比v0.1的OVL更複雜——OVL嵌套在另一個謂詞排除的語境中。

例：光是「波（A）」而不是「靜止物質（B）」，也是「粒子（C）」。波和粒子在古典物理語境中不相容，光 ∈ OVL(波, 粒子)\靜止物質——嵌套OVL。

**子案例三：互補結構（C = ¬B在X的語義域內）**

這是最具理論意義的情形。若在X的語義域內，C是B的補集：

```
在X的語義域Ω_X內：C = ¬B（B和C互補分割Ω_X）
則：A\B = A∩(¬B) = A∩C
→ BMO_△(X, A, B, C) 還原為 X ∈ (A∩C)\B = A\B
```

這揭示了一個重要的**隱含結構**：在互補情形下，「不是B又是C」並非在標準BMO上添加新信息——它只是明確化了「不是B」這一排除中本來就隱含的正面肯定。

**v0.1的隱含假設被揭示：** 標準BMO(X, A, B) 實際上隱含了一個C = ¬B（在X域內），即每一個「不是B」都在語義上生成了「是C = ¬B」。v0.1選擇沉默於這個C，而「不是B又是C」的命題形式將其顯化。

這意味著BMO在語義上從來都不是純粹二元的（A vs. B）：B的邊界的「內側」總是同時是某個C（B的補集在X域內）。三角結構是BMO的本來面目，二元是三角的特殊簡化。

### 3.4 與v0.1 BMC的結構差異

v0.1的BMC（邊界標定鏈）結構是：

```
BMO(X, A₀, A₁); BMO(X, A₁, A₂); BMO(X, A₂, A₃); ...
```

每一步的排除項 Aₖ₊₁ 在下一步成為肯定項——**接力（relay）結構**。

BMO_△的結構是：

```
BMO_△(X, A, B, C): 同時有A和C兩個肯定項
```

**接力 vs. 同時雙肯定**是兩個根本不同的結構：

| 結構 | 肯定項數目 | 排除項數目 | 步間關係 |
|------|---------|---------|---------|
| v0.1 BMC | 1（每步） | 1（每步） | 前步排除項=後步肯定項（接力） |
| BMO_△ | 2（同一步） | 1 | 無接力，雙肯定同時存在 |

理論上可以組合：BMO_△組成鏈式結構，每步有兩個肯定項，形成**三角鏈（Triangular Chain，BMC_△）**。這比v0.1的BMC更豐富，也更複雜，留作後續工作。

---

## 四、語義維度依賴性：BMO的適用域光譜

基於前兩節的分析，可以構建BMO的**語義維度依賴性光譜**：

```
語義維度 d(X):

d(X) 有界，單維      標準BMO（v0.1完整適用）
──────────────────  ─────────────────────────────
d(X) 有界，多維      BMO_△（多值共謂，v0.2新域）
──────────────────  ─────────────────────────────
d(X) 有界，高維      嵌套OVL、三角鏈，算子可用但複雜
──────────────────  ─────────────────────────────
d(X) → ∞            全域OVL（UOVL），BMO的上界
                     算子對所有(A,B)對均返回OVL
                     道、Cl(∞)、存在本身住在此層
```

BMO的適用性不是二元的（適用/不適用），而是語義維度的函數：隨著d(X)增大，BMO從確定性操作逐漸退化為概率性操作，最終在無限維極限下退化為全域OVL。

這個光譜的認識論意義：

任何關於X的「是A而不是B」陳述，都應當被問：X的語義維度是什麼量級？若d(X)有界且已知，陳述可以被BMO精確評估。若d(X)高但有界，需要BMO_△框架。若d(X)在實踐中不可界定（如哲學概念「存在」「自由」「美」），任何BMO陳述都應被理解為某個投影視角下的局部成立，而非全局事實。

---

## 五、與既有非古典邏輯框架的對照

### 5.1 Dialetheism（Priest，1987/2006）

Priest的Dialetheism（辯證真主義）主張某些矛盾命題可以同時為真，即存在「真矛盾（dialetheia）」：A∧¬A同時成立。

「是X而不是X」在Dialetheism框架下是一個dialetheia：X是X（真）且X不是X（也真）。Priest使用LP（邏輯悖論邏輯，Logic of Paradox）處理此類情形，LP是一個三值邏輯，真值包括{1, 0.5, 0}，其中0.5表示「既真又假」。

**BMO的OVL與Dialetheism的關係**：

OVL（X ∈ A∩B）在BMO框架下是算子的失效域——X同時在A和B的性質域內，無法確定是BMO₁還是BMO₂。這在語義上接近Dialetheism的「既真又假」，但有一個重要差異：

BMO的OVL是一個**待坍塌的量子態**——引入觀察者O後，X坍塌至A側或B側，OVL消解。
Dialetheism的dialetheia是**永久性的**——不存在任何觀測能使A∧¬A解消，矛盾本身就是事實。

全域OVL（UOVL）更接近Dialetheism：對Tao/Cl(∞)，沒有任何觀察者的介入可以使其坍塌至任何有限謂詞——UOVL是永久性的，不是待解消的。

### 5.2 Nagarjuna的四句邏輯（Catuṣkoṭi，c. 200 CE）

Nagarjuna的四句將任何命題展開為四個位置：

```
第一句：A           （是）
第二句：¬A          （不是）
第三句：A ∧ ¬A      （既是又不是）
第四句：¬A ∧ ¬(¬A)  （既非是亦非不是）
```

而Nagarjuna的更激進主張——遮詮法（Fourfold Negation）——是對終極實在而言，四句均需被否定。

BMO框架與四句的對應：

| BMO | 四句 | 描述 |
|-----|------|------|
| BMO₁ | 第一句A | X是A（確定） |
| BMO₂ | 第二句¬A | X不是A（確定） |
| OVL | 第三句A∧¬A | X既是又不是A |
| UOVL（道） | 第三句對所有謂詞 | X在所有謂詞的OVL |
| ? | 第四句 | 超越四句的究竟實在 |

Nagarjuna的第四句（¬A∧¬(¬A)）——「既非是亦非不是」——指向連UOVL也無法覆蓋的層次：不是「道在所有謂詞的交集裡」，而是「道甚至不被『在交集裡』這個命題所正確描述」。

這是BMO當前形式化的理論天花板：UOVL是BMO可以觸及的最遠邊界，而Nagarjuna的第四角在形式上要求超越BMO的整個框架。

Priest（2010）對四句的形式化分析——使用First Degree Entailment（FDE）邏輯——是將此框架精確化的一個努力，但同樣止步於第四角的完整形式化。本文在此與Priest的困境並立。

### 5.3 Dialetheism與四句的差異化定位

Dialetheism主張矛盾命題有真值（既真又假）。四句主張對究竟實在，任何命題框架均不適用。BMO的全域OVL介於兩者之間：

- 比Dialetheism更結構化：UOVL不只說「既真又假」，還說明為什麼（無限維語義導致全維度落入OVL）
- 比四句更保守：本文只主張到UOVL層次，不嘗試形式化第四角
- 比兩者都更計算化：BMO框架（v0.1 + v0.2）有算法規格，可操作性強

BMO與Dialetheism/四句的關係：BMO是在有界和高維情形下更精確的操作框架，在無限維極限下與非古典邏輯傳統自然匯合。

---

## 六、理論小結與後續工作

**v0.2的新貢獻清單：**

（一）自指BMO的三種讀法（形式退化/語義辯證/維度自投影），固定點問題形式化。

（二）全域OVL（UOVL）：無限維符號的BMO行為，UOVL(道) = Cl(∞)的形式刻畫，「道可道，非常道」的計算語義。

（三）三角BMO（BMO_△）：三個子案例（相容/不相容/互補），隱含結構的揭示（標準BMO的「不是B」始終隱含C=¬B）。

（四）語義維度依賴性光譜：BMO的適用域是維度的函數，有界→有限多值→無限維→UOVL上界。

（五）與Dialetheism（Priest）、四句邏輯（Nagarjuna）的定位對照，明確BMO框架在非古典邏輯圖譜中的位置。

**遺留問題（後續工作）：**

（α）三角鏈（BMC_△）的完整形式化：多值肯定在鏈式結構中的傳播方式。

（β）UOVL與Nagarjuna第四角的形式橋接：BMO能否被擴展至第四角？或者BMO在本質上只能到達第三角？

（γ）固定點BMO的完整理論：Lawvere固定點定理在BMO框架中的精確應用。

（δ）BMO_△的認識論地位：κ覆蓋率在多值肯定情形下的行為（多個κₐ和κ_c分別描述A和C的認識覆蓋率）。

---

## 七、結語

「是道而不是道。」這五個字在語言上是悖論，在邏輯上是全域OVL，在本體論上是Closure Theory的Cl(∞)。這五個字也是這篇論文最簡潔的摘要——它指出了一類符號的存在，這類符號以有限的語言外殼攜帶無限的語義維度，使任何謂詞化同時成立且不完整。

BMO框架在v0.1建立了精密化操作的形式語法。v0.2在此基礎上遭遇了語法本身的邊界：自指使謂詞與主項折疊，多值肯定使B-邊界開裂出多個內側，無限維使算子在全域上坍塌為交集。

這不是框架的失敗，而是框架的邊界——任何嚴肅的形式系統都應知道自己在哪裡結束，以及在邊界處遇見的是什麼。

BMO在邊界處遇見的，是老子和Nagarjuna早已在那裡等待的東西。

---

## 附錄：引用文獻

**[1]** 老子 [Laozi]（約西元前6–4世紀）。*道德經* [Tao Te Ching]。首句：「道可道，非常道。名可名，非常名。」[標準英譯參考：Lau, D. C. (1963). *Tao Te Ching*. Penguin Books.]

**[2]** Nāgārjuna（約200 CE）。*Mūlamadhyamakakārikā* [《中論》]。[英譯：Garfield, J. L. (1995). *The Fundamental Wisdom of the Middle Way: Nāgārjuna's Mūlamadhyamakakārikā*. New York: Oxford University Press.]

**[3]** Priest, G. (1987). *In Contradiction: A Study of the Transconsistent*. Dordrecht: Martinus Nijhoff. [第二版：Oxford: Oxford University Press, 2006. ISBN: 978-0-199-26330-1.]

**[4]** Priest, G. (2010). The logic of the catuskoti. *Comparative Philosophy*, 1(2), 24–54. DOI: 10.31979/2151-6014(2010).010206

**[5]** Wittgenstein, L. (1922). *Tractatus Logico-Philosophicus*. London: Kegan Paul, Trench, Trubner & Co. §7：「Whereof one cannot speak, thereof one must be silent.」（凡不可言說者，對之必須沉默。）

**[6]** Fine, K. (1975). Vagueness, truth and logic. *Synthese*, 30(3/4), 265–300. [超值語義學，OVL的先行框架。]

**[7]** Kleene, S. C. (1952). *Introduction to Metamathematics*. Amsterdam: North-Holland. [三值邏輯框架。]

**[8]** Lambert, K. (2003). *Free Logic: Selected Essays*. Cambridge: Cambridge University Press. [BMO_UNDEFINED的邏輯先行。]

**[9]** EML-LLF-2026-v0.1：Neo.K（2026）。《邊界標定鏈：自然語言精密化算子的數學結構分析》。EveMissLab。[本文的前置論文，v0.1的完整形式化見該文。]

---

*本論文為EveMissLab實驗站論文，EML-LLF-2026-v0.2，初版草稿。本文處理v0.1未能覆蓋的自指擴展與多值肯定問題，構成v0.1的理論邊界研究。三角鏈（BMC_△）的完整形式化、第四角的形式化嘗試及Lawvere固定點定理的精確應用屬後續工作。*

*EML-LLF-2026-v0.2 © 2026 Neo.K / EveMissLab*