패러콘시스턴트 의존 논리와 게임 의미론

초록

본 논문은 전통적 의존 논리의 의미 게임에서 승리 전략을 프로포넌트(엘로이즈)에게 귀속시키는 대신, 상대(아벨라드)의 승리 전략이 존재하지 않을 때 진리로 정의하는 새로운 패러콘시스턴트 논리 체계를 제시한다. 이 체계는 1차 논리의 보수적 확장이면서도 모순을 허용하는 파라콘시스턴트 특성을 지니며, 타당성 문제를 1차 논리로 환원하고 자체 진리·타당성 술어를 표현한다. 또한, 이 논리는 보편적 2차 논리와 동등한 표현력을 갖고, 비의존 논리식이 일관적일 조건과 의존 논리식이 진리 관점에서 1차 논리와 동등함을 증명한다.

상세 분석

논문은 먼저 전통적 의존 논리(Dependence Logic)의 의미론적 기반인 게임 의미론을 재검토한다. 기존 체계에서는 엘로이즈(Eloise)가 승리 전략을 갖는 경우에만 구문이 ‘참’이라고 정의한다. 저자는 여기서 대립자(Abelard)의 승리 전략이 존재하지 않을 때를 ‘참’으로 정의함으로써, 진리값이 승리 전략의 부재에 기반하도록 전환한다. 이 전환은 두 가지 중요한 효과를 만든다. 첫째, 모순이 발생해도 양쪽 모두 승리 전략이 없을 경우 해당 구문을 ‘참’으로 인정함으로써 파라콘시스턴트(paraconsistent) 특성을 부여한다. 둘째, ‘거짓’은 기존과 동일하게 상대가 승리 전략을 가질 때로 정의되므로, 진리와 거짓이 비대칭적으로 다뤄진다.

이 새로운 진리 정의는 논리 체계가 1차 논리(FOL)의 보수적 확장이 되도록 보장한다. 즉, FOL의 모든 식은 변형 없이 동일한 진리값을 유지한다. 동시에, 의존 연산자(=·)와 비의존 연산자(≠·)를 포함한 확장은 파라콘시스턴트 의미를 도입하면서도 기존 FOL의 정리들을 손상시키지 않는다. 저자는 이 체계의 타당성 문제를 FOL의 타당성 문제로 환원하는 복잡도 보존 결과를 제시한다. 구체적으로, 주어진 파라콘시스턴트 의존 논리식 φ에 대해, φ가 타당함을 판단하는 절차를 FOL의 타당성 판단 알고리즘에 직접 매핑함으로써, 복잡도 차이가 발생하지 않음을 증명한다.

또한, 논문은 이 체계가 자체 진리와 타당성 술어를 정의할 수 있음을 보인다. 전통적 고전 논리에서는 라우셀-터트키(Löb) 정리와 같은 제한으로 인해 자체 언어 내에서 진리 술어를 정의하는 것이 불가능하지만, 파라콘시스턴트 의미론에서는 ‘승리 전략이 없음’이라는 메타레벨 조건을 구문적으로 포착함으로써, Tarski‑style 진리 정의를 내부화한다. 이는 논리 자체가 메타논리적 성질을 표현할 수 있게 함으로써, 자기언급(self‑reference)과 관련된 고전적 파라독스를 회피한다.

표현력 측면에서, 저자는 이 논리가 보편적 2차 논리(Universal Second‑Order Logic)와 동등함을 증명한다. 구체적으로, 모든 ∀²‑문장을 파라콘시스턴트 의존 논리식으로 변환할 수 있고, 반대로 이 논리식은 ∀²‑문장으로 환원될 수 있음을 보인다. 이는 기존 의존 논리가 Σ¹₁‑완전성을 갖는 것과 대조적이며, 파라콘시스턴트 버전이 ∀²‑완전성을 달성함을 의미한다.

마지막으로, 일관성(consistent)과 진리 동등성에 관한 두 가지 핵심 정리를 제시한다. 첫 번째 정리는 ‘비의존 논리식이 일관적’이라는 것은 바로 그 식이 어떤 1차 논리 문장과 동등함을 의미한다는 것이다. 즉, 비의존 연산자를 포함한 파라콘시스턴트 식이 모순을 일으키지 않으려면, 본질적으로 1차 논리로 환원될 수밖에 없다. 두 번째 정리는 ‘의존 논리식은 진리 관점에서 1차 논리와 동등’하다는 것으로, 비록 거짓값에 대해서는 차이가 있을 수 있지만, 진리값만을 고려하면 언제든지 1차 논리 식으로 대체 가능함을 보인다. 이 결과는 파라콘시스턴트 의존 논리가 기존 의존 논리보다 더 강력한 표현력을 가지면서도, 진리‑거짓 비대칭성을 통해 일관성 문제를 세밀하게 제어할 수 있음을 시사한다.