역설적 논리 종합 조사

초록

본 논문은 역설적(paraconsistent) 논리의 주요 흐름을 아우르는 서베이로, Priest의 LP, 관련성 논리의 RM3, da Costa의 Cₙ, Jaskowski의 D₂, Subrahmanian의 Pτ 등을 체계적으로 비교·분석한다. 또한 LP 기반의 비허가(deontic) 논리와 AGM 믿음 수정 이론의 역설적 변형을 소개한다.

상세 분석

역설적 논리는 모순을 포함한 명제 집합에서도 폭발(ex contradictione quodlibet)을 방지하도록 설계된 비클래식 논리 체계이다. 논문은 이러한 목표를 달성하기 위한 다섯 가지 대표적 접근을 상세히 검토한다. 첫 번째는 Priest가 제시한 3값 논리 LP로, 진리값을 ‘참’, ‘거짓’, ‘양쪽 모두’를 허용한다. LP는 진리표 기반의 시맨틱과 자연 연역 규칙을 제공하며, 특히 ‘¬¬A → A’와 같은 고전적 이중 부정 법칙을 유지하면서도 모순을 허용한다는 점이 특징이다. 두 번째는 관련성 논리 전통에서 파생된 RM3이다. RM3는 의미론적으로 ‘가능 세계’ 모델을 사용해 전제와 결론 사이의 관련성을 보장하고, 모순 전제가 존재해도 비논리적 폭발을 차단한다. 세 번째는 da Costa의 Cₙ 시리즈로, ‘정도’(degree) 개념을 도입해 모순을 단계적으로 제한한다. Cₙ은 ‘정상성’ 규칙을 통해 특정 수준 이하의 모순만 허용하고, n이 커질수록 더 강력한 비클래식 성질을 갖는다. 네 번째는 Jaskowski의 D₂로, ‘다중 진리값’ 체계와 ‘구조적 규칙’에 기반한다. D₂는 논리적 연산자를 재정의해 모순이 발생해도 논증이 중단되지 않도록 설계되었다. 마지막으로 Subrahmanian의 Pτ는 ‘가능성’과 ‘필연성’ 연산자를 결합한 복합 시맨틱을 제공하며, 특히 인공지능 지식 표현에서 불확실성과 모순을 동시에 다루는 데 유용하다. 논문은 각 논리의 시멘틱(가능 세계, 3값, 정규성 등), 증명 체계(자연 연역, 시퀀스, 테이블루), 그리고 메타논리적 성질(일관성 보존, 교환법칙, 디스트리뷰티비티) 등을 비교한다. 또한 LP 기반의 비허가 논리 확장은 도덕적 규범과 명령을 모순적인 상황에서도 일관되게 적용할 수 있게 하며, AGM 믿음 수정 이론을 역설적 논리 위에 옮긴 시도는 ‘수정 연산자’가 모순을 완전히 제거하지 않고 최소화하도록 설계한다는 점에서 혁신적이다. 전체적으로 논문은 각 체계가 목표로 하는 모순 허용 정도와 적용 분야(수리철학, 컴퓨터 과학, 법리학 등)를 명확히 구분하고, 상호 변환 가능성 및 통합 연구의 필요성을 강조한다.