[논문 리뷰] Questions and dependency in intuitionistic logic

Ivano Ciardelli, Iemhoff, Rosalie외 1명|Utrecht University Repository (Utrecht University)|2017. 04. 06.

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조차도 직관적 의미론에서 비어 있는 전제 조건을 가질 수 있으며, 이는 완전하지 않은 정보 상태에서 항상 참으로 해석될 수 없음을 의미한다.
• 직관적 환경에서 단일 팀에서는 의존성 원소가 성립하지 않을 수 있으며, 이는 고전적 팀 의미론과의 근본적인 차이를 드러낸다.
• 논리합(∨)과 탐구적 논리합(≥)은 진리 조건적 행동은 동일하지만, 직관적 팀 의미론에서는 서로 다른 논리적 성질을 가지며, 이는 진리 초월적인 정보 구조의 역할을 강조한다.