추론의 기초

초록

본 논문은 유한 논리 명제들의 격자 구조를 양자화하는 새로운 원리를 제시한다. 부정, 연속성, 미분가능성 같은 전통적 가정을 배제하고, 격자 대칭성만을 기반으로 확률, 엔트로피, 정보량을 유도한다. 각 대칭은 양자화 공리와 일대일 대응하며, 이 공리들로부터 기존 콜모고로프와 콕스 접근법을 포괄하고 확장하는 확률 계산법을 도출한다.

상세 요약

논문은 먼저 유한 명제 집합을 부분 순서 집합, 즉 격자(Lattice)로 모델링한다. 격자의 두 기본 연산인 합(join)과 교(intersection)는 각각 논리적 ‘또는’와 ‘그리고’에 대응한다. 저자는 이 격자에 수량을 부여하는 함수를 정의하면서, 최소한의 대칭성—즉, 합과 교에 대한 교환법칙, 결합법칙, 분배법칙—만을 요구한다. 이러한 대칭은 각각 양자화 공리(Axiom of Quantification)로 전환되며, 공리들은 다음과 같이 요약된다. 첫째, 비음수성: 모든 명제에 할당된 값은 0 이상이다. 둘째, 단위 원소(전체 명제)의 값은 1로 정한다. 셋째, 합 연산에 대한 가법성: 서로 배타적인 두 명제 A, B에 대해 Q(A∨B)=Q(A)+Q(B). 넷째, 교와 합 사이의 관계를 보존하는 분배성 공리이다. 이 네 가지 공리를 통해 저자는 전통적인 확률 공리계와 동등함을 보이며, 동시에 콕스의 합리적 신념 체계에서 요구되는 일관성 조건을 만족한다는 점을 증명한다. 특히, 부정 연산을 명시적으로 사용하지 않음에도 불구하고, Q(¬A)=1−Q(A)라는 관계가 공리들로부터 유도됨을 보여준다. 이는 부정이 격자 구조 내에서 파생 가능한 연산임을 의미한다. 이어서 저자는 엔트로피와 정보량을 정의하기 위해 상대 엔트로피(다이버전스)의 형태를 탐구한다. 대칭성에 기반한 함수 형태의 유일성 정리를 이용해, Kullback‑Leibler 다이버전스와 동일한 형태의 함수가 유일하게 도출됨을 보인다. 이 과정에서 연속성이나 미분가능성 가정이 전혀 필요 없으며, 오직 격자 대칭과 공리만으로 정보 이론의 핵심량을 정의할 수 있음을 강조한다. 마지막으로, 이러한 접근법이 측도 이론과도 자연스럽게 연결될 수 있음을 제시한다. 측도 공간의 σ‑대수는 격자 구조와 동형이며, 따라서 본 논문의 양자화 원리는 확률 측도와 동일한 수학적 토대를 제공한다. 전체적으로 이 논문은 확률과 정보 이론을 논리 격자의 대칭성에 기반한 최소 공리 체계로 재구성함으로써, 기존 이론들의 가정을 크게 완화하고 통합적인 틀을 제공한다는 점에서 혁신적이다.