[논문 리뷰] A survey of paraconsistent logics

C.A. Middelburg|arXiv (Cornell University)|2011. 03. 22.

Logic, Reasoning, and Knowledge참고 문헌 50인용 수 23

한 줄 요약

이 논문은 다섯 가지 주요 비모순 논리—LP$^{\supset}$, RM₃, Cₙ, D₂, Pτ—에 대한 종합적이고 접근하기 쉬운 서베이를 제공한다. 이들은 삼가oz치, 관련성, 비진리기능적, 비첨가적, 그리고 주석 기반 방법을 포함하는 비모순 논리의 주요 접근 방식을 대표한다. 논문은 이들의 논리적 구조, 상호관계, 그리고 비일관된 정보를 다루면서도 의미 있는 추론을 유지하는 데 유용한데, 특히 의무론적 추론과 믿음 재편성 분야에서의 응용을 강조한다.

ABSTRACT

A survey of paraconsistent logics that are prominent representatives of the different approaches that have been followed to develop paraconsistent logics is provided. The paraconsistent logics that will be discussed are an enrichment of Priest's logic LP, the logic RM3 from the school of relevance logic, da Costa's logics Cn, Jaskowski's logic D2, and Subrahmanian's logics Ptau. A deontic logic based on the first of these logics will be discussed as well. Moreover, some proposed adaptations of the AGM theory of belief revision to paraconsistent logics will be mentioned.

연구 동기 및 목표

• 다양한 이론적 접근 방식을 대표하는 주요 비모순 논리에 대한 명확하고 접근하기 쉬운 개요를 제공하는 것.
• 특히 비일관된 정보를 포함하는 맥락에서 비모순 논리의 상호관계와 상대적 강점을 명확히 하는 것.
• 비모순 논리의 응용을 의무론적 추론과 믿음 재편성 분야에서 검토하는 것, 특히 법적 및 다에이전트 시스템에서의 적용을 중심으로 한다.
• 논리적 함의와 동치 관계에 초점을 맞춰 실용적 추론 과제에 적합한 다양한 비모순 논리의 적합성을 평가하는 것.
• 비모순 프레임워크에 AGM 믿음 재편성 이론을 어떻게 적응시킬 수 있는지 논의하는 것, 특히 비고전적이고 비일관된 추론 환경에서의 적용을 중심으로 한다.

제안 방법

• 다섯 가지 대표적인 비모순 논리를 서베이하는 것: LP$^{\supset}$ (표준 함의 정리가 부여된 LP의 확장), RM₃ (관련성 논리), Cₙ (다 코스타의 체계), D₂ (야스코프스키의 논리), Pτ (수브라만얀의 비모순 주석 논리).
• 각 논리의 문법, 의미론, 증명 이론적 성질을 분석하여, 이들이 폭발 원리(Ex Falso Quodlibet)를 어떻게 차단하는지에 중점을 두는 것.
• 비일관된 규범이 존재하는 맥락에서 의무론적 추론을 모델링하기 위해 LP$^{\supset}$ 기반의 의무론적 논리를 제시하는 것, 특히 법적 맥락에서의 적용을 중심으로 한다.
• AGM 믿음 재편성 이론이 비모순 논리에 어떻게 적응되었는지에 대한 제안된 방법들을 서베이하는 것, 고전 논리로의 번역 및 선호 기반 추론을 위한 일반적 프레임워크를 포함한다.
• 해석 선호와 우선순위가 부여된 가설 기반의 일반적인 믿음 재편성 모델을 제안하는 것으로, 비모순 체계에 적용 가능한 것이다.
• 논리들 간의 함의 관계와 동치 성질을 비교하여, 형식 체계 선택에 제약을 가하는 조건들을 규명하는 것.

실험 결과

연구 질문

• RQ1 다섯 가지 대표적인 비모순 논리—LP$^{\supset}$, RM₃, Cₙ, D₂, Pτ—는 논리적 구조와 그 뒤에 있는 철학적 동기에서 어떻게 다를까?
• RQ2 이 비모순 논리들은 폭발 원리를 효과적으로 차단하면서도 의미 있는 추론을 유지하는 데 어떤 방식으로 성공하는가?
• RQ3 비모순 논리는 비일관된 규범이 존재하는 맥락에서 의무와 권한을 포함한 의무론적 추론을 어떻게 모델링할 수 있는가?
• RQ4 AGM 믿음 재편성 이론을 비모순 논리적 프레임워크에 적응시키는 데 있어 핵심적인 과제와 해결책은 무엇인가?
• RQ5 함의 관계, 동치 성질, 의미론적 선호와 같은 기준들은 특정 응용에 적합한 비모순 논리를 선택하는 데 어떤 지침이 될 수 있는가?

주요 결과

• LP$^{\supset}$는 가장 광범위하게 연구된 비모순 논리이며, 규범적 비일관성을 다루는 의무론적 논리의 기초로 사용된다.
• 관련성 논리 학파에서 유래한 RM₃는 전제와 결론 간의 관련성을 강제하는 강력한 비모순 프레임워크를 제공한다.
• 다 코스타의 Cₙ 체계는 널리 논의되지만, 복잡성과 직관적 타당성 측면에서 강하게 비판받고 있다.
• 야스코프스키의 D₂는 자주 인용되지만, 가장 적은 공식적 연구를 받았으며, 문헌에 여러 잘못된 표현이 보고되어 있다.
• 주석된 진리값 기반인 수브라만얀의 Pτ 논리는 불확실성과 비일관성 하에서의 추론을 지원하며, 논리 프로그래밍과 전문가 시스템 등에 응용된다.
• 선호 기반 추론 프레임워크, 예를 들어 거리 기반 해석 순위화를 사용하는 것들은 비모순 함의 관계를 일반화하며, AGM 공리가 실패하는 경우에도 고전 논리와 비모순 논리 양쪽 모두에 적용 가능한 것으로 나타났다.