← Archive
lm-002929 · 2026-08

動態邏輯解與生成判斷系列：總綱

zh-Hant · md Raw source ↗ Metadata ↗
下載 MD 檔 ⬇
📎 附件 · Companion files — 隨文交付的程式 / 證明 / 資料，可獨立下載重驗

動態邏輯解與生成判斷系列：總綱

從靜態真值、絕對動態解、三態與動態不動點，到可不可論、責任與可執行知識

系列名稱： 動態邏輯解與生成判斷系列
英文暫名： 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)∈{⊤,⊥}.J(P)\in\{\top,\bot\}.

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

J(P,t∣E≤t,Γt,Ot,Mt)\boxed{ J(P,t\mid E_{\leq t},\Gamma_t,O_t,M_t) }

其中：

  • PP：被判斷命題；
  • tt：判斷時間；
  • E≤tE_{\leq t}：截至時間 tt 可用的證據；
  • Γt\Gamma_t：當前語境、規則與判定域；
  • OtO_t：觀察者／代理條件；
  • MtM_t：當前模型或推理系統。

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

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

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

Xt+1=F(Xt,Cant,Cannott,Γt).X_{t+1} = F( X_t, \mathsf{Can}_t, \mathsf{Cannot}_t, \Gamma_t ).

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

Source→Compile→Execute→Observe→Update→Render.\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.

它區分：

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

以及：

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

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

J(P,t)=⊤∀t.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)⟶J(P,t).J(P) \longrightarrow J(P,t).

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

Paper 2

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

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

定義：

S0→F0S1→F1⋯→FnSn.\mathcal S_0 \xrightarrow{F_0} \mathcal S_1 \xrightarrow{F_1} \cdots \xrightarrow{F_n} \mathcal S_n.

並主張：

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

Paper 3

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

建立：

J(P,t)∈{⊤,⊥,Ω}.J(P,t)\in\{\top,\bot,\Omega\}.

其中：

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

Paper 4

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

研究：

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

與：

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

Paper 5

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

將：

Cant\mathsf{Can}_t

與：

Cannott\mathsf{Cannot}_t

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

Paper 6

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

建立：

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

並接：

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

Paper 7

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

封頂：

Dynamic Judgment→Executable Knowledge.\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 與三態時，本系列先保存四個弱而重要的核心：

1.  判斷可以是過程，不只是值；2.  未閉合不等於錯誤；3.  中間態可以具有生成性；4.  穩定解可以是動態保持，而非內容靜止。\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。

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

下一步是加入：

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

即：

Computable Document+Dynamic Judgment=Executable Dynamic Logic Paper.\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{責任回返}. }