[論文レビュー] First-Order Implication-Space Semantics

Ulf Hlobil|arXiv (Cornell University)|Feb 14, 2026

Logic, Reasoning, and Knowledge被引用数 0

ひとこと要約

Implication-space semanticsを一階述語論理へ拡張し、非単調性および超クラシカルな含意関係を保ちつつ、古典的一階論理を回復することを目指す。

ABSTRACT

This paper extends implication-space semantics to include first-order quantification. Implication-space semantics has recently been introduced as an inferentialist formal semantics that can capture nonmonotonic and nontransitive material inferences. Extant versions, however, include only propositional logic. This paper extends the framework so as to recover classical first-order logic. The goal is to formulate a theory in which consequence relations can be nonmonotonic and supraclassical, while obeying the deduction-detachment theorem and disjunction simplification, while also including conjunctions that behave multiplicatively as premises and counterexamples to the usual quantifier rules. The paper explains these constraints and shows how they can be met jointly. The result is a first-order version of implication-space semantics that has all the virtues for which inferentialists and inferential expressivists praise propositional implication-space semantics.

研究の動機と目的

• implication-space semantics の一階論理への拡張を導く目的と制約を説明する。
• MOF・SCL・DDT・DS・LC 制約を満たしつつ、∀R/∀L ルールを支持しない一階含意空間意味論を定式化する。
• ティアースカモデル理論を implication-space semantics に写像して超クラサカル性を達成する方法を示す。
• 一階論理への拡張が非自明であり、古典的一階論理を完全に回復するために今後必要な課題を概説する。

提案手法

• 一階含意空間意味論の七つの指針制約（MOF・SCL・DDT・DS・LC・論理的表現主義を含む）を提示する。
• ∀R および ∀L ルールを前提とせずに MOF・DDT・DS・LC を満たすことができる一階含意空間意味論を定義する。
• フレームワークは非単調性と過度的直観（hyperintensional）な含意関係を組み込む必要があると主張する。
• 一般的な可能世界意味論や他の論理が制約を満たさない理由を論証する。
• ティアースカンモデル理論を implication-space semantics に写像して超クラサカルな含意を得る。
• 定量化を組み込みつつ望ましい性質を保持するために必要な課題や調整を議論する。

実験結果

リサーチクエスチョン

• RQ1 一階含意空間意味論は classical ∀R ∀L ルールを採用せずに MOF・DDT・DS・LC を同時に満たせるか。
• RQ2 ティアースカンモデル理論を implication-space semantics に統合して一階設定で超クラサカル性を保証できるか。
• RQ3 この枠組みで古典的一階論理を回復する障害は何で、それを克服するにはどうするべきか。

主な発見

• 一階の拡張は MOF・DDT・DS・LC 制約を満たしつつ、通常の量化規則 ∀R および ∀L を支持しない。
• ティアースカンモデル理論を枠組みに写像することで implication-space semantics における古典的一階論理を回復できる。
• MOF・DS・LC の結合制約の下で高次的表現性と非単調性が自然な結果として現れる。
• 現存の命題論理含意空間意味論は古典的な命題論理を達成するが、一階への拡張は非自明で、量化規則の取り扱いに注意を要する。
• 非単調性・超クラセカルな含意関係は、従来の量化規則を用いずに一階の推論主義意味論で達成可能であると主張する。