[论文解读] A Galois connection between classical and intuitionistic logics. II: Semantics

Sergey A. Melikhov|arXiv (Cornell University)|Apr 13, 2015

Logic, Reasoning, and Knowledge被引用 8

一句话总结

本文通過 QHC（問題與命題的聯合邏輯）的三層模型論框架，建立經典邏輯與直覺邏輯之間的伽羅瓦連接。它引入子集/層值模型、稠密像模型與 MM 模型，以驗證 11 條在經典與直覺邏輯上保守的原則，確認其獨立性與完整的含義邏輯層次——僅有一個含義尚未解決——同時將語義與代數方程的解聯繫起來。

ABSTRACT

Three classes of models of QHC, the joint logic of problems and propositions, are constructed, including a class of subset/sheaf-valued models that is related to solutions of some actual problems (such as solutions of algebraic equations). To test the models, we consider a number of principles and rules, which empirically appear to cover all "sufficiently simple" natural conjectures about the behaviour of the operators ! and ?, and include two hypotheses put forward by Hilbert and Kolmogorov, as formalized in the language of QHC. Each of these turns out to be either derivable in QHC or equivalent to one of 14 principles and rules, of which 11 are conservative over classical and intuitionistic logics. The three classes of models together suffice to confirm the independence of these 11 principles and rules, and to determine all implications between them, apart from one potential implication.

研究动机与目标

• 為 QHC（問題與命題的聯合邏輯）發展一個基於範疇論與拓撲模型的語義框架。
• 形式化並驗證 QHC 中運算元 $쿺ctor$ 與 $쿺ctor$ 的自然原則，包括希爾伯特與柯爾莫哥洛夫假設。
• 建立 11 條在經典與直覺邏輯上保守的原則之獨立性與完整含義結構。
• 將 QHC 的語義與具體數學問題（特別是透過層與子集值模型求解代數方程）聯繫起來。
• 研究 QHC 對於稠密像模型的完備性，特別是在命題邏輯情況下。

提出的方法

• 構造三類模型：子集/層值模型、稠密像模型與 MM 模型，各自捕捉 QHC 語義的不同面向。
• 使用連續映射 $f: X \to B$ 來建模參數化問題 $\Gamma_f(b)$，其中解被識別為點原像 $f^{-1}(b)$。
• 將 $\wn\Gamma_f(b)$ 的真值定義為像 $f(X)$，並將 $\wn$ 解釋為將範疇論構造（積、併）轉化為集合論構造（交集、並集）。
• 透過與 $f \times g$ 及 $f \sqcup g$ 的識別，建立 $\wn(\Gamma_f \land \Gamma_g) = \wn\Gamma_f \land \wn\Gamma_g$ 與 $\wn(\Gamma_f \lor \Gamma_g) = \wn\Gamma_f \lor \wn\Gamma_g$。
• 應用經典邏輯與直覺邏輯之間的伽羅瓦連接，將 $\oc$ 與 $\wn$ 解釋為在命題與問題上互為伴隨的模態運算元。
• 證明在 $T_1$ 空間中，MM 模型可簡化為具有 $i = j^{-1}$ 的稠密像模型，且當 $j$ 為單值時，會產生離散空間。

实验结果

研究问题

• RQ1 QHC 中 $\oc$ 與 $\wn$ 的哪些原則與規則可從所識別的 14 條核心原則中推導或等價？
• RQ2 如何利用子集/層值模型形式化 QHC 的語義，它們與代數方程解的關係為何？
• RQ3 11 條在經典與直覺邏輯上保守的原則之間的完整含義邏輯層次為何？哪些含義關係尚未確定？
• RQ4 QHC 對於稠密像模型類是否完備，特別是在命題邏輯情況下？
• RQ5 不同模型類（稠密像、MM 模型、基於正則化的模型）在拓撲與範疇論上如何相互關聯？

主要发现

• 本文識別出 14 條支配 $\oc$ 與 $\wn$ 的原則與規則，其中 11 條在經典與直覺邏輯上為保守。
• 三類模型——子集/層值模型、稠密像模型與 MM 模型——足以確認 11 條保守原則的獨立性，並確立其完整含義邏輯層次，僅有一個可能的含義關係尚未解決。
• 子集/層值模型自然出現在初等數學中，特別是在透過連續映射 $f: X \to B$ 建模代數方程的解時。
• $\wn\Gamma_f$ 的真值為像 $f(X)$，且 $\wn$ 將範疇論的積與併轉化為集合論的交集與並集。
• 在 $T_1$ 空間中，MM 模型簡化為具有 $i = j^{-1}$ 的稠密像模型，且當 $j$ 為單值時會產生離散空間。
• QHC 對於稠密像模型的完備性在命題邏輯情況下已獲得確認，此結果由 Onoprienko（2018–2023）所展示。