다중값 논리 구조와 수스코의 논제: 의미론·추론·감소의 새로운 통합

초록

본 논문은 “많은 값”이란 무엇인가에 대한 근본적인 질문을 다루며, 수스코의 논제(ST)의 진위가 의미론의 정의에 달려 있음을 보인다. 두 종류의 의미론과 세 가지 추론 관계를 제시하고, 이를 통해 추론적으로 다중값 논리 구조를 정확히 정의한다. 또한, 기존 수스코 감소를 일반화하여 단조 논리와 일부 비단조 논리 모두에 대해 이중값(바이밸런트) 의미론을 제공한다. 마지막으로 고차 메타논리의 이중값성을 포기함으로써 κ‑값 논리 구조를 구축하고, ST의 일반화 가능성을 논한다.

상세 분석

논문은 먼저 논리 구조를 (L, ⊢) 혹은 (L, W) 형태로 정의하고, 전통적인 행렬 의미론과 새로운 의미론 프레임워크를 대비한다. 정의 2.1에서 제시된 의미론은 ‘가능한 세계 집합 M’, ‘각 세계별 만족 관계 | = i’, 그리고 세계 간 전이 관계 S 를 포함하는 4‑튜플로, 기존의 진리‑값 행렬을 일반화한다. 이를 통해 ⊢ₛ라는 추론 관계를 정의하고, 논리 구조가 어떤 의미론에 ‘적합’한지를 형식화한다.

다음으로 저자는 ‘추론적 다중값성(inferential many‑valuedness)’을 정의한다(정의 2.13). 여기서는 q‑, p‑, sκ‑, rκ‑연산자를 도입해 네 종류의 ‘consequence operators’를 구분하고, 각각이 3‑값 혹은 n‑값 의미론을 필요로 함을 보인다. 정리 3.8, 3.15, 3.31은 단조 논리 구조가 이러한 연산자에 따라 최소 3‑값 의미론을 갖는 네 개의 서브클래스로 분리될 수 있음을 증명한다. 특히, ‘inferential value’라는 개념을 기존의 ‘알제브라적 값’과 구분함으로써, 논리적 가치가 단순히 진리‑거짓의 구분을 넘어선다(정의 2.8, 2.9)고 주장한다.

수스코 감소(Suszko Reduction)는 전통적으로 모든 논리를 이중값으로 환원한다는 결과였지만, 저자는 이를 ‘일반화된 관점’으로 재구성한다(§4). 정의 4.1의 새로운 의미론을 이용하면, 단조 논리뿐 아니라 특정 비단조 논리(예: 기본적인 비단조 추론 체계)에도 적절한 바이밸런트 의미론을 제공한다(정리 4.21, 4.22). 이는 기존 연구가 의미론을 바꾸거나 메타논리의 이중값성을 포기함으로써 얻을 수 있던 결과를 체계화한 것이다.

마지막으로 κ‑값 논리 구조(정의 5.2)를 도입해, 메타레벨(λ)까지의 고차 메타논리에서 이중값성을 포기하면, 임의의 기수 κ와 순서 λ에 대해 κ‑값 논리 구조를 구성할 수 있음을 보인다. 이는 ‘graded consequence’ 이론과 다중값 논리 구조 사이의 형식적 다리를 놓으며, ST가 ‘논리적 가치가 두 개뿐이다’는 주장보다 더 넓은 일반화 형태—즉, 메타레벨에 따라 다중값이 허용될 수 있다는 관점을 제시한다. 전체적으로 논문은 의미론, 추론 연산자, 메타논리의 층위를 동시에 고려함으로써, 수스코 논제의 한계와 확장 가능성을 정밀히 분석한다.