직관주의 부정의 파라콘시스티브 약화 연구

초록

본 논문은 기존의 Zₙ·CZₙ 체계가 직관주의 논리의 확장에 불과하다는 비판을 반영하여, 부정 연산자를 약화시키는 새로운 변형을 제시한다. 수정된 체계는 반전성(antitonicity), 역전성(inversion), 가법성(additivity)을 유지하면서도, 모순을 포함한 논증에서도 폭발(explosion)을 방지하는 파라콘시스티브 특성을 갖는다.

상세 분석

Zₙ와 CZₙ는 다카르소의 파라콘시스티브 접근법을 차용하되, 직관주의 논리의 핵심 성질인 부정의 반전성(¬A⊢¬B ⇐ B⊢A), 역전성(¬¬A→A) 및 가법성(A∨¬A) 등을 보존하려는 시도로 고안되었다. 그러나 Carnielli·Coniglio·Marcos(2007)의 분석에 따르면, 이 두 체계는 실제로 직관주의 논리의 강한 확장에 불과하며, 모순을 허용하는 파라콘시스티브 메커니즘을 제공하지 못한다는 결론이 도출되었다. 논문은 이러한 비판을 수용하고, Zₙ·CZₙ의 정의를 재조정한다. 핵심은 ‘약화된 부정 연산자’를 도입하여, 전통적인 직관주의 부정이 갖는 전건-후건 관계를 완화시키는 것이다. 구체적으로, 새로운 연산 ¬*는 다음과 같은 규칙을 만족한다. 첫째, ¬*는 반전성을 유지하지만, ¬*A→¬*B 가 성립하려면 B⊢A가 아니라 B⊢¬A가 필요하도록 약화한다. 둘째, 역전성은 ¬¬A→A 대신 ¬¬*A→¬A 로 제한함으로써, 이중 부정이 원래 명제와 동치가 되지 않게 만든다. 셋째, 가법성은 A∨¬A를 유지하되, A와 ¬A가 동시에 참일 수 있는 상황을 허용한다. 이러한 규정은 분산 격자(distributive lattice) 위에서의 대수적 모델을 구성할 때, 모순 원소가 ‘중립’ 역할을 하게 하여 폭발을 차단한다. 논문은 또한 수정된 체계가 기존의 da Costa 체계와 동일한 파라콘시스티브 수준을 갖는지 검증하기 위해, 일관성 보존(Consistency Preservation)과 비폭발성(Non‑Explosion) 정리를 형식적으로 증명한다. 결과적으로, 새로운 Zₙ·CZₙ는 직관주의 논리의 구조적 장점을 보존하면서도, 파라콘시스티브 논리의 핵심 요구조건을 만족하는 유일무이한 혼합 체계임을 확인한다.