[論文レビュー] Paraconsistency and Topological Semantics

Can Başķent|arXiv (Cornell University)|Jul 25, 2011

Logic, Reasoning, and Knowledge参考文献 11被引用数 6

ひとこと要約

本稿は、パラ一貫論理と位相的意味論の間の形式的関係を確立し、パラ一貫否定が位相的閉包作用素によってモデル化可能であり、また位相的モデルがパラ一貫Kripkeモデルに変換可能であることを示している。主な貢献は、パラ一貫位相的モデルとパラ一貫Kripkeモデルの間で真理を保存する変換を確立したことであり、これは位相的意味論が矛盾する枠組みにおいても非爆発的推論を可能にすることを示している。

ABSTRACT

The well-studied notion of deductive explosion describes the situation where any formula can be deduced from an inconsistent set of formulas. Paraconsistent logic, on the other hand, is the umbrella term for logical systems where the logical consequence relation is not explosive. In this work, we investigate the relationship between some different topological spaces and paraconsistency.

研究の動機と目的

• パラ一貫論理と位相的意味論の関係、特にモーダル枠組みにおける関係を調査すること。
• パラ一貫否定が位相的閉包作用素を用いて形式的に捉えられる方法を示すこと。
• パラ一貫位相的モデルからパラ一貫Kripkeモデルへの真理保存的変換を確立すること。
• 非古典的モーダル論理の拡張に、位相的および代数的構造の可能性を探ること。
• 代数的トポロジーおよび領域に基づくモーダル論理の道具を用いて、パラ一貫論理における新たな研究方向を開くこと。

提案手法

• 開集合および閉集合を用いた位相空間を用いて命題変数およびモーダル作用素をモデル化し、内部作用素を必然性（□）に対応させ、閉包作用素を可能性（◇）に対応させる。
• 集合論的補集合の閉包としてパラ一貫否定を定義し、矛盾する文脈においても爆発的推論を避ける。
• wRσv が w ∈ Clo(v) を満たすとき、位相的パラ一貫モデル M = ⟨S, σ, V⟩ から Kripkeモデル Mσ = ⟨S, Rσ, V⟩ への変換を構成する。
• 論理式の複雑さに関する帰納法を用いて、この変換の真理保存性を証明し、特に M, w ⊨ ∼φ ならば Mσ, w ⊨ ∼φ であることを検証する。
• 連続性、ホメオモルフィズム、ホモトピーといった標準的な位相的構成を用いて、位相的および論理的枠組みの構造的類似性を探る。
• 直感的論理とパラ一貫論理の双対性を活用し、Brouwer代数およびHeyting代数をモーダル論理における位相的構造と結びつける。

実験結果

リサーチクエスチョン

• RQ1 パラ一貫否定は、閉包作用素を用いて、位相的意味論においてどのように形式的に定義され、解釈可能か？
• RQ2 パラ一貫位相的モデルとパラ一貫Kripkeモデルの間の明確な関係は何か？
• RQ3 ホモトピーおよびコホモトピーといった位相的構成は、パラ一貫モーダル枠組みにおいて論理的に定義可能か？
• RQ4 パラ一貫性は、位相的積や領域に基づくモーダル論理においてどのように振る舞うか？
• RQ5 パラ一貫位相的モーダルモデルにおける正則集合の論理的構造は何か？

主な発見

• パラ一貫位相的モデルからパラ一貫Kripkeモデルへの真理保存的変換が確立され、アクセス関係 Rσ は wRσv が w ∈ Clo(v) を満たすとき定義される。
• 変換されたKripkeモデルにおいて、パラ一貫否定 ∼φ は論理的にモーダル式 ♦¬φ と同値であり、位相的意味論と整合的である。
• 変換は妥当性を保存する：M, w ⊨ φ ならば Mσ, w ⊨ φ である。これはKripkeモデルが意味的同等物として適切であることを確認する。
• 位相的意味論は、補集合の閉包によるパラ一貫否定の埋め込みを通じて、非爆発的推論を可能にし、爆発の原理を回避する。
• この枠組みにより、パラ一貫論理と代数的トポロジーの間の新しい接点が得られ、ホモトピー群およびコホモトピー群がこのようなモデルにおいて論理的に定義可能である可能性が示唆される。
• 直感的論理とパラ一貫論理の双対性は、位相的モーダル枠組みへと拡張され、Brouwer代数およびHeyting代数が代数的基盤を提供する。