判定域轉移與歷史信息狀態：從局部四態到「是又不是／不是又是」的有向邏輯

English Title: Judgment-Domain Transitions and Historical Information States: From Local Four-State Evaluation to Directional Is-Then-Not Logic
Series: Domain-Transition Information Logic, Paper I
Author: Neo.K
Collaborator: Aletheia (GPT-5.6 Sol)
Institution: EveMissLab / 一言諾科技有限公司
Version: v0.1
Date: 2026-08-10
Status: Series II — Foundational Paper

摘要

本文提出 Domain-Transition Information Logic（DTIL）的第一階段形式框架，用以描述一類無法僅以靜態真值或當前知識狀態表示的問題：同一命題、對象或分類在不同時間、不同判定域與不同語義狀態中，可能經歷「是 → 不是 → 又是」、「不是 → 是」、「看似仍是同一個 X，實際已被重新分類為 Y」等歷史性轉態。

本文首先保留既有四態資訊編碼：

\mathbb Q_4 = \{ \mathbf Y,\mathbf N,\mathbf B,\mathbf U \},

其中：

\mathbf Y=(1,0),\qquad \mathbf N=(0,1),\qquad \mathbf B=(1,1),\qquad \mathbf U=(0,0).

但本文強調：

\boxed{ \mathbf B \neq \mathbf Y\rightsquigarrow\mathbf N. }

$\mathbf B$ 表示同一局部判定狀態中支持與反證並存；而：

\mathbf Y\rightsquigarrow\mathbf N

表示具有方向與歷史的狀態轉移。前者是 local state，後者是 transition history。

本文進一步引入判定域 $\mathcal J_t$ 、歷史 $H_t$ 、語義身份狀態 $\Psi_t$ 、證據狀態 $E_t$ 與世界／過程狀態 $W_t$ ，將命題 (P) 的動態信息狀態表示為：

\widehat{\Sigma}_t(P) = ( \Psi_t, \mathcal J_t, E_t, W_t, \nu_t, H_t ).

其中：

\nu_t = \nu_4(P\mid\mathcal J_t) \in\mathbb Q_4.

本文提出三個核心區分：

局部四態不是歷史轉態；
跨判定域差異不是局部矛盾；
相同終點狀態不代表相同信息狀態。

因此：

\mathbf Y

和：

\mathbf Y\rightsquigarrow\mathbf N\rightsquigarrow\mathbf Y

雖具有相同當前四態投影，卻不是同一歷史信息狀態。本文據此將「又」解釋為一種 path-sensitive information operator：它至少要求當前狀態、先前同類狀態以及中間離開該狀態的歷史被共同保存。

本文並不宣稱首次提出動態四值邏輯。既有研究已將 Belnap 式四值語義與 Dynamic Logic、Hybrid Logic、paraconsistent transition systems 以及可變 domain 的資訊狀態演化結合。本文較窄的研究目標，是將「局部四態字母」「判定域轉移」「語義／被指身份」「轉態原因」與「歷史保留」放入同一狀態結構，並為後續「是又不是／不是又是」與 MIF 歷史序列形式化建立地基。

關鍵詞： 判定域；歷史信息狀態；四態邏輯；Q4；MIF；DBQ4；是又不是；不是又是；狀態轉移；path-dependent logic；semantic state

1. 問題：為什麼「又是」不是普通的「是」？

考慮兩條歷史：

H_1=(\mathbf Y)

和：

H_2=(\mathbf Y,\mathbf N,\mathbf Y).

如果只看當前狀態：

\operatorname{Current}(H_1) = \operatorname{Current}(H_2) = \mathbf Y.

一個無記憶系統會把兩者壓成同一個值：

\mathbf Y.

但對歷史信息而言：

\boxed{ H_1\neq H_2. }

第二個 $\mathbf Y$ 帶有：

先前曾為 $\mathbf Y$ ；
中間離開 $\mathbf Y$ ；
後來返回 $\mathbf Y$ 。

因此：

\boxed{ \text{“是”} \neq \text{“又是”}. }

「又」不是一個可以從當前端點單獨恢復的資訊。

2. Current-State Projection 會丟失歷史

定義：

\pi_{\mathrm{now}}: H \rightarrow \mathbb Q_4

為：

\pi_{\mathrm{now}}(H) = \text{last state of }H.

則：

\pi_{\mathrm{now}}(H_1) = \pi_{\mathrm{now}}(H_2)

不代表：

H_1=H_2.

所以：

\boxed{ \pi_{\mathrm{now}} \text{ is many-to-one}. }

也就是多條不同歷史會被投影成同一當前狀態。

這正是「又」會被 memoryless logic 壓掉的原因。

3. Q4：局部狀態字母

本文沿用四態局部資訊狀態：

\nu_4(P\mid c,t) = ( e^+(P\mid c,t), e^-(P\mid c,t) ) \in \{0,1\}^2.

因此：

\mathbf Y=(1,0),

代表支持成立、反證不足；

\mathbf N=(0,1),

代表支持不足、反證成立；

\mathbf B=(1,1),

代表支持與反證並存；

\mathbf U=(0,0),

代表支持與反證皆不足。

本文將：

\boxed{ \mathbb Q_4 }

視為：

\boxed{ \text{local information-state alphabet}. }

它首先描述「當下這個局部狀態是什麼」。

4. $\mathbf B$ 不是「是又不是」

這是本系列第一個硬區分。

若：

\nu_t(P)=\mathbf B,

表示同一局部狀態中：

e^+=1, \qquad e^-=1.

也就是：

\boxed{ \text{support and counter-support coexist now}. }

但：

\mathbf Y\rightsquigarrow\mathbf N

表示：

t_0<t_1

且：

\nu_{t_0}(P)=\mathbf Y,

\nu_{t_1}(P)=\mathbf N.

所以：

\boxed{ \mathbf B = \text{simultaneous local conflict}, }

而：

\boxed{ \mathbf Y\rightsquigarrow\mathbf N = \text{directional historical reversal}. }

這兩者不能混用。

5. 「是又不是」的技術用法

自然語言中的「是又不是」可以具有多種語用。

本文不宣稱將所有中文用法統一形式化。

但在本系列的一個技術用法中，我們把：

\boxed{ \text{是又不是} }

理解為具有歷史保留的：

\boxed{ \mathbf Y \rightsquigarrow \mathbf N. }

也就是：

曾被判定為「是」，後來進入「不是」；而前一個「是」沒有從信息歷史中被抹除。

同理：

\boxed{ \text{不是又是} }

可以表示：

\boxed{ \mathbf N \rightsquigarrow \mathbf Y. }

這裡的「又」首先是歷史性，而不是靜態 conjunction。

6. 嚴格區分「仍是」與「又是」

中文中至少存在兩種不同路徑：

Persistence

\mathbf Y \rightarrow \mathbf Y \rightarrow \mathbf Y.

這比較接近：

\boxed{ \text{仍是}. }

Return

\mathbf Y \rightarrow \mathbf N \rightarrow \mathbf Y.

這比較接近：

\boxed{ \text{又是}. }

因此可以定義：

\operatorname{Still}_{\mathbf Y}(H)

要求某區間內沒有離開 $\mathbf Y$ 。

而：

\operatorname{Again}_{\mathbf Y}(H)

要求至少存在：

i<j<k

使：

\nu_i=\mathbf Y,

\nu_j\neq\mathbf Y,

\nu_k=\mathbf Y.

所以：

\boxed{ \text{Still} \neq \text{Again}. }

7. Again Operator

定義嚴格返回算子：

\boxed{ \mathsf{Again}_{q}(H_k)=1 }

當且僅當存在：

i<j<k

使：

\nu_i=q,

\nu_j\neq q,

\nu_k=q.

其中：

q\in\mathbb Q_4.

因此不只：

\mathbf Y

可以「又」。

理論上：

\mathbf U \rightarrow \mathbf Y \rightarrow \mathbf U

也可以被描述為：

\mathsf{Again}_{\mathbf U}.

所以「又」不是某個真值專屬詞。

它是一個：

\boxed{ \text{path-return operator}. }

8. 16 個一階 Q4 轉態

由：

|\mathbb Q_4|=4

可得一階狀態轉態集合：

\boxed{ \mathcal T_4 = \mathbb Q_4\times\mathbb Q_4. }

因此共有：

4\times4=16

種最基本 transition：

\mathbf Y\to\mathbf Y, \quad \mathbf Y\to\mathbf N, \quad \mathbf Y\to\mathbf B, \quad \mathbf Y\to\mathbf U,

以及其他十二種。

這些 transition 本身只描述：

\text{from-state} \rightarrow \text{to-state}.

它們還沒有告訴我們：

為什麼變？

這正是下一層需要加入的資訊。

9. 同一轉態可以有完全不同的原因

考慮：

\mathbf Y\rightarrow\mathbf N.

可能是：

新反證出現；
舊證據失效；
世界本身改變；
判定標準改變；
指涉對象改變；
定義改變；
原先 classification 被修正。

所以：

\boxed{ \text{transition edge} \neq \text{transition cause}. }

必須給 edge 加 label。

10. Transition Label

定義：

\lambda_t \in \Lambda

其中第一版：

\Lambda = \{ E, W, J, \Psi, M \}.

分別代表：

(E)：Evidence change；
(W)：World/process change；
(J)：Judgment-domain change；
$\Psi$ ：Semantic/referent change；
(M)：Mixed cause。

因此：

\boxed{ \Sigma_{t^-} \xrightarrow{\lambda_t} \Sigma_{t^+}. }

同一個：

\mathbf Y\to\mathbf N

若：

\lambda=E

與：

\lambda=J

是完全不同的歷史信息。

11. 判定域

定義：

\mathcal J_t

為在時間 (t) 使用的 Judgment Domain。

它包含至少：

可接受對象；
判定規則；
分類閾值；
定義；
relevant distinctions。

於是四態 valuation 應完整寫成：

\boxed{ \nu_t(P) = \nu_4(P\mid\mathcal J_t). }

不是只有：

\nu_4(P).

12. 同一命題可以在不同判定域得到不同結果

可能：

\nu_4(P\mid\mathcal J_A) = \mathbf Y,

但：

\nu_4(P\mid\mathcal J_B) = \mathbf N.

這不必然代表：

\nu(P)=\mathbf B.

因為：

\mathcal J_A\neq\mathcal J_B.

因此：

\boxed{ \mathbf Y@\mathcal J_A + \mathbf N@\mathcal J_B \neq \mathbf B@\mathcal J_A. }

前者是：

\boxed{ \text{cross-domain opposition}. }

後者才是：

\boxed{ \text{local four-state conflict}. }

13. 局部矛盾與跨域分歧

本文因此區分：

Local Conflict

\nu(P\mid\mathcal J) = \mathbf B.

Cross-Domain Disagreement

\nu(P\mid\mathcal J_1) = \mathbf Y,

\nu(P\mid\mathcal J_2) = \mathbf N,

且：

\mathcal J_1\neq\mathcal J_2.

這個區分非常重要。

否則系統會把：

不同規則下得到不同結論

錯當成：

同一規則內部自相矛盾。

14. 「見 X 是 X」

令對象：

[ x ]

在判定域：

\mathcal J_0

下被分類為：

[ X. ]

記：

C_{\mathcal J_0}(x)=X.

這就是：

\boxed{ \text{見 }X\text{ 是 }X }

的最小分類版本。

15. 「見 X 不是 X」

若之後：

\mathcal J_0 \rightarrow \mathcal J_1

且：

C_{\mathcal J_1}(x)\neq X,

則：

\boxed{ X \xrightarrow{\mathcal J_0\to\mathcal J_1} \neg X. }

這不必代表 object (x) 本身改變。

也可能只是：

\boxed{ \text{the classification frame changed}. }

16. 「見 X 又是 X」

再若：

\mathcal J_1 \rightarrow \mathcal J_2

而：

C_{\mathcal J_2}(x)=X,

則得到：

\boxed{ X \rightarrow \neg X \rightarrow X. }

但是：

X^{(0)}

和：

X^{(2)}

不能被完全視為同一資訊狀態。

我們可以寫：

X^{(0)} = _{\mathrm{classification}} X^{(2)},

但：

\boxed{ X^{(0)} \neq_{\mathrm{history}} X^{(2)}. }

17. Endpoint Identity 與 Information Identity

這引出兩種身份。

Endpoint Identity

若：

\nu_t=\nu_s,

則兩者當前四態相同。

Historical Information Identity

還要求：

H_t\sim_H H_s.

因此：

\boxed{ \text{endpoint identity} \not\Rightarrow \text{information identity}. }

這是「見山又是山」在本文中的核心形式化。

18. Minimal Dynamic State

對命題 (P)，最小狀態：

\boxed{ \Sigma_t(P) = ( \mathcal J_t, \nu_t, H_t ). }

它已經足夠區分：

\mathbf Y

和：

\mathbf Y\to\mathbf N\to\mathbf Y.

19. Extended Dynamic State

但若要知道「為什麼變」，則需要擴充：

\boxed{ \widehat{\Sigma}_t(P) = ( \Psi_t, \mathcal J_t, E_t, W_t, \nu_t, H_t ). }

其中：

$\Psi_t$ ：Semantic Identity State；
$\mathcal J_t$ ：Judgment Domain；
$E_t$ ：Evidence State；
$W_t$ ：World / Process State；
$\nu_t$ ：Q4 Local State；
$H_t$ ：Transition History。

這將 Bridge Paper 與 Series II 正式接上。

20. Evidence Changed 與 World Changed

DBQ4 已經需要區分：

\boxed{ \text{evidence changed} }

與：

\boxed{ \text{world/process changed}. }

例如：

Evidence Update

世界沒有改變，

只是觀測從：

E_t

變成：

E_{t+1}.

State Evolution

世界本身：

W_t \rightarrow W_{t+1}.

兩者都可能讓：

\nu_t \rightarrow \nu_{t+1}.

但因果解釋不同。

21. 本文再加入兩種改變

Series II 再加入：

Judgment Change

\mathcal J_t \rightarrow \mathcal J_{t+1}.

Semantic Identity Change

\Psi_t \rightarrow \Psi_{t+1}.

所以完整的 transition cause 至少包括：

\boxed{ \Delta E, \Delta W, \Delta\mathcal J, \Delta\Psi. }

22. Transition Cause Vector

定義：

\boxed{ \chi_t = ( \Delta E_t, \Delta W_t, \Delta\mathcal J_t, \Delta\Psi_t ). }

它不要求每一項都是數值。

\Delta

在此表示：

\boxed{ \text{structured difference}. }

因此：

\chi_t

更接近 change record，而不是普通歐氏向量。

23. 狀態轉移瞬間

對一個 transition boundary：

t^\ast,

區分：

t^-, \qquad t^\ast, \qquad t^+.

其中：

$t^-$ ：轉移前；
$t^\ast$ ：判定／狀態邊界；
$t^+$ ：轉移後。

因此：

\boxed{ \widehat\Sigma_{t^-} \rightarrow \widehat\Sigma_{t^\ast} \rightarrow \widehat\Sigma_{t^+}. }

如果只記：

t^+,

就可能遺失：

這個狀態是怎麼變成現在這樣的？

24. 判定摩擦

本文暫定一個 Judgment Friction：

\boxed{ \mathfrak F_{t^\ast} = \Delta ( \widehat\Sigma_{t^-}, \widehat\Sigma_{t^+} ). }

可展成：

\mathfrak F_{t^\ast} = ( \Delta E, \Delta W, \Delta\mathcal J, \Delta\Psi, \Delta\nu ).

它不是物理摩擦。

而是：

\boxed{ \text{the structured difference exposed at a state boundary}. }

25. 為什麼「摩擦」有資訊？

如果：

\widehat\Sigma_{t^-}

和：

\widehat\Sigma_{t^+}

完全相同，

就沒有新的 transition information。

真正有研究價值的是：

\boxed{ \Delta\widehat\Sigma\neq0. }

因此狀態變動不只是：

\text{old state disappears, new state remains}.

而是：

\boxed{ \text{the difference itself becomes information}. }

26. 歷史空間

最簡版本：

\boxed{ \mathcal H_4 = \mathbb Q_4^\ast. }

也就是由 Q4 字母形成的有限序列。

更完整版本：

\boxed{ \mathcal H \subseteq ( \Psi \times \mathcal J \times \mathbb Q_4 \times \Lambda )^\ast. }

因此一條歷史不是：

(\mathbf Y,\mathbf N,\mathbf Y)

而可以是：

( \Psi_0,\mathcal J_0,\mathbf Y ) \xrightarrow{E} ( \Psi_1,\mathcal J_0,\mathbf N ) \xrightarrow{J} ( \Psi_1,\mathcal J_1,\mathbf Y ).

這比純真值序列提供更多信息。

27. History Equivalence

可以定義不同層級的歷史等價。

Current-State Equivalence

H_1\sim_C H_2

若：

\operatorname{last}(H_1) = \operatorname{last}(H_2).

Transition-Pattern Equivalence

H_1\sim_T H_2

若 Q4 transition pattern 相同。

Causal-History Equivalence

還要求 transition labels 相同。

Full Information Equivalence

還要求 judgment domain 與 semantic state 路徑相容。

因此「相同」本身也具有判定層級。

28. MIF 的位置

在本框架中：

\boxed{ Q4 = \text{finite local alphabet}. }

而 MIF 可以被理解為：

\boxed{ \text{historical composition over potentially unbounded configurations}. }

也就是從：

\nu_t\in\mathbb Q_4

提升到：

H = ( \nu_0,\nu_1,\ldots ).

若再加入：

\mathcal J_t, \Psi_t, \lambda_t,

則形成更完整的歷史配置空間。

所以：

\boxed{ \text{Q4 does not compete with MIF}. }

Q4 提供字母；

MIF 提供序列與組合空間。

29. DBQ4 的位置

DBQ4 則位於離散 Q4 狀態之下。

可以寫：

\boxed{ E_t \rightarrow Z_t \rightarrow \pi_4 \rightarrow \nu_t. }

其中：

$E_t$ ：證據；
$Z_t$ ：連續 posterior/evidence state；
$\pi_4$ ：四態投影；
$\nu_t$ ：Q4 state。

所以：

\boxed{ DBQ4 = \text{continuous evidence dynamics below Q4}. }

Series II 則在 Q4 周圍再加：

\mathcal J_t, \Psi_t, H_t.

30. 四層分工

可以把目前架構壓成：

\boxed{ \begin{aligned} DBQ4 &= \text{continuous evidence dynamics},\\ Q4 &= \text{local state alphabet},\\ DTIL &= \text{domain-labeled directional transitions},\\ MIF &= \text{historical / extended state composition}. \end{aligned} }

這四層不應互相取代。

31. 與既有動態四值邏輯的關係

本文不宣稱首次把四值邏輯與 transition system 結合。

4DL 已將 Belnap 式四值語義、Dynamic Logic 與 Hybrid Logic 結合，使不完整或矛盾資訊可以存在於 state 與 transition 的推理環境中，並建立 terminating、sound、complete 的 tableau proof theory。

Paraconsistent Transition Systems 也已使用 positive/negative accessibility relations，把 Belnap-Dunn 四值語義擴張至具有矛盾資訊的 transition systems。

此外，FFDE/FN4 類 first-order extensions 也使用 variable-domain Kripke semantics 描述資料庫隨時間獲得新資訊、甚至新個體的狀態演化。

因此：

\boxed{ \text{dynamic four-valued logic} }

本身不是本文的新穎性主張。

32. 本文較窄的差異

本文目前較窄的工作重點是同時明確區分：

local four-state conflict；
temporal reversal；
cross-judgment-domain disagreement；
semantic/referent reclassification；
world-state change；
evidence-state change；
endpoint identity；
historical information identity。

尤其：

\boxed{ \text{Again} }

被視為：

\boxed{ \text{history-sensitive return operator}. }

而不是普通時間戳或當前真值。

這是本系列接下來要進一步形式化與比較文獻的位置。

33. 為什麼 4DL 仍然不等於本文？

4DL 已經具有：

four-valued states；
dynamic transitions；
hybrid naming machinery。

本文則特別要求一個 transition history 必須能回答：

這次 $\mathbf Y\to\mathbf N$ 是因為 evidence 變了、world 變了、judgment domain 變了，還是 referent 變了？

以及：

返回 $\mathbf Y$ 後，是否保留「曾經不是 $\mathbf Y$ 」這件事？

因此：

\boxed{ \text{state-transition semantics} }

和：

\boxed{ \text{historical identity semantics} }

仍有不同研究焦點。

34. Path-Dependent Information

若：

H_A=(\mathbf Y),

H_B=(\mathbf Y,\mathbf N,\mathbf Y),

則：

\pi_{\mathrm{now}}(H_A) = \pi_{\mathrm{now}}(H_B).

但對某些後續 operation：

[ O ]

可能要求：

O(H_A)\neq O(H_B).

例如：

是否需要重新驗證；
是否曾出現反例；
是否曾換過判定域；
是否是 correction 後返回；
是否存在 dispute history。

這意味著：

\boxed{ \text{future behavior may depend on path, not only current state}. }

35. Markov State 是否足夠？

如果要讓系統保持 Markov 性，

可以把必要歷史壓縮進 current state。

也就是定義：

\widetilde\Sigma_t = ( \nu_t, m_t ),

其中：

m_t

保存足夠歷史摘要。

例如：

current = Y
seen_N_since_last_Y = true
return_count = 1
last_transition_cause = JUDGMENT_SHIFT

因此：

\boxed{ \text{history-dependent logic} }

不一定要求 runtime 永遠重讀完整歷史。

它可以使用：

\boxed{ \text{sufficient historical state}. }

36. 「又」的最小記憶需求

若只要辨識：

\mathsf{Again}_{\mathbf Y},

最小 memory 不一定需要完整：

H_t.

可以只保存：

m_t = ( seen_Y, left_Y, returned_Y ).

例如：

[ (1,1,1) ]

表示曾經是 Y、離開過 Y、現在已返回。

所以「又」本身可以被做成有限狀態機。

但若要知道：

為什麼離開？經過哪些域？反覆幾次？

就需要更豐富的歷史。

37. 這也解釋「狀態機」為何自然出現

若：

\mathbb Q_4

是 local state alphabet，

而：

\mathcal T_4

是 transition alphabet，

再加：

\mathcal J, \Psi,\Lambda,

那麼整個系統天然可以表示成：

\boxed{ \text{labeled state-transition system}. }

所以狀態機不是這套理論的比喻。

它可以直接成為一種實作形式。

38. 一個最小 Runtime Schema

JudgmentState:
    proposition_id
    semantic_state_id
    judgment_domain_id
    q4_state
    evidence_state_id
    world_state_id
    timestamp

Transition:
    from_state
    to_state
    cause_label
    boundary_event
    verification

另外：

HistorySummary:
    previous_states
    return_flags
    reversal_count
    domain_shift_count
    semantic_shift_count

39. 最小判定演算法

evaluate(P, context):
    psi = resolve_semantic_identity(P, context)
    J   = resolve_judgment_domain(P, context)
    E   = collect_evidence(P, context)
    W   = resolve_world_state(P, context)
    q   = project_to_Q4(P, J, E, W)

    current = (psi, J, E, W, q)
    previous = load_previous_state(P)

    if previous exists:
        cause = classify_transition(previous, current)
        append_transition(previous, current, cause)

    update_history_summary(P)
    return current

這就是 Series II 的最小工程核心。

40. 「X 其實是 Y」

另一種情況不是：

\mathbf Y\to\mathbf N.

而是：

\boxed{ X \xRightarrow{\mathcal J} Y. }

這是：

\text{reclassification}.

例如一個 object 原先被 type/classification system 視為：

[ X, ]

後來更好的 domain 將它判定為：

[ Y. ]

所以：

\boxed{ \text{truth-state transition} \neq \text{object reclassification}. }

Series II 必須分開這兩種 edge。

41. 「看 Y 其實是 X」

同樣：

Y \xRightarrow{\mathcal J'} X.

這可能形成 classification loop：

X \rightarrow Y \rightarrow X.

但：

X^{(0)} \neq_{\mathrm{history}} X^{(2)}.

因此 reclassification 也需要 path history。

42. 四種容易混淆的現象

本文至此至少區分：

A. Local Both

\mathbf B.

B. Temporal Reversal

\mathbf Y\to\mathbf N.

C. Cross-Domain Opposition

\mathbf Y@\mathcal J_A, \quad \mathbf N@\mathcal J_B.

D. Reclassification

X\Rightarrow Y.

如果全部都被中文簡化成：

是又不是。

形式上就會混亂。

所以 Series II 的工作之一正是：

\boxed{ \text{把自然語言壓縮詞重新拆成不同 transition types}. }

43. 第五種：World Change

還有：

P(W_t)=\mathbf Y,

P(W_{t+1})=\mathbf N.

此時：

\mathcal J_t=\mathcal J_{t+1},

\Psi_t=\Psi_{t+1},

但：

W_t\neq W_{t+1}.

所以這不是「改變看法」。

是真的：

\boxed{ \text{the world changed}. }

44. 第六種：Evidence Revision

也可能：

W_t=W_{t+1},

但：

E_t\neq E_{t+1}.

所以：

\nu_t\neq\nu_{t+1}.

這才是典型：

\boxed{ \text{epistemic revision}. }

不能把所有狀態變化都叫「世界變了」。

45. 第七種：Semantic Drift

還可能：

W,E,\mathcal J

表面都沒變，

但：

\Psi_t\neq\Psi_{t+1}.

例如：

同一詞偷偷換了所指。

這時：

\boxed{ \text{we may no longer be evaluating the same proposition}. }

所以 Bridge Paper 的 Semantic Identity Guard 必須在 Series II 中保留。

46. Transition Classification

因此第一版 transition classifier：

EVIDENCE_UPDATE
WORLD_CHANGE
JUDGMENT_DOMAIN_SHIFT
SEMANTIC_SHIFT
LOCAL_CONFLICT_CHANGE
MIXED
UNKNOWN

這比只保存：

Y -> N

更有價值。

47. 歷史狀態不是「心理境界」

「見山是山，見山不是山，見山又是山」在本文只作為結構類比。

本文不需要假設：

悟道；
精神境界；
主體提升；
神秘經驗。

只需要：

\boxed{ C_0(x)=X, }

\boxed{ C_1(x)\neq X, }

\boxed{ C_2(x)=X. }

這已足以構成一條可形式分析的歷史。

48. 但第三個 X 不是第一個 X 的資訊副本

即使：

C_0(x)=C_2(x)=X,

仍然：

\boxed{ \Sigma_0(x)\neq\Sigma_2(x). }

原因包括：

(H) 不同；
evidence 可能不同；
judgment domain 可能不同；
semantic state 可能更精確；
proof/counterexample history 不同。

所以：

\boxed{ \text{return does not erase traversal}. }

49. 這是一種「歷史信息守恆」嗎？

本文暫時不使用強版本的「守恆」。

因為系統實際上可以：

忘記；
壓縮；
刪除；
失真。

更精確的說法是：

\boxed{ \text{history can be retained as information}. }

而不是：

\text{history must metaphysically be conserved}.

50. 路徑壓縮

完整：

H_t

可能非常長。

所以 runtime 可以定義：

\operatorname{Compress}_H(H_t) = M_t.

其中 $M_t$ 保存與未來判定相關的 sufficient statistics。

例如：

是否曾經為 N；
是否曾經為 B；
最近一次 domain shift；
reversal count；
correction provenance。

這使：

\boxed{ \text{historical semantics} }

與：

\boxed{ \text{efficient state machine implementation} }

可以兼容。

51. Series II 與 ANKER

Bridge 後的 ANKER Knowledge Object：

formal_state
semantic_state
judgment_state
evidence_state
world_state
history_summary

每次 transition 都形成：

STATE_TRANSITION edge

帶：

cause_label
from_domain
to_domain
from_q4
to_q4
semantic_shift
evidence_shift
world_shift

所以 Series II 可以直接進 runtime，而不是純文字哲學。

52. 最小測試一：「仍是」與「又是」

輸入：

H_A=(Y,Y,Y),

H_B=(Y,N,Y).

要求：

Current(H_A)=Current(H_B)=Y.

但：

Still_Y(H_A)=1,

Again_Y(H_A)=0,

而：

Still_Y(H_B)=0,

Again_Y(H_B)=1.

這是第一個最小 unit test。

53. 最小測試二：B 與 Y→N

輸入：

H_A=(B),

H_B=(Y,N).

要求：

\boxed{ H_A\neq H_B. }

以及：

A.type = LOCAL_CONFLICT
B.type = TEMPORAL_REVERSAL

如果系統混成同一狀態，模型失敗。

54. 最小測試三：跨域不是 B

輸入：

\nu(P\mid J_1)=Y,

\nu(P\mid J_2)=N.

要求：

LOCAL_B = false
CROSS_DOMAIN_DISAGREEMENT = true

除非在某單一 domain 中真的同時存在 positive / negative evidence。

55. 最小測試四：Evidence Change vs World Change

建立兩案例。

Case A

W_0=W_1, \qquad E_0\neq E_1.

預期：

EVIDENCE_UPDATE

Case B

W_0\neq W_1, \qquad J_0=J_1.

預期：

WORLD_CHANGE

這是 DBQ4 與 DTIL 的最小接口測試。

56. 最小測試五：Semantic Reclassification

原先：

\Psi_0(X)=\rho_X.

後來：

\Psi_1(X)=\rho_Y.

即使符號：

s=X

沒變，

也要標：

SEMANTIC_SHIFT

而不能只更新 q4 state。

57. 論文的新穎性邊界

本文目前不應宣稱：

首次建立四值動態邏輯。

這會直接與既有 4DL、paraconsistent transition systems、四值 temporal/modal logics 衝突。

較合理的研究主張是：

\boxed{ \text{a judgment-domain and history-sensitive layer over local four-state information states}. }

其具體新穎性仍需要後續對：

temporal four-valued logics；
dynamic epistemic logics；
belief revision；
path-dependent semantics；
labeled transition logics；

做更細比較。

58. 研究邊界

本文不主張：

四態足以描述所有真值；
所有「又」都要求中間存在非同狀態；
中文自然語言可以被一套邏輯完全捕捉；
判定域轉移等於世界改變；
歷史一定完整保存；
endpoint-different 一定代表 semantic-different；
Q4 與 Belnap-Dunn FOUR 完全同一；
DTIL 已有完整 soundness/completeness proof；
「是又不是」只能有本文這一種意思；
本文已完成 MIF 的全部形式化。

本文目前建立的是：

\boxed{ \text{state ontology + transition syntax + history semantics interface}. }

59. Paper I 的核心結果

本篇可以壓成五條：

Result 1

\boxed{ Q4=\text{local state alphabet}. }

Result 2

\boxed{ B\neq Y\rightsquigarrow N. }

Result 3

\boxed{ Y@J_1,\ N@J_2 \neq B@J_1. }

Result 4

\boxed{ Current(H_1)=Current(H_2) \not\Rightarrow H_1=H_2. }

Result 5

\boxed{ Again = \text{current state} + \text{return history}. }

60. 結論：從真值狀態進入歷史狀態

傳統靜態 valuation 問：

\boxed{ \text{P 現在是什麼狀態？} }

本文開始問另一個問題：

\boxed{ \text{P 是如何成為現在這個狀態的？} }

因此資訊物件從：

\nu_t(P)

擴張成：

\boxed{ \widehat\Sigma_t(P) = ( \Psi_t, \mathcal J_t, E_t, W_t, \nu_t, H_t ). }

在這個框架下：

\mathbf Y

只表示「現在是 Y」。

而：

\mathbf Y \rightsquigarrow \mathbf N \rightsquigarrow \mathbf Y

表示：

現在雖然又是 Y，但這個 Y 已經帶著曾經離開 Y 的歷史。

因此：

\boxed{ \text{return} \neq \text{reset}. }

以及：

\boxed{ \text{same current state} \neq \text{same information state}. }

這就是「是又不是／不是又是」從自然語言直覺進入動態信息邏輯的第一步。

下一篇將繼續處理：

\boxed{ \text{The Logic of Again}. }

也就是正式研究「又／仍／曾／已」這類歷史算子：如何在 path semantics 中區分 persistence、departure、return、reversal、reclassification 與 repeated return，並建立一套最小 transition algebra。

參考文獻

Belnap, N. D. (1977). A Useful Four-Valued Logic. In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic.

Prior, A. N. (1957). Time and Modality. Oxford University Press.

Costa, D. (2023). 4DL: A Four-Valued Dynamic Logic and Its Proof Theory. Journal of Logic and Computation, 33(6), 1326–1349.

Cruz, A., Madeira, A., & Barbosa, L. S. (2022). A Logic for Paraconsistent Transition Systems. arXiv:2204.06737.

Antunes, H., & Rodrigues, A. (2025). On Universally Free First-Order Extensions of Belnap-Dunn’s Four-Valued Logic and Nelson’s Paraconsistent Logic N4. Journal of Philosophical Logic, 54, 169–195.

Baltag, A., Moss, L. S., & Solecki, S. (1998). The Logic of Public Announcements, Common Knowledge, and Private Suspicions. Proceedings of TARK VII.

判定域轉移與歷史信息狀態：從局部四態到「是又不是／不是又是」的有向邏輯

判定域轉移與歷史信息狀態：從局部四態到「是又不是／不是又是」的有向邏輯

摘要

1. 問題：為什麼「又是」不是普通的「是」？

2. Current-State Projection 會丟失歷史

3. Q4：局部狀態字母

4. B\mathbf BB 不是「是又不是」

5. 「是又不是」的技術用法

6. 嚴格區分「仍是」與「又是」

Persistence

Return

7. Again Operator

8. 16 個一階 Q4 轉態

9. 同一轉態可以有完全不同的原因

10. Transition Label

11. 判定域

12. 同一命題可以在不同判定域得到不同結果

13. 局部矛盾與跨域分歧

Local Conflict

Cross-Domain Disagreement

14. 「見 X 是 X」

15. 「見 X 不是 X」

16. 「見 X 又是 X」

17. Endpoint Identity 與 Information Identity

Endpoint Identity

Historical Information Identity

18. Minimal Dynamic State

19. Extended Dynamic State

20. Evidence Changed 與 World Changed

Evidence Update

State Evolution

21. 本文再加入兩種改變

Judgment Change

Semantic Identity Change

22. Transition Cause Vector

23. 狀態轉移瞬間

24. 判定摩擦

25. 為什麼「摩擦」有資訊？

26. 歷史空間

27. History Equivalence

Current-State Equivalence

Transition-Pattern Equivalence

Causal-History Equivalence

Full Information Equivalence

28. MIF 的位置

29. DBQ4 的位置

30. 四層分工

31. 與既有動態四值邏輯的關係

32. 本文較窄的差異

33. 為什麼 4DL 仍然不等於本文？

34. Path-Dependent Information

35. Markov State 是否足夠？

36. 「又」的最小記憶需求

37. 這也解釋「狀態機」為何自然出現

38. 一個最小 Runtime Schema

39. 最小判定演算法

40. 「X 其實是 Y」

41. 「看 Y 其實是 X」

42. 四種容易混淆的現象

A. Local Both

B. Temporal Reversal

C. Cross-Domain Opposition

D. Reclassification

43. 第五種：World Change

44. 第六種：Evidence Revision

45. 第七種：Semantic Drift

46. Transition Classification

47. 歷史狀態不是「心理境界」

48. 但第三個 X 不是第一個 X 的資訊副本

49. 這是一種「歷史信息守恆」嗎？

50. 路徑壓縮

51. Series II 與 ANKER

52. 最小測試一：「仍是」與「又是」

53. 最小測試二：B 與 Y→N

54. 最小測試三：跨域不是 B

55. 最小測試四：Evidence Change vs World Change

Case A

Case B

56. 最小測試五：Semantic Reclassification

57. 論文的新穎性邊界

4. $\mathbf B$ 不是「是又不是」