철학에서 정의가능성과 보간정리

초록

본 논문은 1950년대 이후 철학 분야에서 크레이그 보간정리와 베스 정의가능성 정리가 어떻게 활용되어 왔는지를 역사적으로 조망하고, ‘의존성’이라는 개념을 중심 실마리로 삼아 논리 체계 간 번역과 일반화된 정의가능성에 관한 새로운 기술적 결과들을 제시한다.

상세 분석

이 논문은 철학적 논의 속에 숨어 있는 두 핵심 메타논리 정리, 즉 크레이그 보간정리와 베스 정의가능성 정리를 일관된 흐름으로 연결한다는 점에서 학술적 의의가 크다. 먼저 저자는 베스 정의가능성 정리를 “암묵적 정의가능성 ≡ 명시적 정의가능성”이라는 형태로 재정리하고, 이를 모델 이론적 관점에서 ‘L‑동형사상은 P‑동형사상으로 승격된다’는 등가조건으로 표현한다. 이와 동시에 잠재적 동형(isomorphism) 개념을 도입해 약화된 구조 불변성을 논의함으로써, 전통적인 베스 정리의 적용 범위를 확장한다.

크레이그 보간정리 부분에서는 전통적 형태(공유 어휘 Q만을 이용한 중간 공식 α 존재)를 제시하고, 이를 통해 베스 정리가 파생됨을 간단히 증명한다. 그러나 저자는 보간정리가 베스 정리보다 강력함을 강조하며, 가드드 프래그먼트와 같은 제한된 논리 체계에서는 보간정리는 성립하지만 베스 정리는 성립하지 않을 수 있음을 예시로 든다. 이는 두 정리 사이의 미묘한 위계 관계를 명확히 보여준다.

논리 체계의 정의에 대한 논의에서는 ‘논리 체계란 문장·구조·진리 관계를 갖는 쌍’이라고 규정하고, 두 체계 간의 상호 신뢰성 있는 번역(문법적 변환 τ와 의미적 변환 T)을 통해 보간정리가 유지되는 조건을 제시한다. 특히, 번역이 보간정리를 보존하려면 ‘문장·어휘·발생’이라는 기본 메타구조를 보존해야 함을 강조한다. 이는 추상 모델 이론과 상황 이론, 그리고 Chu 공간과 같은 범주론적 틀과 연결돼, 논리 체계 간 동일성(identicality)을 형식화하는 새로운 기준을 제시한다.

또한 저자는 번역을 ‘일반화된 정의가능성’으로 해석한다. 즉, 한 논리 체계 L₁의 기본 개념을 다른 체계 L₂의 공식으로 명시적으로 정의하는 것이 가능하도록 하는 변환 τ가 존재한다면, 이는 베스 정리의 확장형이라 할 수 있다. 이를 위해 저자는 두 모델 사이의 변환 T가 객체와 구조를 전사(surjective)하게 매핑하는 조건을 설정하고, 이를 통해 암묵적 정의를 명시적 정의로 전환하는 ‘프로젝티브 베스 정리’를 도출한다.

마지막으로, 베스·크레이그 정리가 철학적 논의(초월성, 결정론, 질문, 의존성, 정보·일반화된 추론, 과학 이론의 구조, 믿음의 모듈러리티 등)와 어떻게 연결되는지를 구체적인 사례와 함께 서술한다. 특히, 베스 정리가 초월성 논의에서 ‘어떤 속성은 기본 어휘만으로도 결정된다’는 점을, 크레이그 정리가 과학 이론의 모듈러 구조와 어휘 선택의 중요성을 설명하는 데 활용된다. 마지막으로 볼차노의 19세기 작업을 재조명함으로써, 현대 논리·철학 인터페이스의 역사적 뿌리를 제시한다. 전체적으로 논문은 형식 논리학과 철학 사이의 교차점을 체계적으로 정리하고, 새로운 번역·정의 프레임워크를 제시함으로써 향후 연구의 방향을 제시한다.