[논문 리뷰] On Paraconsistent Weakening of Intuitionistic Negation

Zoran Majkić|arXiv (Cornell University)|2011. 02. 09.

Advanced Algebra and Logic참고 문헌 12인용 수 3

한 줄 요약

이 논문은 인 intuitionistic 부정을 약화시켜 ex falso quodlibet 원칙을 피하면서도 핵심적인 구조적 성질을 유지하기 위해 수정된 무모순 체계 mZₙ 및 mCZₙ을 제안한다. 인 intuitionistic 부정을 Birkhoff의 극성과 유전적 불일치를 기반으로 한 분할 부정으로 대체함으로써, Kripke 스타일의 의미론을 통해 무모순성을 달성하며, Da Costa의 무모순 논리 조건을 만족시킨다.

ABSTRACT

In [1], systems of weakening of intuitionistic negation logic called Z_n and CZ_n were developed in the spirit of da Costa's approach(c.f. [2]) by preserving, differently from da Costa, its fundamental properties: antitonicity, inversion and additivity for distributive lattices. However, according to [3], those systems turned out to be not paraconsistent but extensions of intuitionistic logic. Taking into account of this result, we shall here make some observations on the modified systems of Z_n and CZ_n, that are paraconsistent as well.

연구 동기 및 목표

• 이전 시스템 Zₙ 및 CZₙ의 무모순 실패 문제를 해결하기 위해, 이들이 본질적으로 무모순이 아닌 인식론적 논리의 확장임이 입증된 바이므로 이를 해결하고자 한다.
• 원래 시스템에서 폭발 원리가 가능하게 하는 축약법 ¬1 ⇒ 0을 제거함으로써 진정으로 무모순적인 mZₙ 및 mCZₙ 시스템을 개발하고자 한다.
• 유전적 불일치와 Birkhoff의 극성을 기반으로 한 분할 부정 연산자 λ를 정의하여, 이 부정이 Da Costa의 공리 (11) 및 (12)를 만족하도록 보장하고자 한다.
• 분배 격자 내에서 갈로아 연결을 통한 재해석을 통해, 새로운 부정에 대해 Kripke 스타일의 의미론을 수립하고자 한다.
• 모든 모순적 전제로부터의 잠재적 비자명성(Triviality)을 피하면서도 구조적 추론과 분배 격자 성질을 유지하고자 한다.

제안 방법

• 원래 Zₙ 체계에서 축약법 ¬1 ⇒ 0을 제거함으로써 ex falso quodlibet 유도를 차단하는 수정된 mZₙ 체계를 도입한다.
• 세계의 집합 W 위에서 유전적 불일치 관계 R를 기반으로 한 분할 부정 λ를 정의하며, U ⊆ W에 대해 λ(U) = {w ∈ W | ∀v ∈ U, wRv}로 정의한다.
• Birkhoff의 극성과 갈로아 연결을 통해 부정 연산자 λ가 반단조성, 가환성, 그리고 유전적 부분집합에 대한 닫힘성을 만족하도록 보장한다.
• 대수적 및 모델 이론적 방법을 통해, 수정된 mZₙ 체계가 Da Costa의 공리 (11) 및 (12)를 만족함을 증명한다. 특히 재귀적 반박의 상대화 및 n-일관성 전파를 검증한다.
• mZₙ에 다중성 성질 λ(U ∩ V) = λU ∪^OP λV를 추가하여 mCZₙ로 확장함으로써, 부정이 구조적 부정처럼 행동하도록 보장한다.
• Galois 연결으로 유도된 불일치 관계 R를 사용하여, mZₙ 및 mCZₙ의 Kripke 의미론을 구성하며, ¬A의 만족 조건을 w ⊨ ¬A iff ∀v ∈ W, wRv implies v ⊭ A 로 정의한다.

실험 결과

연구 질문

• RQ1 원래 Zₙ 및 CZₙ 체계는 ex falso quodlibet 원칙을 피하면서도 진정으로 무모순성을 달성하도록 수정 가능할까?
• RQ2 Zₙ에서 축약법 ¬1 ⇒ 0을 제거하면 Da Costa의 무모순 조건(NdC1–NdC4)을 만족하는 체계가 되는가?
• RQ3 Birkhoff의 극성과 유전적 불일치 관계를 기반으로 한 분할 부정은 무모순성과 분배 격자 구조를 동시에 지원하는 의미론을 제공할 수 있는가?
• RQ4 mZₙ 및 mCZₙ의 수정된 부정 연산자에 대해 Kripke 스타일의 의미론이 대수적 성질과 일관되게(sound and complete) 정의될 수 있는가?
• RQ5 da Costa의 공리 (11) 및 (12)는 어떤 조건에서 수정된 체계에서 유도 가능하며, Kripke 의미론은 언제까지 정의 가능한가?

주요 결과

• 수정된 mZₙ 체계는 더 이상 ex falso quodlibet 규칙을 증명하지 않기 때문에 무모순적이다. 이는 핵심 축약법 ¬1 ⇒ 0이 제거되었기 때문이다.
• Birkhoff의 극성을 통한 분할 부정 λ는 λ(U ∪ V) = λU ∩ λV 성질을 만족하며, 이는 분배성과 격자 구조와의 호환성을 보장한다.
• mZₙ에서 공식 ¬(A ∨ B) ≡ (¬A ∧ ¬B)는 증명 가능하며, 이는 부정이 논리합에 대해 쌍대 연산자로 작용함을 확인한다.
• mZₙ에서 공식 ¬0 ≡ 1는 유도 가능하며, 이는 거짓의 부정이 참임을 보여주며, 이는 무모순 의미론과 일치한다.
• mZₙ에 다중성 성질을 추가하여 유도된 mCZₙ 체계는 대응의 법칙을 만족하고, 유전적 부분집합에 대해 닫혀 있는 구조적 부정을 지원한다.
• mZₙ 및 mCZₙ의 Kripke 스타일 의미론은 Birkhoff의 극성으로 유도된 불일치 관계를 통해 정의 가능하며, 이는 인식론적 Kripke 모델의 보존적 확장임을 보여준다.