조건문 논리의 양화와 선택 함수 불완전성

초록

스탈내커와 톰슨이 제시한 1차 양화 조건문 논리 C2는 공식(식) 기반 선택 함수를 이용해 완전성을 보였지만, 명제(가능 세계 집합) 기반 선택 함수에서는 프레임 불완전성을 보인다. 저자들은 선택 함수가 명제에 작용하도록 요구하면 QST(양화 스탈내커‑톰슨 논리)는 어떤 프레임 클래스에도 해당하지 않으며, 이는 변수·상수 도메인, 동일성·존재 술어 포함 여부와 무관함을 증명한다.

상세 분석

이 논문은 스탈내커가 제시한 “조건문은 명제들을 입력으로 받아 명제를 출력하는 함수”라는 철학적 전제를 엄격히 검증한다. 기존의 스탈내커‑톰슨 완전성 증명은 선택 함수를 공식(문법적 표현) 위에 정의했으며, 이는 실제 세계에서 명제(가능 세계 집합)와 동일시되지 않는다. 저자들은 이를 바로잡기 위해 집합 선택 함수 프레임(worlds, accessibility relation, selection function f : 𝒫(W)×W→𝒫(W), 도메인 D, 로컬 도메인 할당 d)을 도입한다. 여기서 f는 모든 명제 P⊆W에 대해 정의되며, f(P,w)⊆R(w)와 같은 기본 제약을 만족한다.

논문의 핵심은 프레임 불완전성을 보이는 것이다. 먼저 가장 단순한 시스템 QC2( C2에 1차 양화 규칙을 최소한으로 추가한 것)를 대상으로, 선택 함수가 명제에 작용하도록 강제한 프레임 클래스가 QST의 정리와 일치하지 않음을 증명한다. 구체적으로, 스탈내커가 요구한 약한 중심성(Weak Centering), 성공성(Success), 선택 함수의 단조성 등을 만족하는 프레임에서도, QC2가 증명할 수 없는 (무한) 추론이 존재함을 보인다. 이는 기존의 공식 기반 프레임에서는 불가능했던 새로운 비표현 가능(Non‑representable) 명제 구성을 통해 이루어진다.

다음 단계에서는 선택 함수 프레임에 동일성·존재 술어를 추가하거나, 변수 도메인(actualist)과 상수 도메인(possibilist) 사이의 차이를 허용해도 불완전성 결과가 유지된다는 메타 결과를 제시한다. 즉, 도메인 변동성, 동일성 술어의 유무, Barcan 공식의 채택 여부 등 논리적 선택지와 무관하게 QST는 어떤 프레임 클래스에도 완전하게 대응되지 않는다.

이러한 결과는 기존의 프레임 완전성이론과 비교했을 때 흥미로운 유사점을 가진다. 예를 들어, 양화 가능성 논리 GL은 명제 수준에서는 프레임 완전하지만, 양화자를 도입하면 프레임 불완전해진다. 논문은 C2와 QST도 동일한 메커니즘—즉, 선택 함수가 명제 전체에 정의될 때 발생하는 강한 완전성(Strong Completeness) 실패—을 공유한다는 점을 강조한다.

마지막으로, 저자들은 이론적·철학적 함의를 논의한다. 스탈내커가 강조한 “조건문은 비언어적 존재인 명제에 작용한다”는 입장은, 현재의 양화 조건문 논리 체계가 이를 충분히 포착하지 못한다는 결론으로 이어진다. 따라서 조건문의 확률론적 해석, 인과적 의사결정 이론 등에서 사용되는 선택 함수 모델을 재검토하거나, 새로운 완전성 기준을 도입해야 할 필요성을 제시한다.