통합 수량 논리와 유니티 전제의 한계

초록

본 논문은 고전 삼단논법에 “최대 1명은 q이다”, “1명 초과는 q이다”와 같은 수량 전제를 추가한 ‘유니티 논리’를 정의하고, 이 확장 논리가 유한한 삼단규칙 집합만으로는 완전성을 가질 수 없음을 증명한다. 또한 만족 가능성 문제는 NP‑Complete임을 보인다.

상세 분석

논문은 먼저 고전 삼단논법(전통적 네 형태)과 그 확장형(비‑p 전제 포함)을 수량화된 형태인 ∃≤i와 ∃>i 로 재표현한다. 여기서 i는 비음수 정수이며, i=0이면 고전 논법과 동일하고 i=1이면 ‘유니티 논리’를 만든다. 저자는 S₀, S₁, …, S_z 라는 언어 계열을 정의하고, 각각이 의미하는 논리 체계가 어떻게 달라지는지를 체계적으로 설명한다.

핵심 기술은 두 가지 복잡도 결과이다. 첫째, S₀와 그 확장형은 이미 알려진 바와 같이 NLogSpace‑complete이며, 이는 전통적 삼단논법이 매우 제한된 계산 복잡도를 가진다는 것을 재확인한다. 둘째, z>0인 경우, 즉 최소 하나의 수량 전제가 포함될 때 만족 가능성 문제가 NP‑Complete가 된다. 이를 위해 저자는 S₁의 만족 문제를 그래프 3‑컬러링 문제에 귀환하고, 일반적인 S_z에 대해서는 모델 크기를 (z+1)|Φ| 이하로 제한하는 크기 제한 논증을 제시한다.

가장 중요한 정리는 “유니티 논리(S₁)와 그 확장형은 유한한 삼단규칙 집합만으로는 완전한 증명 체계를 제공할 수 없다”는 것이다. 저자는 직접적인 증명 시스템 ⊢_X와 간접 증명 시스템 ⟹_X 를 정의하고, 각각이 사운드함을 보인다. 그러나 어떤 유한 규칙 집합 X도 ⟹_X 가 완전하지 않음을 보이기 위해, 완전성을 요구하는 모든 가능한 규칙을 포함하는 ‘완전 집합’ 개념을 도입한다. 그런 다음, 특정 모순을 유도할 수 없는 구조를 구성해, 어떤 유한 X도 해당 모순을 증명하지 못함을 증명한다. 이는 전통적 삼단논법에서는 가능한 ‘유한 완전 규칙 집합’이 존재함과 대조된다.

또한 저자는 이 결과를 일반화하여, 모든 정수 z≥1에 대해 S_z와 그 확장형 S†_z 역시 유한한 삼단규칙으로는 완전성을 가질 수 없음을 보인다. 이는 수량 전제가 하나라도 도입되면 논리적 복잡도가 급격히 상승한다는 강력한 메타 결과다.

마지막으로, 논문은 19세기 Hamilton의 ‘전부‑전부’ 논리와 비교하면서, 두 체계가 표현력에서는 겹치지만 증명 체계와 복잡도 측면에서는 근본적으로 다름을 강조한다. Hamilton 체계는 간접 증명을 허용하면 완전한 삼단규칙을 가질 수 있지만, ‘정확히 하나’라는 전제를 표현할 수 없다는 점에서 차이가 있다.

요약하면, 논문은 수량 전제가 도입된 논리 체계가 고전 삼단논법과는 다른 증명·복잡도 특성을 갖으며, 특히 ‘유니티 전제’를 포함하는 가장 작은 확장조차도 유한한 삼단규칙만으로는 완전성을 확보할 수 없다는 중요한 한계를 밝힌다.