대화 게임 규칙의 구조와 모드스 포넨스 폐쇄성 연구

초록

본 논문은 Lorenzen 대화 게임의 규칙 집합 S가 정의하는 유효 공식 집합 𝔇(S)가 모드스 포넨스에 대해 닫혀 있는지, 즉 논리적 최소성을 만족하는지를 조사한다. 규칙의 미세한 변형이 𝔇(S)의 논리적 성질을 크게 바꾸는 현상을 ‘구성 문제(composition problem)’라 명명하고, 이를 일반화한 ‘통합 구성 문제(uniform composition)’를 제시한다. 초기 실험으로 새로운 논리 N, 중간 논리 LQ, 안정 논리 등을 다루며, 독립적인 규칙 집합의 필요성을 논의한다.

상세 분석

논문은 먼저 Lorenzen 대화 게임을 형식화하는 두 종류의 규칙, 즉 **입자 규칙(particle rules)**과 **구조 규칙(structural rules)**을 구분한다. 입자 규칙은 논리 연산자 ∧, ∨, →, ¬에 대한 공격·방어 방식을 정의하고, 구조 규칙은 공격·방어의 순서와 재사용 제한 등을 규정한다. 기존 연구에서 직관주의 논리와 고전 논리를 각각 D와 CL 규칙 집합으로 재현했으며, 이는 각각 직관주의와 고전 논리와의 동치성을 보이는 정리(Felscher)로 뒷받침된다.

핵심 문제는 구성 문제이다.

“𝔇(S)가 모드스 포넨스에 대해 닫혀 있는가?”
즉, ϕ와 ϕ→ψ가 모두 S‑대화에서 승리 전략을 가질 때 ψ도 승리 전략을 가져야 하는가를 묻는다. 이는 논리적 최소성, 특히 논리 체계가 최소한의 추론 규칙을 포함하는지를 판단하는 기준이 된다.

논문은 구성 문제를 두 단계로 확장한다. 첫 번째는 특정 규칙 집합 S에 대한 직접 해답을 찾는 것이고, 두 번째는 통합 구성 문제로서 “어떤 일반적 기준을 만족하면 모든 S에 대해 모드스 포넨스가 보장된다”는 메타‑정리를 목표로 한다. 여기서 ‘일반적 기준’은 규칙의 형태적 제한(예: 공격 재사용 제한, 최근 공격에만 응답 가능 등)이나 규칙 간의 상호 작용을 기술하는 메타‑조건일 가능성이 제시된다.

실험 섹션에서는 세 가지 사례를 통해 구성 문제의 복잡성을 보여준다.

1. 논리 N: 새로운 구조 규칙을 도입해 직관주의와 고전 논리 사이의 중간 논리를 구성했지만, 모드스 포넨스 폐쇄성이 깨지는 예시를 제공한다.
2. 중간 논리 LQ: 약한 배제 중간법(weak excluded middle)을 목표로 규칙을 설계했으나, 기대한 대로 모드스 포넨스를 만족시키지 못해 실패한다. 이는 규칙 설계가 논리적 폐쇄성을 보장하기 위해서는 단순히 직관주의·고전 논리의 조합만으로는 부족함을 시사한다.
3. 안정 논리: 원자 p에 대해 ¬¬p→p를 만족시키는 안정 논리를 대화 게임으로 구현하려는 시도이며, 여기서도 규칙 간의 미묘한 상호 작용이 모드스 포넨스 유지에 결정적임을 확인한다.

마지막으로 독립 규칙 집합의 필요성을 강조한다. 현재까지는 D, E, CL 등 몇 개의 ‘표준’ 규칙 집합만이 논리와 명확히 연결되었으며, 새로운 규칙을 도입할 때마다 기존 정리와의 호환성을 검증해야 한다는 점을 지적한다. 논문은 이러한 독립적인 규칙 설계가 통합 구성 문제 해결의 첫걸음이 될 수 있다고 제안한다.

전체적으로 논문은 대화 게임을 논리 체계와 연결짓는 메타‑이론을 구축하려는 시도로, 규칙 설계가 논리적 폐쇄성에 미치는 영향을 체계적으로 분석한다. 아직 완전한 통합 기준은 제시되지 않았지만, 구성 문제와 그 일반화가 향후 대화 기반 논리학의 구조 이론을 정의하는 핵심 과제가 될 것임을 설득력 있게 제시한다.