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

**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.
\]

本文提出三個核心區分：

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

因此：

\[
\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.
\]

可能是：

1. 新反證出現；
2. 舊證據失效；
3. 世界本身改變；
4. 判定標準改變；
5. 指涉對象改變；
6. 定義改變；
7. 原先 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. 本文較窄的差異

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

1. local four-state conflict；
2. temporal reversal；
3. cross-judgment-domain disagreement；
4. semantic/referent reclassification；
5. world-state change；
6. evidence-state change；
7. endpoint identity；
8. 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
\]

保存足夠歷史摘要。

例如：

```text
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

```text
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
```

另外：

```text
HistorySummary:
    previous_states
    return_flags
    reversal_count
    domain_shift_count
    semantic_shift_count
```

---

# 39. 最小判定演算法

```text
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：

```text
EVIDENCE_UPDATE
WORLD_CHANGE
JUDGMENT_DOMAIN_SHIFT
SEMANTIC_SHIFT
LOCAL_CONFLICT_CHANGE
MIXED
UNKNOWN
```

這比只保存：

```text
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：

```text
formal_state
semantic_state
judgment_state
evidence_state
world_state
history_summary
```

每次 transition 都形成：

```text
STATE_TRANSITION edge
```

帶：

```text
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.
}
\]

以及：

```text
A.type = LOCAL_CONFLICT
B.type = TEMPORAL_REVERSAL
```

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

---

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

輸入：

\[
\nu(P\mid J_1)=Y,
\]

\[
\nu(P\mid J_2)=N.
\]

要求：

```text
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.
\]

預期：

```text
EVIDENCE_UPDATE
```

## Case B

\[
W_0\neq W_1,
\qquad
J_0=J_1.
\]

預期：

```text
WORLD_CHANGE
```

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

---

# 56. 最小測試五：Semantic Reclassification

原先：

\[
\Psi_0(X)=\rho_X.
\]

後來：

\[
\Psi_1(X)=\rho_Y.
\]

即使符號：

\[
s=X
\]

沒變，

也要標：

```text
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. 研究邊界

本文不主張：

1. 四態足以描述所有真值；
2. 所有「又」都要求中間存在非同狀態；
3. 中文自然語言可以被一套邏輯完全捕捉；
4. 判定域轉移等於世界改變；
5. 歷史一定完整保存；
6. endpoint-different 一定代表 semantic-different；
7. Q4 與 Belnap-Dunn FOUR 完全同一；
8. DTIL 已有完整 soundness/completeness proof；
9. 「是又不是」只能有本文這一種意思；
10. 本文已完成 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.