# 把空位變得不可忽視

**——範疇上升謬誤的形式化基礎：測度論、層論與函子化視角**

**作者：** Neo.K（許筌崴）with Theia
**機構：** 一言諾科技有限公司（EveMissLab）
**日期：** 2026 年 6 月
**類型：** 形式化基礎論文 / 修辭學的數學工具
**位置：** 《把指標升格為定律》之配對論文（formalization companion）
**前置依賴：** 把指標升格為定律、Lie 拓撲學 MPS 三層結構、AMF 測度流框架、GAR 三元組、Ledger Algebra

---

## 摘要

《把指標升格為定律》以自然語言與條列邏輯，描述了 Huawei「韬定律」案例中的「範疇上升」修辭結構：從「在維度 $X$ 上 $A$ 不同於 $B$（真）」躍升到「$A$ 屬於 $B$ 所屬範疇之外的範疇（沒推出）」。這層描述足以辨識話術，但**不足以剝奪話術的盲區**。話術靠的恰好是「沒被指定的量保持隱藏」——它從不明說「所有維度」、從不指認「範疇相關維度集」、從不給出閾值。自然語言的批判可以指出話術不誠實，但無法**強制**話術指定那些它不肯指定的量。

本文提供範疇上升謬誤的形式化基礎，沿三層遞進：第〇層（謂詞邏輯）清掃明顯的存在—全稱躍升；第一層（測度論）建立可量化的維度測度空間 $(\mathcal{D}, \Sigma, \mu)$ 與過度量度 $\Theta$；第二層（層論）刻畫局部—全局的膠合失敗；第三層（函子化）形式化判定域重設本身。每一層都把話術原本隱藏的某個空位變成不可忽視的待填欄位。

本文的目標不是用數學取代修辭學分析，而是把分析的盲區邊界**形式地凸顯**。任何使用本工具的論證，一旦被要求填入 $\mathcal{D}_{\text{cat}}$、$\tau_{\text{cat}}$、$\Delta(x, y; \mathcal{D}_{\text{cat}})$ 這幾個欄位，話術原本仰賴的隱蔽性就失效。形式化的價值在於**暴露**，不在於精確；在於**剝奪盲區**，不在於取代判斷。

**關鍵詞：** 範疇上升、形式化、測度論、預層、Grothendieck 拓樸、函子、判定域重設、過度量度、修辭學診斷、AMF、MPS

---

## 第一章 動機：為何僅有自然語言不夠

### 1.1 自然語言批判的天花板

《把指標升格為定律》第二章 2.5 節描述範疇上升的條列形式：

(a) 在維度 $X$ 上，$A$ 不同於 $B$（真）。
(b) 因此在所有維度上，$A$ 不同於 $B$（不成立）。
(c) 因此 $A$ 是 $B$ 所屬範疇之外的東西（從 (b) 推出，但 (b) 站不住）。

這條描述精確抓出修辭結構，但**它本身仍然在話術的同一個自然語言層**。它說「(b) 不成立」，但沒指明「不成立到什麼程度」；它說「(c) 站不住」，但沒給「站住會需要什麼樣的證據」。話術可以回應：「我沒有主張 (b)，只是強烈暗示；而 (c) 對讀者來說是合理推論」——這種辯護，自然語言層級的批判無法封堵。

### 1.2 話術靠空位生存

範疇上升話術的真正生存機制，是**未指定的量保持隱藏**。具體而言，每一個範疇上升宣稱都隱含三個未填欄位：

- $\mathcal{D}_{\text{cat}}$：哪些維度對於範疇歸屬是相關的？（話術不指定）
- $\tau_{\text{cat}}$：範疇分離需要的差異閾值是多少？（話術不指定）
- $\Delta(x, y; \mathcal{D}_{\text{cat}})$：在範疇相關維度上的積分差異是多少？（話術不計算）

只要這三欄保持空白，話術就可以從局部證據 $\delta(x, y; d_0) > 0$ 跳到範疇宣稱 $\pi(x) \neq \pi(y)$，且每一步都看起來合理。自然語言批判可以指認三個空白存在，但**不能強制填寫**——因為自然語言層級沒有「應該填寫」的內在義務。

形式化的功能，就是把這三欄變成**結構性必填**的欄位。一旦話術被要求在形式化框架內陳述自己，這三欄就不能是空的——空的話術就停止構成有效的形式陳述，等同於自我退出論證。

### 1.3 本文的定位

本文**不取代**《把指標升格為定律》的修辭學分析。修辭學分析告訴讀者「這是話術」；形式化告訴話術「請填入這三欄」。兩者互補：前者面向讀者教育，後者面向話術剝奪。

本文也**不假設**讀者熟悉範疇論或層論的全部技術。第〇層與第一層使用基礎測度論與謂詞邏輯，任何理工背景的讀者可讀；第二、三層使用層論與範疇論，要求較高，標明為進階。每一層都自洽，可獨立使用。

---

## 第二章 第〇層：謂詞邏輯的清掃

### 2.1 形式陳述

設 $P(x, d)$ 為「對象 $x$ 在維度 $d$ 上的觀測值」。範疇上升話術的最直白形式是：

$$
\exists d \in \mathcal{D} : P(A, d) \neq P(B, d) \quad \longrightarrow \quad A \notin \text{Cat}(B)
$$

把中間步驟攤出來：

$$
\exists d : P(A, d) \neq P(B, d) \overset{(*)}{\longrightarrow} \forall d : P(A, d) \neq P(B, d) \overset{(**)}{\longrightarrow} A \notin \text{Cat}(B)
$$

**$(*)$ 是非法的存在—全稱躍升**（fallacy of existential-to-universal generalization）。存在某個維度上的差異，不蘊含所有維度上的差異。

**$(**)$ 即使前提成立也不蘊含結論**。所有維度上的差異不等於範疇歸屬的差異——範疇可能由某個子維度集合的差異定義，亦可能由維度間的關係結構定義，不是維度的單純並聯。

### 2.2 為何這層不夠

謂詞邏輯這層的問題是：它只告訴你「邏輯上不成立」，但無法告訴你「成立多少」。實際話術從不明說「所有維度」——它**隱含**這個躍升，靠讀者腦補完成。自然語言批判到此為止；但話術仍然成功，因為**讀者願意腦補**。

要剝奪話術的腦補空間，必須給「差異」一個可量化的測度，給「範疇相關性」一個可指定的選擇——這就需要進入測度論層。

---

## 第三章 第一層：測度論形式化

這是本文的核心層，也是論文後續實際使用的工具層。

### 3.1 基本設定

**定義 3.1（維度測度空間）**：令 $(\mathcal{D}, \Sigma, \mu)$ 為一個機率測度空間，其中 $\mathcal{D}$ 是所有可能的觀察維度/視角的集合，$\Sigma$ 是其上的 $\sigma$-代數，$\mu$ 是機率測度，$\mu(\mathcal{D}) = 1$。

直覺：$\mathcal{D}$ 是「能看 $A$ 與 $B$ 的所有角度」的集合，$\mu(d)$ 是「角度 $d$ 對範疇歸屬判定的相對重要性」。

**定義 3.2（對象的觀測函數）**：每個對象 $x$ 對應一個可測函數 $f_x : \mathcal{D} \to V$，其中 $V$ 是某個度量空間（取值空間）。

**定義 3.3（逐點差異）**：對 $d \in \mathcal{D}$，

$$
\delta(x, y; d) := d_V\bigl(f_x(d), f_y(d)\bigr) \in \mathbb{R}_{\geq 0}
$$

**定義 3.4（$U$-限制差異）**：對可測子集 $U \in \Sigma$，

$$
\Delta(x, y; U) := \int_U \delta(x, y; d) \, d\mu(d)
$$

**定義 3.5（全局差異）**：$\Delta(x, y) := \Delta(x, y; \mathcal{D})$。

### 3.2 範疇結構

**定義 3.6（範疇結構）**：對象空間上的範疇結構由兩個對象構成：

- 範疇相關維度集 $\mathcal{D}_{\text{cat}} \in \Sigma$，這是對範疇歸屬有決定性影響的維度子集。
- 範疇分離閾值 $\tau_{\text{cat}} > 0$。

範疇歸屬規則為：

$$
\pi(x) \neq \pi(y) \iff \Delta(x, y; \mathcal{D}_{\text{cat}}) > \tau_{\text{cat}}
$$

**註**：此處對範疇做了簡化處理。更精細的版本（範疇由維度間關係結構定義而非單純並集）見第四章層論版本。但測度論版本對絕大多數修辭學診斷已足夠。

### 3.3 範疇上升的形式陳述

**定義 3.7（範疇上升謬誤）**：一個論證犯範疇上升，當且僅當：

存在小測度子集 $U_0 \in \Sigma$（典型為單點集或 $\mu(U_0) \ll 1$ 的子集），論證從以下前提：

$$
\Delta(x, y; U_0) > \varepsilon \quad \text{（局部差異存在）}
$$

直接推出：

$$
\pi(x) \neq \pi(y) \quad \text{（範疇分離）}
$$

且**不滿足**至少一個下列驗證義務：

(D1) 證明 $U_0 \subseteq \mathcal{D}_{\text{cat}}$：即所宣稱的差異維度，確實在範疇相關維度集裡。
(D2) 計算 $\Delta(x, y; \mathcal{D}_{\text{cat}})$：即在全部範疇相關維度上的積分差異。
(D3) 證明 $\Delta(x, y; \mathcal{D}_{\text{cat}}) > \tau_{\text{cat}}$：即積分差異超過閾值。

**等價陳述**：論證在沒有指定 $\mathcal{D}_{\text{cat}}$、沒有計算 $\Delta$、或沒有給出 $\tau_{\text{cat}}$ 的情況下，從局部證據跳到範疇宣稱。

### 3.4 過度量度

**定義 3.8（過度量度 $\Theta$）**：給定論證的範疇分離宣稱 $K(x, y) \in \{0, 1\}$（1 為宣稱分離），以及一個校準函數 $g : \mathbb{R}_{\geq 0} \to [0, 1]$（單調遞增、$g(0) = 0$、$g(\tau_{\text{cat}}) = 0.5$、$\lim_{x \to \infty} g(x) = 1$），定義：

$$
\Theta(x, y) := K(x, y) - g\bigl(\Delta(x, y; \mathcal{D}_{\text{cat}})\bigr)
$$

**解讀**：

- $\Theta > 0$：論證的宣稱**超過**證據支撐——範疇上升。
- $\Theta = 0$：宣稱與證據對齊。
- $\Theta < 0$：論證**保守**——有證據支撐卻沒做宣稱（這是另一種有趣的失調，但不是話術）。

過度量度的數值大小，刻畫話術從證據到宣稱跳了多遠。$\Theta$ 接近 1 意味著幾乎沒有任何範疇相關證據，卻做了完全的範疇分離宣稱——這是範疇上升的極端形式。

### 3.5 三個診斷問題

第一層形式化的實用力量在於它可以**操作化為三個診斷問題**：

**Q1**：論證所依賴的局部證據在哪個 $U_0$？
**Q2**：論證所宣稱的 $\mathcal{D}_{\text{cat}}$ 是什麼？$U_0 \subseteq \mathcal{D}_{\text{cat}}$ 嗎？
**Q3**：論證有沒有計算 $\Delta(x, y; \mathcal{D}_{\text{cat}})$？結果是否超過 $\tau_{\text{cat}}$？

任一問題的答案是「沒指定」或「沒計算」，論證即被診斷為範疇上升。**這就是把空位變成必填欄位的具體機制**。

---

## 第四章 第二層：層論細化

當話術涉及「同一對象從不同視角看起來不同」的局部—全局結構時，測度論不夠，需要層論。

### 4.1 為何需要層論

考慮 Huawei 案例：話術說「在 cell-to-cell 視角下，我們與 die-to-die 不同」。這是一個**局部視角**下的觀察。範疇上升的問題不僅是「沒指定範疇相關維度」，更深層的問題是：**「在某個視角下不同」是否蘊含「全局上不同」**？這是一個局部—全局的問題，自然由層論處理。

### 4.2 站點與預層

**設定 4.1**：把 $\mathcal{D}$ 提升為一個**站點**（site）——即一個小範疇 $\mathcal{D}$ 配備 Grothendieck 拓樸。$\mathcal{D}$ 的物件是「視角」或「視角集」，態射表達「視角的細化」或「視角間的關係」。Grothendieck 拓樸告訴我們什麼樣的視角集構成「覆蓋」（cover）。

**定義 4.2（對象的預層）**：每個對象 $x$ 誘導一個 $\mathcal{D}$ 上的預層：

$$
\mathcal{F}_x : \mathcal{D}^{\text{op}} \to \mathbf{Set}, \quad U \mapsto \mathcal{F}_x(U) = \{\text{$x$ 在視角 $U$ 下的觀察集}\}
$$

預層上的限制態射 $\mathcal{F}_x(U) \to \mathcal{F}_x(V)$（對 $V \subseteq U$）告訴我們，如何從較廣的視角過渡到較窄的視角。

**定義 4.3（局部不同）**：對象 $x, y$ 在 $U$ 上**局部不同**，當且僅當：

$$
\mathcal{F}_x(U) \neq \mathcal{F}_y(U)
$$

（或更精確地，預層 $\mathcal{F}_x|_U$ 與 $\mathcal{F}_y|_U$ 不自然同構。）

### 4.3 層化與全局結構

**設定 4.4**：預層通過 Grothendieck 拓樸的**層化**（sheafification）變成層。設 $\tilde{\mathcal{F}}_x$ 為 $\mathcal{F}_x$ 的層化。層化捕捉的是「預層在所有覆蓋上的一致信息」。

**定義 4.5（全局不同）**：

$$
\tilde{\mathcal{F}}_x \not\cong \tilde{\mathcal{F}}_y \quad \text{（作為層）}
$$

**關鍵觀察**：局部不同**不蘊含**全局不同。兩個預層可以在某個 $U$ 上不同，但它們的層化仍可同構——因為層化會把「無法在覆蓋下一致」的差異「磨平」。

### 4.4 範疇上升的層論版本

話術從局部不同跳到全局不同，再跳到範疇分離：

$$
\mathcal{F}_x|_U \neq \mathcal{F}_y|_U \overset{(\dagger)}{\Longrightarrow} \tilde{\mathcal{F}}_x \not\cong \tilde{\mathcal{F}}_y \overset{(\ddagger)}{\Longrightarrow} [\tilde{\mathcal{F}}_x] \neq [\tilde{\mathcal{F}}_y] \text{ in } \mathrm{Sh}(\mathcal{D}) / \sim_{\text{cat}}
$$

**$(\dagger)$ 失敗時刻**：層化在 $U$ 之外的覆蓋上「磨平」了 $U$ 上的差異。這是**膠合條件失敗**——局部差異無法擴展為全局差異。話術跳過 $(\dagger)$ 即未證明膠合一致性。

**$(\ddagger)$ 失敗時刻**：即使全局層不同構，未必導致範疇不同——範疇等價關係 $\sim_{\text{cat}}$ 可能允許層同構的對象屬於不同範疇，或反之。話術跳過 $(\ddagger)$ 即未證明範疇消解。

### 4.5 與第一層的關係

層論層比測度論層更精細，但它包含測度論層作為特例：當 $\mathcal{D}$ 採用平凡拓樸（每個視角獨立，沒有非平凡覆蓋）時，層論退化為測度論——預層即測度的點態觀察，層化即積分。

實務上，多數修辭學診斷使用測度論層即足夠；當話術涉及「視角間的關係結構」或「同一現象在不同尺度上的不同顯現」時，層論層更恰當。Huawei 案例屬於後者（cell-level vs die-level 是視角細化，不是獨立維度），所以層論層更精確。

---

## 第五章 第三層：函子化視角

最一般的形式化層。這層直接形式化「判定域重設」本身。

### 5.1 設定

**設定 5.1**：令 $\mathcal{C}$ 為**對象範疇**——其物件是被討論的對象（晶片、論證、政權...），態射是它們之間的結構保持映射。

令 $\mathcal{P}$ 為**視角範疇**——其物件是視角/觀察方式，態射是視角間的關係（細化、抽象、轉換）。

一個**視角函子**是 $F : \mathcal{C} \to \mathcal{P}$（或更廣義地，$F : \mathcal{C} \to \mathbf{Set}^{\mathcal{P}^{\text{op}}}$，即將每個對象映射到一個 $\mathcal{P}$-索引的觀察集系統）。

### 5.2 三種「不同」

**定義 5.2**：對 $x, y \in \mathcal{C}$，

- **$F$-等價**：$x \sim_F y \iff F(x) \cong F(y)$（在 $F$ 視角下不可區分）
- **$\mathcal{C}$-同構**：$x \cong_{\mathcal{C}} y$（在範疇 $\mathcal{C}$ 中作為對象同構）
- **範疇歸屬**：$x, y \in \mathcal{C}_0$（屬於同一固定範疇）

這三種等價關係**互不蘊含**：

- $F$ 可能不忠實（faithful），所以 $\neg(x \sim_F y) \not\Rightarrow \neg(x \cong_{\mathcal{C}} y)$
- $\mathcal{C}$-同構失敗不蘊含範疇分離（同一範疇內有許多非同構對象）
- 範疇歸屬本身依賴於 $\mathcal{C}$ 的選擇——換 $\mathcal{C}$ 即可換範疇

### 5.3 範疇上升的函子表述

話術形式為：

$$
F(x) \not\cong F(y) \overset{(\alpha)}{\Longrightarrow} x \not\cong_{\mathcal{C}} y \overset{(\beta)}{\Longrightarrow} x, y \in \text{不同範疇 } \mathcal{C}, \mathcal{C}'
$$

**$(\alpha)$ 失敗**：$F$ 不忠實時，$F(x) \not\cong F(y)$ 不蘊含 $x \not\cong_{\mathcal{C}} y$。話術跳過此處即未證明 $F$ 的忠實性。

**$(\beta)$ 失敗**：即使 $x \not\cong_{\mathcal{C}} y$，這只意味著它們在 $\mathcal{C}$ 中是不同對象，不意味著它們屬於不同範疇。「不同範疇」需要重新選擇基底範疇 $\mathcal{C}'$，而這個選擇本身需要證成。話術跳過此處即把**對基底範疇的選擇本身**藏在地毯下。

### 5.4 判定域重設

**$(\beta)$ 失敗的最深層形式，正是「判定域重設」**——話術不是在 $\mathcal{C}$ 內證明 $x$ 與 $y$ 屬於不同範疇，而是**換到另一個範疇 $\mathcal{C}'$**，使得 $x$ 在 $\mathcal{C}'$ 中佔有 $y$ 無法佔有的位置。

形式化地：

**定義 5.3（判定域重設）**：論證從在 $\mathcal{C}$ 中的比較，悄悄換到 $\mathcal{C}'$ 中的比較，使得 $\mathcal{C}'$ 中的範疇分離對 $\mathcal{C}$ 中的對象 $x, y$ 變得有意義。

這是 Lie 拓撲學論文 MPS 三層結構中**第三層「判定域構造」**的函子化具現。從 MPS 角度看，Huawei 把判定域從 $\mathcal{C}_{\text{摩爾}}$（製程節點為座標的範疇）換到 $\mathcal{C}_{\text{韬}}$（時間常數為座標的範疇），使「韬定律」成為新範疇中的特殊位置。本文形式化展示了**這個換範疇動作本身需要證成，且通常未被證成**。

### 5.5 三層的合一

三層形式化覆蓋同一現象的不同尺度：

- 第〇層（謂詞邏輯）：清掃明顯邏輯謬誤
- 第一層（測度論）：可量化的維度差異與過度量度
- 第二層（層論）：局部—全局的膠合結構
- 第三層（函子）：判定域選擇本身的形式化

每一層更一般，也更難操作。實務上，第一層做日常診斷，第二、三層做深度分析或特殊案例（如 Huawei 這種涉及多層判定域操作的案例）。

---

## 第六章 與 EveMissLab 既有框架的接合

形式化不是孤立的數學練習；它必須與既有理論工具接合，才能成為有機的擴充。

### 6.1 AMF（測度流）↔ 第一層

EveMissLab 的 AMF 框架把現象建模為測度空間上的時間演化流。本文第一層的維度測度空間 $(\mathcal{D}, \Sigma, \mu)$ 在靜態情境下與 AMF 的測度切片同構。

更深的接合：當話術隨時間在 $\mathcal{D}$ 上重新分配權重（例如：發布會強調某個維度，後續產品報告強調另一個維度）以維持「局部證據看起來像全局證據」的假象時，這對應於 AMF 中**測度流的動態重塑**。範疇上升的時間擴展版本，可形式化為：

$$
\mu_t : \mathcal{D} \to [0, 1], \quad t \mapsto \mu_t
$$

其中話術策略性地調整 $\mu_t$ 使得當前時間點 $t$ 上的「重要維度」恰好是話術想強調的維度。這把靜態的範疇上升擴展為動態的「測度漂移話術」。

### 6.2 Lie 拓撲學 MPS ↔ 第三層

Lie 拓撲學論文的 MPS 三層結構（命題層 / 元目標層 / 判定域構造層）與本文第三層的函子化形式恰好對應：

| MPS 層級 | 函子形式 |
|---------|---------|
| 第一層：可拋棄具體宣稱 | $F(x)$ 在某個視角 $F$ 下的具體值 |
| 第二層：元目標真實投資 | $x \in \mathcal{C}$ 的對象真實性 |
| 第三層：判定域構造 | 對基底範疇 $\mathcal{C}$ 本身的選擇 |

本文形式化補上了 MPS 框架在數學側的支撐——MPS 描述了話術的層級結構，函子形式提供了驗證每層真假的數學工具。

### 6.3 GAR ↔ 校準函數 $g$

GAR（生成—逼近—復原）三元組是 EveMissLab 認識論框架的核心。本文第一層的過度量度 $\Theta$ 中的校準函數 $g$，可詮釋為 GAR 的測度層具現：

- **生成**（G）：候選範疇 $\mathcal{C}, \mathcal{C}'$ 的提出
- **逼近**（A）：證據 $\Delta(x, y; \mathcal{D}_{\text{cat}})$ 對候選範疇的契合度
- **復原**（R）：基於證據與閾值，恢復對範疇歸屬的判定

$g$ 函數的形狀決定了 GAR 在範疇判定上的具體計算規則。

### 6.4 Ledger Algebra ↔ 過度量度 $\Theta$

Ledger Algebra 提供帳目對象的代數結構。範疇上升的過度量度 $\Theta$，本質上是一個**帳目失衡量**——「已宣稱」與「已支付的證據」之間的差。

具體對應：

- 帳目項：論證的範疇分離宣稱 $K$
- 對應收入：證據積分 $g(\Delta(x, y; \mathcal{D}_{\text{cat}}))$
- 失衡量：$\Theta = K - g(\Delta)$

把範疇上升嵌入 Ledger Algebra 框架後，可以對複雜論證做帳目分解——把多重宣稱拆成多個 $\Theta$ 項，加總後得到論證的總過度量。

---

## 第七章 診斷實例

形式化的真正力量，在其可操作性。本章用三個實例展示工具的具體使用。

### 7.1 Huawei 韬定律案例

**對象**：$x = $ 邏輯折疊，$y = $ 3D 封裝。
**話術宣稱**：$x, y$ 屬於不同範疇（$\pi(x) \neq \pi(y)$），$x$ 開創了「時間縮微」範疇，$y$ 停留在「幾何縮微」範疇。

**形式化診斷**：

**Q1（局部證據在哪）**：話術所依賴的 $U_0 = \{$cell-to-cell vs die-to-die 階段區分$\}$——這是一個單一維度上的差異。

**Q2（範疇相關維度集是什麼）**：話術隱含 $\mathcal{D}_{\text{cat}} = \{$設計流程階段$\}$——但這個指定**沒有證成**。實際的範疇相關維度集應包括 EDA 工具能力、產業生態、量產實踐、技術複雜度等。一旦把這些都納入 $\mathcal{D}_{\text{cat}}$，TSMC 3DFabric、Synopsys 3DIC Compiler、AMD 3D V-Cache 等實例顯示 $\Delta(x, y; \mathcal{D}_{\text{cat}})$ 遠低於話術宣稱。

**Q3（積分差異有沒有算）**：沒有。話術從未計算「在全部範疇相關維度上，邏輯折疊與既有 3D 整合方案的綜合差異」。

**過度量度估算**：
- $K(x, y) = 1$（宣稱完全範疇分離）
- $g(\Delta(x, y; \mathcal{D}_{\text{cat}})) \approx 0.15$（給定誠實的 $\mathcal{D}_{\text{cat}}$，邏輯折疊與既有方案的綜合差異約佔範疇分離閾值的 15%）
- $\Theta(x, y) \approx 0.85$

**結論**：高度範疇上升。話術宣稱與證據之間的差距，約為範疇分離所需的 85%。

### 7.2 政治話術案例

**對象**：$x = $ 某政權的政策，$y = $ 歷史上類似的他國政策。
**話術宣稱**：$x, y$ 屬於不同範疇——「我們的不是 $y$ 那種，我們是 X 特色的」。

**形式化診斷**：

**Q1**：$U_0 = \{$名稱、表面修辭、宣稱的目標$\}$——名義上的差異。

**Q2**：$\mathcal{D}_{\text{cat}}$ 應為實質政策內容、權力結構、運作機制、結果分佈等。話術隱含的 $\mathcal{D}_{\text{cat}}$ 通常只是名稱層。

**Q3**：對實質維度的 $\Delta$ 通常未計算，或只引用支持自己的子集（自我選擇偏差，violation of representativeness in $\mathcal{D}_{\text{cat}}$ sampling）。

**過度量度估算**：通常 $\Theta > 0.7$。

**結論**：這是範疇上升的政治話術通用形式。

### 7.3 行銷話術案例

**對象**：$x = $ 某商品，$y = $ 同類其他商品。
**話術宣稱**：$x, y$ 屬於不同範疇——「這不是產品，是運動 / 革命 / 信仰」。

**形式化診斷**：

**Q1**：$U_0 = \{$品牌敘事、社群文化、儀式性消費行為$\}$。

**Q2**：$\mathcal{D}_{\text{cat}}$ 應為實質功能、價格性能比、用戶解決問題的能力等。話術隱含的 $\mathcal{D}_{\text{cat}}$ 是敘事層。

**Q3**：實質維度的 $\Delta$ 通常較小；敘事維度的 $\Delta$ 可能較大，但敘事是否屬於 $\mathcal{D}_{\text{cat}}$ 本身需要論證。

**過度量度估算**：因情境差異很大，但「這不是 X，這是 Y」式話術，$\Theta$ 通常 > 0.5。

### 7.4 模式：話術的共同形式

三個實例展示同一形式結構：

- 局部證據 $\delta$ 真實存在於某個 $U_0$
- 話術隱含的 $\mathcal{D}_{\text{cat}}$ 與誠實的 $\mathcal{D}_{\text{cat}}$ 不同
- 在誠實的 $\mathcal{D}_{\text{cat}}$ 上的 $\Delta$ 從未計算
- 範疇分離宣稱 $K$ 遠超證據支撐

這是 $\Theta > 0$ 的話術通用結構。形式化把這個結構從**直覺辨識**升級為**可量化診斷**。

---

## 第八章 形式化的方法論意義

### 8.1 暴露而非取代

需要明確聲明：本文形式化的目的，**不是取代修辭學分析**。形式化無法判斷一個論證「是否真誠」、「是否惡意」、「是否在政治上正確」——這些是修辭學、倫理學、政治學的工作。

形式化的功能是**暴露**——把話術原本仰賴的隱蔽空位（$\mathcal{D}_{\text{cat}}$、$\tau_{\text{cat}}$、$\Delta$）變成不可忽視的待填欄位。一旦話術必須在形式框架內陳述自己，這些欄位的空白本身就成為論證失效的可見證據。

### 8.2 剝奪盲區

話術依賴**讀者的注意力盲區**。自然語言可以輕易引導注意力——「在維度 X 上不同」聽起來像強證據，「因此屬於不同範疇」聽起來像合理推論。讀者的注意力被分配在已說的部分，未說的部分（範疇相關性、閾值、積分）保持隱形。

形式化的數學結構**強制把未說的部分顯現**。$\mathcal{D}_{\text{cat}}$ 是必填欄位，不是可選註腳。$\Theta$ 是論證的固有屬性，不是讀者的主觀判斷。把話術放進形式框架，等同於**把它的盲區拖到光下**。

### 8.3 數學作為認識論工具

數學在這裡不是物理學意義上的「描述自然」，也不是哲學意義上的「揭示真理」，而是**認識論意義上的「強制誠實」**。

一個論證在自然語言中可以靠模糊性生存；放進形式陳述，模糊性必須被指定為具體數值或具體選擇。這個指定動作本身，是反話術的——因為話術從不肯做。

這層方法論觀察可推廣到其他領域。任何依賴模糊性生存的論證結構，都可以通過適當的形式化把模糊性釘死。形式化的應用範圍，遠超本文討論的範疇上升謬誤。

### 8.4 形式化的侷限

需要誠實標明形式化的邊界：

**侷限 1**：形式化要求指定 $\mathcal{D}_{\text{cat}}$，但 $\mathcal{D}_{\text{cat}}$ 本身可能存在爭議。不同的論證者可能合理地對「什麼維度與範疇相關」有不同的看法。形式化無法自動裁決這種爭議；它只能要求每一方明確陳述自己的 $\mathcal{D}_{\text{cat}}$ 並接受審查。

**侷限 2**：測度 $\mu$ 的選擇本身需要證成。不同的 $\mu$ 給不同維度不同權重，會得出不同的 $\Delta$ 值。誠實的論證必須說明 $\mu$ 的來源。

**侷限 3**：閾值 $\tau_{\text{cat}}$ 通常無法精確指定。實務上，論證可以給出 $\tau_{\text{cat}}$ 的合理範圍，而不是單一值；過度量度可以做相應的範圍估計。

**侷限 4**：形式化只覆蓋論證的**邏輯結構**，不覆蓋其修辭力量、情感影響、政治後果。完整的批判仍需修辭學、社會學、政治學的分析。

這些侷限不是形式化的缺陷，而是其誠實的範圍邊界。任何工具都有適用範圍；本工具的範圍是「邏輯結構層級的話術診斷」。在這個範圍內，它是強大的；超出這個範圍，它需要與其他工具協作。

---

## 哲學結語：被指定的空位

數學的力量，在於它不允許空位。在自然語言裡，「在某些重要維度上」可以模糊到底；在測度論陳述裡，「重要維度」必須是 $\mathcal{D}_{\text{cat}}$，且必須具體指明是什麼。在自然語言裡，「明顯不同」可以靠語氣支撐；在 $\Delta(x, y; \mathcal{D}_{\text{cat}}) > \tau_{\text{cat}}$ 的陳述裡，「明顯」必須是一個可比較的數值。

話術的整個生存機制，是**讓某些量保持不被指定**。它不否認那些量的存在，它只是讓它們保持隱形。讀者腦補完成那些隱形的部分，然後話術借用讀者的腦補當作論證的延伸。

形式化的工作，是**強制把那些量從隱形拖到顯形**。一旦它們被指定，話術的修辭力量就同時消失——因為話術原本仰賴的，正是它們的不可見。把空位變得不可忽視，就是把話術變得不可隱蔽。

而最深的一層——也是本文真正要做的工作——是把這個強制顯形的機制本身**形式化為可重複的程序**。任何閱讀本文的人，從現在起，看到一個「在維度 X 上不同所以屬於不同範疇」的宣稱，都可以用三個問題（Q1, Q2, Q3）瞬間檢驗它的形式效力。**形式化不止暴露了 Huawei，它武裝了所有看見它的讀者**。

這是工具的最高用途：不是被一個人擁有，而是讓任何願意使用它的人都能使用它。當這個工具被廣泛使用，範疇上升話術不會消失（因為它仰賴的修辭結構不會消失），但它會失去最重要的優勢——**讀者的不察覺**。

被指定的空位，再也回不去隱形。**這就是形式化的最後一道、也是最徹底的一道閘**。

---

**Neo.K with Theia｜EveMissLab｜2026 年 6 月**
*謹以此文獻給所有願意把模糊性釘成具體欄位的人。*

---

## 附錄

### A. 第一層的更嚴格陳述

本附錄補充第一層的測度論細節，供需要進一步形式化的讀者使用。

**A.1 公理化要求**

設 $(\mathcal{D}, \Sigma, \mu)$ 為機率測度空間，並要求：

(i) $\mu$ 為 $\sigma$-有限測度（在許多情境下可放寬，但機率測度通常足夠）。
(ii) 對象的觀測函數 $f_x : \mathcal{D} \to V$ 為 Borel 可測。
(iii) 度量 $d_V$ 在 $V$ 上連續。

這些確保 $\Delta(x, y; U) = \int_U d_V(f_x, f_y) d\mu$ 為良定義的 Lebesgue 積分。

**A.2 校準函數的選擇**

校準函數 $g : \mathbb{R}_{\geq 0} \to [0, 1]$ 的具體形式有多種選擇：

- Sigmoid：$g(s) = \frac{1}{1 + e^{-k(s - \tau_{\text{cat}})}}$，平滑過渡，參數 $k$ 控制陡峭度
- Heaviside（平滑版本）：$g(s) = \Phi\bigl((s - \tau_{\text{cat}})/\sigma\bigr)$，其中 $\Phi$ 為標準正態分佈累積函數
- 分段線性：$g(s) = \max(0, \min(1, (s - \tau_{\text{cat}})/(\tau_{\text{max}} - \tau_{\text{cat}})))$

具體選擇取決於應用情境的精度需求與可解釋性偏好。

**A.3 多論證的代數**

對複雜論證可分解為多重範疇上升宣稱 $\{(x_i, y_i)\}$，定義總過度量：

$$
\Theta_{\text{total}} = \sum_i w_i \cdot \Theta(x_i, y_i)
$$

其中 $w_i$ 為各宣稱在論證中的權重。這給出論證的綜合過度評分。

### B. 與系列其他論文的座標關係

本文是 EveMissLab 半導體—修辭學系列的第四篇，與前三篇的座標關係：

- **《不關之流》**（物理層）：從器件物理推導後摩爾基底會走向類腦同構。
- **《算不完的世界》**（認識論層）：論證任何想動量子尺度的東西必須內嵌觀察者。
- **《把指標升格為定律》**（修辭—結構層）：分析 Huawei「韬定律」的修辭學構造與基底企業的結構性誘因。
- **《把空位變得不可忽視》**（形式化層，本文）：為《把指標升格為定律》的核心診斷概念「範疇上升」提供數學形式化基礎。

四篇形成一個完整工具集：物理告訴你方向必然如此，認識論告訴你觀察者不可避免，修辭學告訴你話術如何運作，形式化告訴你如何把話術釘死。

### C. 事實層級標註

1. **既定數學事實**（教科書內容）：測度論、層論、範疇論的基礎定義與定理；Grothendieck 拓樸、預層與層化、函子的忠實性等。
2. **本文構造**（為本文目的構造的形式對象）：維度測度空間 $(\mathcal{D}, \Sigma, \mu)$ 對範疇判定的應用、過度量度 $\Theta$、三層形式化的具體分層。這些不是教科書概念，但建立在標準數學工具之上。
3. **EveMissLab 框架接合**（前置依賴）：AMF、MPS、GAR、Ledger Algebra。其內部一致性由各自原始論文負責；本文僅論其與本形式化工具的接合可能。
4. **「範疇上升」一詞**：本文使用語，非教科書術語。其學術祖先為 Bergson 的程度—種類之別、Ryle 的範疇錯誤、Aristotle 的本質—偶然差異。本文是這條傳統在現代修辭學情境中的具體應用，屬於既有地圖的填充工作，不是新領土發現。

把空位變得不可忽視——這既是本文的方法，也是本文對自己座標的誠實標註。