[논문 리뷰] First-Order Implication-Space Semantics

Ulf Hlobil|arXiv (Cornell University)|2026. 02. 14.

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 제약을 충족하는 일차 implication-space semantics를 형식화하되 표준 양화 규칙을 지지하지 않는다.
• 초상계적성을 달성하기 위해 Tarskian 모델 이론을 implication-space semantics로 매핑하는 방법을 보여준다.
• 일차 로직으로의 확장이 비간단한 이유와 고전적 일차 로직을 완전히 회복하기 위해 필요한 향후 연구를 개요로 제시한다.

제안 방법

• first-order implication-space semantics를 제시하고 MOF, SCL, DDT, DS, LC를 검증할 수 있음을 보인다.
• 일차 implication-space semantics가 ∀R 및 ∀L 규칙에 의존하지 않으면서 MOF, DDT, DS, LC를 충족할 수 있음을 정의한다.
• 프레임워크가 비단조적이고 하이퍼인텐션적 결과 관계를 수용해야 하는 이유를 주장한다.
• 표준 가상 세계 의미론 및 다른 논리들이 왜 제약을 충족하지 못하는지에 대한 주장을 제시한다.
• Tarskian 모델 이론을 implication-space semantics로 매핑하여 초상계적 결과를 얻는 방법을 제시한다.
• 양화를 포함시킬 때 필요한 도전과제와 원하는 속성을 유지하기 위한 잠재적 조정들을 논의한다.

실험 결과

연구 질문

• RQ1 Can first-order implication-space semantics validate MOF, DDT, DS, and LC simultaneously without adopting the classical ∀R and ∀L rules?
• RQ2 How can Tarskian model theory be integrated into implication-space semantics to ensure supraclassicality in a first-order setting?
• RQ3 What are the obstacles to recovering classical first-order logic within this framework, and how might they be overcome?

주요 결과

• A first-order extension of implication-space semantics can meet MOF, DDT, DS, and LC constraints while not underwriting the usual quantifier rules ∀R and ∀L.
• Classical first-order logic can be recovered in implication-space semantics by mapping Tarskian model theory into the framework.
• Hyperintensionality and nonmonotonicity emerge as natural consequences of the combined constraints (MOF, DS, LC) in the first-order setting.
• Extant propositional implication-space semantics achieve classical propositional logic; the first-order extension remains nontrivial and requires careful handling of quantification rules.
• The work argues that nonmonotonic, supraclassical consequence relations can be achieved in a first-order inferentialist semantics without traditional quantifier rules.