论文技术总结：控制（不）一致性的分类法 (A Taxonomy for Controlling (In)consistency)

1. 研究背景与问题 (Problem)

核心问题：
形式不一致逻辑（Logics of Formal Inconsistency, LFIs）是一类包含一致性算子 $\circ$ 的次协调逻辑，旨在恢复经典逻辑的爆炸律（Ex Falso Quodlibet）。然而，现有的 LFIs 缺乏一个系统的层级结构来量化和分类“对不一致性的承诺程度”（degrees of paraconsistent commitment）。

具体痛点：

1. 一致性的层级缺失：在 da Costa 的 $C_n$ 系统中，一致性算子是可定义的，且系统具有层级性。但在标准 LFIs（如 $mbC, mbCci, mbCciw$）中，缺乏类似的层级。例如，$mbCciw$允许一致性在任何层级上都是不一致的（即$\circ^n \alpha$永远不是定理），而$mbCci$则要求任何关于一致性的判断本身必须是一致的（即$\circ\circ\alpha$ 是定理）。这种“全有或全无”的二元对立无法处理中间状态（例如：允许对命题的一致性提出质疑，但不允许对“质疑一致性”这一行为本身提出质疑）。
2. 哲学立场的映射不足：不同的哲学立场（如怀疑论、教条主义、实用主义）对“真理标准”的可质疑性有不同的要求。现有的逻辑体系难以灵活地模拟这些不同的认识论场景。
3. 多值逻辑的扩展性：虽然存在 3 值 LFIs（如 $LFI1$），但构建具有更多真值（如 5 值、8 值等）且保持良好语义性质的 LFIs 是一个挑战。

2. 方法论 (Methodology)

作者提出了一种名为**受控一致性逻辑（Logics of Controlled Consistency, LCC）**的层级体系，记为 $L^k_n$。该方法论结合了以下技术：

1. 二维层级结构：

   • 维度 $n$（控制深度）：控制一致性算子 $\circ$ 可以不一致的最大迭代次数。通过添加公理 $(cc_n): \circ^{n+2}\alpha$，限制不一致性只能发生在 $n$ 层以内。
   • 维度 $k$（否定强度）：通过添加公理（如双重否定律、关于 $\circ$ 的否定交换律等）来加强否定算子 $\neg$ 的行为，使其更具确定性。

2. 语义工具：

   • 交换结构（Swap Structures）：一种非确定性矩阵（Nmatrices）的推广，用于为基本逻辑（如 $L^0_1$）提供语义。快照（Snapshots）表示公式及其否定、不一致性的真值组合。
   • 扭结构（Twist Structures）：用于构建确定性多值矩阵（如 $LFI3$），通过结合卡诺图（Karnaugh Maps）技术从真值表推导布尔函数。
   • 受限 N 矩阵（RNmatrices）：通过限制 N 矩阵上的赋值集合（$F \subseteq Val(M)$），为整个 $L^k_n$ 层级提供统一的语义，解决了随着层级增加真值数量爆炸的问题。

3. 公理化与完备性证明：

   • 为每个逻辑层级提供希尔伯特演算（Hilbert Calculus）。
   • 利用极大非平凡集（maximal non-trivial sets）证明相对于赋值和 RNmatrices 的完备性。

3. 主要贡献与结果 (Key Contributions & Results)

3.1 构建 $L^k_n$ 层级体系

作者定义了一个包含 $L^k_n$ 的层级，其中：

• $L^0_n$：基础受控一致性逻辑。$L^0_0$ 对应 $mbCci$（教条主义），$L^0_1$允许一致性在第二层不一致，$L^0_n$允许在$n+1$ 层不一致。
• $L^1_n, L^2_n, \dots$：通过添加公理（如 $(cf), (ce)$双重否定律，$(ip_j)$关于$\circ$ 的否定交换律）逐步加强逻辑。
• 固定点定理：证明了当 $m \ge n+2$ 时，$L^{n+1}_n = L^m_n$。这意味着在否定强度达到一定级别后，增加更多的否定交换公理不会改变逻辑的强度。

3.2 哲学立场的逻辑建模

该层级成功映射了不同的哲学态度：

• 怀疑论（Skepticism）：对应 $mbCciw$（即$L^0_0$ 的某种变体或无限制版本），允许对真理标准进行无限层级的质疑（无限回归）。
• 教条主义（Dogmatism）：对应 $L^0_0$ ($mbCci$)，一旦确立标准，不再质疑标准本身的可靠性（$\circ\circ\alpha$ 成立）。
• 实用主义/中间立场：$L^k_n$ 允许在特定语境下控制质疑的深度（例如，只允许质疑到第二层），为实际推理提供了灵活性。

3.3 新逻辑 $LFI3$ 的提出与性质

• 定义：$LFI3$是$L^2_1$ 的扩展，是一个5 值的 LFIs。
• 构造：利用扭结构（Twist Structures）将 $L^2_1$ 的非确定性语义转化为确定性矩阵。真值域为 $\{T, t, b, f, F\}$（真、矛盾、不确定、假、强假等）。
• 关系：
  • $LFI3$是$LFI1$（经典的 3 值 LFIs）的子逻辑。
  • $LFI3$是相对于$LFI1$ 的极大逻辑（Maximal w.r.t. $LFI1$）。
  • 通过引入新的恢复算子 $\circ^*$ 和 $\circ^\#$，可以在 $LFI3$ 内部分别恢复经典逻辑（CPL）和 $LFI1$ 的推理。
• 公理化：给出了 $LFI3$ 的希尔伯特演算公理系统，并证明了其相对于扭结构语义的可靠性和完备性。

3.4 统一语义框架 (RNmatrices)

• 提出了基于**受限 N 矩阵（RNmatrices）**的统一语义，适用于整个 $L^k_n$ 家族。
• 通过定义特定的赋值子集 $F$（例如，强制 $\circ^{n+1}\alpha$ 在 $\circ^n\alpha$ 为确定值时取特定值），成功地在统一的框架下处理了不同层级的公理 $(cc_n)$。
• 证明了该框架下的可靠性和完备性定理。

4. 意义与影响 (Significance)

1. 填补了 LFIs 层级结构的空白：成功构建了类似于 da Costa $C_n$ 系统的 LFIs 层级，使得“不一致性的程度”和“一致性的层级”成为可量化的逻辑参数。
2. 连接了逻辑与认识论：为怀疑论、教条主义等哲学立场提供了精确的形式化工具，展示了逻辑如何根据语境（Context）调整对一致性的控制。
3. 推动了多值 LFIs 的发展：$LFI3$ 作为一个 5 值逻辑，打破了 LFIs 主要局限于 3 值的传统，证明了可以通过扭结构技术构建更复杂的多值次协调逻辑，并保持了良好的代数性质。
4. 统一了现有逻辑：将 $mbCci, Cbr, Cie$等已知逻辑统一纳入$L^k_n$框架中，揭示了它们之间的内在联系（如$Cbr$是$L^1_1$，$Cie$是$L^1_0$）。
5. 实用价值：为处理现实世界中的不确定信息、法律推理（如证词的可信度层级）和科学理论中的不一致性提供了更精细的逻辑工具。

总结：
本文通过引入 $L^k_n$ 层级、交换/扭结构语义以及 RNmatrices 技术，建立了一个灵活且强大的受控一致性逻辑分类法。它不仅解决了 LFIs 缺乏层级结构的问题，还通过 $LFI3$ 展示了多值 LFIs 的扩展潜力，为次协调逻辑在哲学和实际应用中的深化研究奠定了坚实基础。