내포적 1차 논리와 두 단계 의미론

초록

본 논문은 Bealer의 내포 추상 연산자를 도입해 1차 논리(FOL)를 확장하고, 구문 자유대수 → 내포 대수 → 새로운 외연 관계대수의 두 단계 의미론적 사상을 제시한다. 이를 통해 가능한 세계마다의 외연화를 정의하고, 전통적 Montague 의미론이 동등한 외연을 갖는 개념을 구분하지 못하는 문제를 해결한다.

상세 분석

이 논문은 먼저 전통적 Frege‑Russell의 ‘의미는 확장과 내포를 동시에 가진다’는 관점을 재조명한다. 기존 1차 논리에서는 모든 식이 직접적인 외연(진리값 혹은 관계)만을 갖지만, Bealer가 제안한 ⟪ φ ⟫ 연산자를 도입하면 논리식 φ를 하나의 내포적 용어(concept)로 변환할 수 있다. 저자는 이러한 용어를 n‑ary 개념 Dⁿ( n≥0 )에 배치하고, 구체적 객체를 포함하는 D⁻¹을 별도로 두어 내포와 외연을 명확히 구분한다.

내포 해석 I: Ł → D는 자유 구문대수(Ł)에서 각 식을 해당 내포적 개체로 매핑한다. 예를 들어, 자유 변수 목록 (x₁,…,xₖ)를 가진 가상 술어 φ(x₁,…,xₖ)는 I(φ) ∈ Dᵏ 로 해석된다. 이때 ⟪ φ ⟫βᵅ와 같은 복합 용어는 β에 포함된 자유 변수를 구체적 값으로 치환한 뒤, 남은 자유 변수 α에 대한 개념으로서 Dᵏ에 귀속된다.

외연화 함수 h는 각 내포 개체를 가능 세계 w에 따라 실제 외연으로 전환한다. h는 D⁰에 대해 {f,t} (거짓·참) 값을, D¹ 이상에 대해서는 해당 차수의 카르테시안 곱의 부분집합을 반환한다. 중요한 제약(T)은 “h(I(φ/g)) = t ⇔ (g(x₁),…,g(xₖ)) ∈ h(I(φ))” 로, 이는 전통적 Tarski 의미론과 완전 일치함을 보장한다.

두 단계 의미론은 (1) 내포 해석 I를 통해 **의미(내포)**를 정의하고, (2) 가능한 세계 집합 W와 전단사 is: W ↔ E (E는 외연화 함수들의 집합)를 이용해 각 세계마다의 외연을 구한다는 구조다. 따라서 Montague 의미론이 “가능 세계마다의 외연을 함수화”하는 단일 단계와 달리, 여기서는 내포와 외연을 명시적으로 분리함으로써 “bought”와 “sold”처럼 모든 세계에서 동일한 외연을 갖더라도 서로 다른 내포 개념으로 유지할 수 있다.

또한 논문은 기존 Cylindric Algebra와는 다른 새로운 외연 관계대수를 정의한다. 이 대수는 관계의 자연 조인, 투사, 선택 등을 연산자로 갖으며, 구문 자유대수 → 내포 대수 → 외연 관계대수 사이에 커뮤터티브 호모모픽 다이어그램을 제시한다. 즉, 구문 수준에서의 동형 사상이 각 단계에서 보존되어 최종적으로 Tarski 해석과 동형인 외연 구조를 얻는다.

기술적 기여는 다음과 같다.

1. ⟪ · ⟫ 연산자를 통한 내포적 용어화와 그 형식적 정의.
2. 내포 도메인 D를 확장(특수 객체, 명제, n‑ary 개념)하여 외연화 함수 h를 체계화.
3. 두 단계 의미론을 통해 Montague 의미론의 동형성 문제를 해결하고, 동일 외연을 갖는 개념을 구분 가능하게 함.
4. 새로운 외연 관계대수를 도입하고, 구문‑내포‑외연 사이의 호모모픽 구조를 증명.

하지만 몇 가지 한계도 존재한다. 내포 도메인 D의 구성과 h의 정의가 실제 구현에 있어 복잡성을 크게 증가시키며, 특히 무한 도메인에서의 결정 가능성 및 계산 효율성에 대한 논의가 부족하다. 또한, 가능한 세계 집합 W를 어떻게 구체적으로 모델링할지에 대한 실용적 가이드라인이 제시되지 않아, 자연어 의미론이나 데이터베이스 응용에 바로 적용하기는 어려울 수 있다.