[論文レビュー] Questions and dependency in intuitionistic logic

Ivano Ciardelli, Iemhoff, Rosalie+1 more|Utrecht University Repository (Utrecht University)|Apr 6, 2017

Logic, Reasoning, and Knowledge被引用数 14

ひとこと要約

本稿は、Kripkeモデル内のチームを用いて情報状態を捉えることで、直感的論理に質問および従属式を拡張する直感的チーム意味論枠組みを導入する。主な貢献は、正規形、完全性、および古典的問いの論理およびモダール従属論理への翻訳を保ちながら、直感的論理の保存的拡張である。非古典的状況下での新たな意味的挙動が明らかにされる。

ABSTRACT

In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and dependencies to this classical core. In this paper, we broaden the scope of these investigations by studying questions and dependency in the context of intuitionistic logic. We propose an intuitionistic team semantics, where teams are embedded within intuitionistic Kripke models. The associated logic is a conservative extension of intuitionistic logic with questions and dependence formulas. We establish a number of results about this logic, including a normal form result, a completeness result, and translations to classical inquisitive logic and modal dependence logic.

研究の動機と目的

• 構成的性質を保ちつつ、直感的論理に質問および従属式を統合する方法を提供すること。
• チームが情報状態を表す直感的Kripkeモデルに基づくチーム意味論枠組みを構築すること。
• 質問および従属を含む直感的論理の保存的拡張を確立し、構成的推論と整合性を保つこと。
• 非古典的で直感的な文脈における質問および従属の挙動を調査し、非自明な前提条件や単一要素チームにおける従属の失敗といった新たな意味的現象を明らかにすること。
• 古典的問いの論理およびモダール従属論理への翻訳を提供し、フレームワーク間の比較および結果の移転を可能にすること。

提案手法

• Kripkeモデル内の世界のチームに基づいて、論理式の満たしを定義する直感的チーム意味論を提案する。単一の世界ではなく、チームに基づく。
• このチームベースの枠組み内での文、質問（例：?p）、および従属原子（例：= (p,q)）の満たし条件を定義する。
• 論理に対して、最大一貫性を持つ選言的原子の選言に等価な選言的正規形を導入する。
• 二重否定則を古典論理から除外した、妥当かつ完全なヒルベルト形式の公理体系を提供することで、論理の完全性を確立する。
• 直感的問いの論理（InqI）から古典的問いの論理およびモダール従属論理への翻訳を構築し、意味的内容を保持する。
• 部分的かつ精錬される情報状態をモデル化するため、根付き構造を持つKripkeモデルを用いる。これにより、直感的意味論と古典的意味論の違いが明確になる。

実験結果

リサーチクエスチョン

• RQ1 構成的意味論を保ちつつ、質問および従属を直感的論理に形式的に統合する方法は何か？
• RQ2 特に前提条件や真偽値のギャップに関して、直感的Kripkeモデルにおける質問および従属原子の意味的性質は何か？
• RQ3 古典的問いの論理における主要な結果（正規形、完全性など）が、直感的文脈にどの程度持ち越せるか？
• RQ4 同一の真理条件的挙動を示すにもかかわらず、直感的チーム意味論において、論理的論理和（∨）と問いの論理的論理和（≥）の論理的性質にどのような違いがあるか？
• RQ5 直感的問いの論理は、古典的問いの論理およびモダール従属論理へ保存的拡張および翻訳が可能か？

主な発見

• 提示された論理は、直感的命題論理の保存的拡張であり、基本論理のすべての妥当な文を保ちつつ、質問および従属の表現力を拡張する。
• 選言的正規形の結果は、古典的状況と同様に、直感的文脈でも成り立つ。これにより、任意の論理式を標準的な選言的形式に書き直すことができる。
• 二重否定則を除いた古典的問いの論理とは異なるが、ヒルベルト形式の公理体系に基づき、論理は妥当かつ完全である。
• 単純な極性質問（例：?p）ですら、直感的意味論では非自明な前提条件を持つ。これは、情報状態が不完全な状態では常に真に解釈可能であるとは限らないことを意味する。
• 直感的文脈では、単一要素チームにおいても従属原子が成立しないことがある。これは、古典的チーム意味論とは根本的に異なる点を示している。
• 論理的論理和（∨）と問いの論理的論理和（≥）は、真理条件的挙動が同一であるが、直感的チーム意味論においては論理的性質に相違がある。これは、真理を越えた情報構造の役割を強調している。