일차 논리의 모달성 및 내포성: 최소 강화 의미론

초록

본 논문은 일차 논리(FOL)의 구문에 최소한의 내포적 의미론을 도입한다. Tarski의 외연적 해석, 양화사의 모달 해석, 그리고 PRP(속성·관계·명제) 이론을 통합해 가능한 세계마다 동일한 의미 관계를 정의한다. 이를 통해 모든 모달 술어 논리가 내포적이지 않음을 보이고, Bealer식 내포 추상화 없이도 완전한 내포성을 구현한다. 최종적으로 자유 대수 → 내포 대수 → 새로운 외연 관계 대수(원통형 대수와 구별) 로의 동형 사상 다이어그램을 제시하며, 각 세계에서의 해석이 기존 Tarski 해석과 일치함을 증명한다.

상세 분석

논문은 먼저 전통적인 Frege‑Russell 전통에서 ‘외연’과 ‘내포’가 동시에 존재한다는 전제를 재조명한다. Montague의 가능 세계 의미론을 차용해 아이디어(논리식)의 의미를 각 세계별 외연 집합으로 보는 관점을 유지하면서, 이를 FOL의 양화사에 적용한다. 핵심은 Tarski식 외연 해석을 완전히 포기하지 않고, 양화사를 모달 연산자로 재해석함으로써 ‘가능 세계’라는 메타레벨을 도입하는 것이다. 여기서 PRP 이론이 도입되는데, 이는 논리 언어의 도메인을 ‘특수(개체)’와 ‘보편(개념)’으로 구성된 두 단계 구조로 확장한다. 첫 단계에서는 전통적 개체들만을 다루고, 두 번째 단계에서는 개념(속성·관계·명제)들을 객체화한다. 이러한 두 단계 해석은 Montague식 내포 의미론이 갖는 ‘의미의 과잉 복잡성’—예컨대, 의미 함수가 직접적으로 세계를 매핑해야 하는 문제—를 회피한다.

다음으로 논문은 “모든 모달 술어 논리가 내포적이지 않다”는 명제를 증명한다. 이는 모달 연산자를 도입했더라도, 그 연산자가 단순히 외연을 이동시키는(가능 세계 간 전이) 역할만 수행한다면 여전히 순수 외연 논리로 남는다는 의미이다. 실제로 FOL 양화사를 Kripke식으로 해석하면, 각 세계에서의 해석이 기존 Tarski 모델과 동형이 되므로, 이 경우는 ‘순수 외연 모달 논리’에 해당한다.

Bealer가 제안한 ‘내포 추상화(∧)’를 도입하지 않고도 완전한 내포성을 확보할 수 있음을 보여준다. 대신, 자유 대수(문법 구조) → 내포 대수(개념 구조) → 새로운 외연 관계 대수(관계 연산자를 포함한 대수) 로의 연속적인 동형 사상(동형 사상 다이어그램)을 구성한다. 이 다이어그램은 각 세계마다 커뮤터가 성립함을 보이며, 최종 단계의 외연 관계 대수는 전통적인 Cylindric algebra과는 다른 연산 체계를 갖는다. 결과적으로, 이 새로운 외연 대수 위에서의 해석은 각 세계에서 Tarski의 표준 해석과 정확히 일치한다는 점을 증명한다.

논문의 의의는 세 가지다. 첫째, FOL에 최소한의 내포적 구조를 부여하면서도 기존 외연적 강점을 유지한다. 둘째, 모달 양화사의 해석을 통해 ‘내포적 모달 논리’와 ‘순수 외연 모달 논리’를 명확히 구분한다. 셋째, PRP 기반 두 단계 해석과 동형 사상 다이어그램을 통해 내포와 외연 사이의 구조적 연결고리를 명시적으로 제시함으로써, 향후 논리학·형식 의미론·지식 표현 분야에서의 통합적 연구 기반을 제공한다.