# 動態邏輯解與生成判斷系列：總綱
## 從靜態真值、絕對動態解、三態與動態不動點，到可不可論、責任與可執行知識

**系列名稱：** 動態邏輯解與生成判斷系列  
**英文暫名：** *Dynamic Logic Solutions and Generative Judgment Series*  
**版本：** v0.1  
**日期：** 2026-08-16  
**作者：** Neo.K（概念提出）／Aletheia（理論整理與形式化協作）  
**機構：** EveMissLab Logic Matrix（一言諾科技有限公司）

---

## 摘要

本系列重新整理並推進 Neo.K 既有的絕對動態邏輯（Absolute Dynamic Logic, ADL）、三態邏輯、動態不動點與可不可論，並將其與當代 Dynamic Logic、Dynamic Epistemic Logic、Belief Revision、Many-Valued Logic、Bayesian Epistemology 及可執行文件系統進行概念區分。

本系列的核心主張不是「傳統邏輯錯了」，也不是宣稱所有命題都不再具有真假。它所挑戰的是另一個更基礎的習慣：

> **將判斷結果與判斷過程視為同一件事。**

傳統靜態介面常把命題投影為：

$$
J(P)\in\{\top,\bot\}.
$$

但實際知識活動、科學研究、AI 推理與多主體決策往往具有時間、證據、上下文與修正歷史。故本系列將判斷提升為：

$$
\boxed{
J(P,t\mid E_{\leq t},\Gamma_t,O_t,M_t)
}
$$

其中：

- $P$：被判斷命題；
- $t$：判斷時間；
- $E_{\leq t}$：截至時間 $t$ 可用的證據；
- $\Gamma_t$：當前語境、規則與判定域；
- $O_t$：觀察者／代理條件；
- $M_t$：當前模型或推理系統。

如此一來，「判斷」不再只有當前輸出值，而具有：

$$
\text{state}
+
\text{transition}
+
\text{history}
+
\text{reopenability}.
$$

這使舊有「可不可論」得到更清楚的邏輯入口。「可」不等於真，「不可」也不等於假；兩者是對下一步生成空間的開放與約束。可不可相激，不是 $P\land\neg P$，而是：

$$
X_{t+1}
=
F(
X_t,
\mathsf{Can}_t,
\mathsf{Cannot}_t,
\Gamma_t
).
$$

最終，本系列將理論推向一個工程命題：如果判斷本身是可重開、可追溯、可隨證據更新的動態過程，那麼承載這種知識的文件也不能永遠只是靜態快照。論文可以成為可執行知識物件：

$$
\boxed{
\text{Source}
\rightarrow
\text{Compile}
\rightarrow
\text{Execute}
\rightarrow
\text{Observe}
\rightarrow
\text{Update}
\rightarrow
\text{Render}.
}
$$

EveGlyph Editor 既有 AIMD-C 可計算文件核心，已具有表達式計算、依賴圖、斷言、即時重算、公式視圖與 computation ledger，可作為此系列技術化的第一個現成基底。

---

# 一、系列的問題不是「真假要不要取消」

本系列不取消：

$$
\top,\bot.
$$

它區分：

$$
\boxed{
\text{Truth Value}
\neq
\text{Judgment State}
}
$$

以及：

$$
\boxed{
\text{Judgment State}
\neq
\text{Judgment History}.
}
$$

例如某個科學命題在時間 $t_0$ 被暫時接受，不表示：

$$
J(P,t)=\top
\quad
\forall t.
$$

新證據可能使：

$$
\top
\rightarrow
\Omega
\rightarrow
\bot.
$$

這不是邏輯任性，而是判斷對證據與模型更新的歷史性。

---

# 二、與既有 Dynamic Logic 的區分

Fischer 與 Ladner 的 Propositional Dynamic Logic（PDL）以程式／行動作為 modal operator，研究程式執行後哪些命題成立。Dynamic Epistemic Logic（DEL）則研究資訊事件如何改變 epistemic model。AGM belief revision 研究理論如何 expansion、contraction 與 revision。

本系列吸收「狀態會因操作而改變」的廣義動態思想，但研究中心不同：

$$
\boxed{
\text{本系列研究的是「判斷本身作為可執行狀態歷史」。}
}
$$

因此不把本系列的「Dynamic Logic」宣稱為既有 PDL 或 DEL 的替代品，而視為一個需要精確區分命名的自有理論系譜。

---

# 三、系列主幹

## Paper 1
### 《靜態真值的破界：判斷不是一個值，而是一個過程》

建立：

$$
J(P)
\longrightarrow
J(P,t).
$$

核心是判斷軌跡、當前閉合、重新開啟與歷史保存。

## Paper 2
### 《絕對動態解：從答案到判定路徑》

重新抽取 2026 年 2 月 ADL 的核心洞見。

定義：

$$
\mathcal S_0
\xrightarrow{F_0}
\mathcal S_1
\xrightarrow{F_1}
\cdots
\xrightarrow{F_n}
\mathcal S_n.
$$

並主張：

$$
\boxed{
\text{Solution}
=
\text{a justified admissible transition history}.
}
$$

## Paper 3
### 《三態不是第三個普通真值： $\Omega$ 作為生成中的判定》

建立：

$$
J(P,t)\in\{\top,\bot,\Omega\}.
$$

其中：

$$
\Omega
=
\text{open / unresolved / generating judgment state}.
$$

## Paper 4
### 《動態不動點：內容可變，而修正能力保持》

研究：

$$
S_{t+1}=F(S_t)
$$

與：

$$
\mathcal I(S_{t+1})=\mathcal I(S_t).
$$

## Paper 5
### 《可不可論作為動態模態生成系統》

將：

$$
\mathsf{Can}_t
$$

與：

$$
\mathsf{Cannot}_t
$$

理解為生成方向與護界約束，而非真與假。

## Paper 6
### 《暫時閉合、重新開啟與責任：從可不可論到負罪前行》

建立：

$$
\text{Open}
\rightarrow
\text{Closure}
\rightarrow
\text{Action}
\rightarrow
\text{Consequence}
\rightarrow
\text{Reopen}.
$$

並接：

$$
\boxed{
\text{可行動}
\Rightarrow
\text{不可逃離其果}.
}
$$

## Paper 7
### 《生成判斷論：從動態邏輯到可執行知識》

封頂：

$$
\text{Dynamic Judgment}
\rightarrow
\text{Executable Knowledge}.
$$

---

# 四、宗教／終極存在支線

主系列完成後，另展開三篇：

1. 《神諭作為跨主體動態資訊》；
2. 《隱匿的造物主與動態認識義務》；
3. 《可向終極而問，不可僭終極之位》。

這三篇不把神的存在或不存在當作前提，而使用主系列所建立的動態判斷結構。

---

# 五、工程文件

## T1
《可執行動態邏輯 Runtime 規格》

## T2
《EveGlyph Dynamic Logic Integration Spec》

## T3
《Executable Live Paper Format》

## T4
《Dynamic Logic Visual Renderer》

## T5
《Bayesian Logic Judge：科普投影與產品介面》

其中「貝葉斯邏輯判斷器」是對外別稱／低維投影，不等於系統只有 Bayesian inference。

---

# 六、最小理論不變量

在重新整理舊 ADL 與三態時，本系列先保存四個弱而重要的核心：

$$
\boxed{
\begin{aligned}
1.\;&\text{判斷可以是過程，不只是值；}\\
2.\;&\text{未閉合不等於錯誤；}\\
3.\;&\text{中間態可以具有生成性；}\\
4.\;&\text{穩定解可以是動態保持，而非內容靜止。}
\end{aligned}
}
$$

舊稿中更強的命題，例如所有判斷必然有限收斂、某種絕對維結構、特定認知容量門檻等，不自動繼承為本系列定理，需重新證明或降格為假說。

---

# 七、工程入口：EveGlyph AIMD-C

截至本系列啟動時，EveGlyph AIMD-C 已具有：

- typed value；
- pure function；
- compute block；
- assert block；
- table；
- view；
- arithmetic / comparison / Boolean expression evaluator；
- named variable；
- cross-block reference；
- dependency DAG；
- cycle detection；
- live full-document re-evaluation；
- computation ledger；
- formula / number / table / chart projection。

因此本系列不需要從零建立「公式會算」的系統。

下一步是加入：

$$
\text{time}
+
\text{evidence}
+
\text{judgment state}
+
\text{transition history}
+
\text{reopen}.
$$

即：

$$
\boxed{
\text{Computable Document}
+
\text{Dynamic Judgment}
=
\text{Executable Dynamic Logic Paper}.
}
$$

---

# 八、系列研究原則

1. 不把自有術語偽裝成既有學界共識；
2. 不把「動態」當作僅有動畫效果；
3. 不把 Bayesian probability 當作完整本體；
4. 不把 $\Omega$ 當作普通第三真值；
5. 不把可修正性誤解為永不決策；
6. 不把暫時閉合誤解為終極真理；
7. 不把重新開啟當作逃避責任；
8. 不把可執行文件等同於 Jupyter Notebook；
9. 每一個運行結果保留來源、依賴與歷史；
10. 靜態 MD／HTML／PDF 皆視為某一時間點的投影。

---

# 九、參考接口

- Fischer, M. J., & Ladner, R. E. (1979). *Propositional Dynamic Logic of Regular Programs*. Journal of Computer and System Sciences, 18(2), 194–211. DOI: 10.1016/0022-0000(79)90046-1.
- Alchourrón, C. E., Gärdenfors, P., & Makinson, D. (1985). *On the Logic of Theory Change: Partial Meet Contraction and Revision Functions*. Journal of Symbolic Logic, 50(2), 510–530. DOI: 10.2307/2274239.
- *Dynamic Epistemic Logic*. Stanford Encyclopedia of Philosophy, Spring 2026 Edition.
- *Many-Valued Logic*. Stanford Encyclopedia of Philosophy, 2026.
- *Bayesian Epistemology*. Stanford Encyclopedia of Philosophy.
- Rule, A. et al. (2019). *Ten Simple Rules for Reproducible Research in Jupyter Notebooks*. PLOS Computational Biology.
- Wang, J. et al. (2020). *Assessing and Restoring Reproducibility of Jupyter Notebooks*. ASE 2020. DOI: 10.1145/3324884.3416585.

---

# 十、總結

本系列不是要說：

> 真與假不存在。

而是要說：

$$
\boxed{
\text{一個真值，可以是判斷歷史中的狀態；
而判斷歷史本身，是另一個需要被形式化的對象。}
}
$$

當這個區分成立後，可不可論才不會再被誤讀為「可以又不可以」。

它真正描述的是：

$$
\boxed{
\text{生成}
+
\text{護界}
+
\text{暫時閉合}
+
\text{重新開啟}
+
\text{責任回返}.
}
$$