모달 디 피니티 정리: S4와 S5에서의 교환 가능성

이 논문은 “모달 교환 가능성”이라는 새로운 대칭 원칙을 도입하여, Kripke 프레임 위에서 정의된 확률 측도가 어떤 형태를 가져야 하는지를 규명한다. 먼저, 모달 프레임 ⟨W,R⟩을 정의하고, 자동사상군 Aut⟨W,R⟩와 기준 세계 w₀의 안정자 G=Stab(w₀)를 소개한다. 모달 교환 가능성은 확률 측도 P가 G‑불변임을 의미하며, 이는 w₀가 관찰하는 관점에서 구조적으로 동일한 세계들을 구별할 근거가 없다는 철학적 직관을 수학적으로 구현한다(정의 2.9). 논문은 두 종류의 프레임, 즉 S5와 S4에 대해 각각의 표현 정리를 제시한다. S5 프레임에서는 접근성 관계 R이 동치관계이므로, w₀의 접근 가능한 클러스터 Rcl(w₀)는 w₀와 동치인 모든 세계의 집합이다. 이 경우 G는 전이적으로 작용해 단일 궤도만 존재한다. 추가로 (Ext)라 불리는 유한 지원 확장 속성을 가정하면, G는 충분히 풍부한 자동사상들을 포함한다. 이러한 조건 하에서 모달 교환 가능성은 고전적인 교환 가능성(모든 순열에 대한 불변성)과 동등해지며, de Finetti의 고전 정리와 일치한다. 구체적으로, 존재하는 측도 μ가 {0,1}^L 위의 확률법칙 Λ에 대한 혼합을 제공하고, 조건부로 {V(w)}_{w∈Rcl(w₀)}는 i.i.d.가 된다(정리 3.1). S4 프레임에서는 R이 전이반사(preorder)이며, 접근 가능한 클러스터는 위로 닫힌 집합이 된다. 여기서는 G가 전체를 전이적으로 움직이지 못하고, 여러 궤도 O₁,O₂,… 로 분할된다. 각 궤도마다 (Ext) 속성이 성립하면, 궤도 내부에서는 고전적인 교환 가능성 조건이 유지되므로, 각 궤도마다 독립적인 directing measure Λ_O가 존재한다. 이때 중요한 개념이 ‘강직성(rigidity)’이다. Λ_O는 G‑불변 σ‑필드 F_G에 대해 측정 가능하므로, 같은 궤도 내의 어느 세계를 기준으로 하든 같은 Λ_O 값을 갖는다. 이는 대칭성으로부터 강제되는 제약이며, 추가적인 가정이 아니라 정리 자체에서 도출된다(정리 3.2, 항목 3). 따라서 각 궤도는 자체적인 “지역 법칙”을 가지고, 궤도 간 의존성은 별도의 잠재 변수 Ξ에 의해 매개될 수 있다. 즉, 크로스‑궤도 구조는 Ξ의 공동 분포에 의해 자유롭게 결정될 수 있다. 논문은 (Ext) 속성이 성립하지 않을 경우에도 정리를 부분적으로 유지한다. 이때는 궤도 내부에서 완전한 i.i.d.가 보장되지 않으며, 동일한 주변분포만이 유지된다. 이는 프레임이 더 복잡한 구조(예: 밀집 선형 순서, 추가 관계 등)를 가질 때 발생한다. 이러한 경우에도 모달 교환 가능성은 여전히 G‑불변성을 강제하지만, 조건부 독립성은 약화된다. 기술적인 측면에서, 모든 증명은 ZF+DC(의존 선택 원리)만을 사용해 구성적으로 진행된다. 이는 전통적인 ZFC 기반 증명보다 실제 알고리즘 구현에 유리함을 의미한다. 또한, 재귀적으로 제시된 프레임에 대해 계산 가능한 표현을 제공한다는 점에서 실용적이다. 논문은 또한 강직성을 Kripke의 ‘강직 설계자(rigid designator)’와 연결시켜, 하이퍼인텐션적 의미론과 에이전트의 인식 구조에 새로운 해석적 통찰을 제공한다. 즉, 에이전트가 구조적으로 구별되지 않는 세계에 대해 서로 다른 잠재 파라미터를 부여할 수 없다는 점은 학습과 신념 업데이트에 강력한 제약을 가한다. 마지막으로, 이 연구는 모달 논리와 확률 이론 사이의 교차점을 밝히며, S4와 S5 구분이 확률적 표현에 미치는 영향을 명확히 제시한다. S5에서는 전통적인 단일 directing measure 로 모든 세계가 동질적으로 다루어지지만, S4에서는 궤도별로 분리된 다중 directing measure 와 강직성 제약이 나타난다. 이러한 결과는 에이전트가 부분 정보(partial information) 하에서 합리적으로 학습하고 신념을 형성하는 방식을 이론적으로 뒷받침한다.