다중값 추상 논리와 에프실론 티 확장 연구

초록

본 논문은 고전 부정 대신 비고전(모순 허용) 부정을 도입한 비프레게 논리 Epsilon‑T‑Logic을 네 가지 값 체계(B₄, K₃, P₃)로 일반화하고, 추상 파라미터 논리와 동일한 논리 유형의 확장으로 구성한다. 모델에서는 자기언급을 식(등식)으로 구현하고, 모순적 진술은 만족 불가능한 등식으로 격리한다. B₄‑형 논리의 경우 콤팩트성 증명, 최소 생성 논리로의 표현, Font(1997)와의 연계성을 보이며, 고전 논리를 위한 완전한 시퀀스 계산법을 제시한다.

상세 분석

이 연구는 먼저 고전 부정이 초래하는 라이어 역설을 피하기 위해, 라이어가 동시에 참이면서 거짓인 상황을 허용하는 비모순(paraconsistent) 부정을 채택한다. 이를 구현하기 위해 Lewitzka(2012)가 수정·확장한 비프레게 논리, 즉 Epsilon‑T‑Logic을 기반으로 한다. 해당 논리는 전체 진리 술어와 명제 양화자를 동시에 갖추고 있으며, 자기언급을 “공식 사이의 등식”이라는 형태로 모델링한다. 등식이 만족 가능하면 그 등식이 가리키는 명제가 실제 세계의 명제와 일치하고, 만족 불가능한 등식은 모순적 진술(예: 라이어)을 형식적으로 허용하되 실제 명제와는 연결되지 않게 만든다.

논문은 이러한 구조를 네 값 논리 B₄(덴·벨납)와 세 값 논리 K₃(클라인), P₃(프리스트)로 각각 확장한다. B₄‑형에서는 진리값을 {참, 거짓, 불확정, 모순} 네 가지로 나누어, 라이어와 같은 모순적 명제가 ‘모순’값을 취하도록 한다. K₃‑형은 {참, 거짓, 불확정}으로 제한해 모순을 허용하지 않으며, P₃‑형은 {참, 거짓, 모순}으로 구성해 라이어를 ‘모순’값에 배정한다. 각 확장은 기존 비프레게 모델에 새로운 진리값 할당 규칙과 평가 함수를 추가함으로써 형식화된다.

추상 논리의 관점에서 저자는 “논리 유형”이라는 메타 개념을 도입한다. 파라미터 논리와 그 확장은 동일한 유형(B₄, K₃, P₃) 내에 머물러야 함을 규정하고, 이를 위해 ‘추상 논리 of type X’라는 정의를 제시한다. 이 정의는 (i) 논리식의 집합, (ii) 만족 관계, (iii) 파라미터화된 연산자를 포함한다. 특히 B₄‑형 추상 논리에서는 콤팩트성 정리를 증명한다. 증명은 전통적인 필터·극대 필터 기법을 변형하여, 네 값 진리표의 특수 구조를 이용해 유한 부분집합이 모순을 일으키면 전체 집합도 모순을 일으킨다는 점을 보인다.

또한 저자는 이러한 추상 논리를 ‘최소 생성 논리(minimally generated logic)’로 표현한다. 즉, 기본적인 진리값 할당과 등식 규칙만으로 전체 논리 체계를 재구성할 수 있음을 보이며, 이는 Font(1997)의 ‘논리적 프레임워크’와 직접적인 연관성을 가진다. Font의 접근법은 논리 연산자를 집합론적 구조 위에 놓는 것이었는데, 본 논문의 모델은 그와 유사하게 명제 집합 위에 진리값 함수를 정의한다.

마지막으로, 고전 추상 논리를 위한 Epsilon‑T‑스타일 확장의 완전한 시퀀스 계산법을 제시한다. 기존의 Straeter(1992), Zeitz(2000), Lewitzka(1998)에서 제시된 복잡한 규칙들을 단순화하여, 전통적인 구조 규칙과 새로운 ‘등식 도입 규칙’만으로도 모든 유도 가능성을 확보한다. 이 시퀀스 체계는 정음성(soundness)과 완전성(completeness)을 모두 만족함을 증명하고, 특히 비모순 부정이 포함된 경우에도 증명 이론이 정상적으로 작동함을 확인한다.