강도 의미론을 위한 벡터 논리와 연속 지표 통합

초록

이 논문은 전통적인 크리프키식 강도 모델을 고차원 벡터 공간에 삽입할 수 있음을 보이고, 의미 함수들을 (다중)선형 사상으로 승격시켜 구성을 보존한다. 다중 인덱스(세계·시간·위치)를 복합 인덱스 공간으로 묶고, 접근 관계를 선형 연산자로 표현한다. 연속 인덱스 영역에서는 측도론적 일반화를 통해 ‘모든’을 거의 어디서나, ‘존재’를 양의 측도 집합으로 해석한다.

상세 분석

논문은 먼저 형식 의미론과 분포 의미론 사이의 구조적 차이를 명확히 구분하고, 두 체계가 서로 배타적이지 않다는 가설을 제시한다. 기존의 Extensional Homomorphism 정리(정리 4.1, 4.2)를 기반으로, 저자는 강도 의미론에 필요한 인덱스 정렬(가능 세계, 시간, 위치 등)을 도입하고 이를 복합 인덱스 공간 S = ∏₍σ∈Σ₎ D_σ 로 정의한다. 각 타입 τ에 대해 도메인 D_τ를 벡터 공간 S_{D_τ}에 주입함수 h_τ를 통해 삽입하고, 의미 함수 f:D_A→D_B는 h_f(v)=h_B∘f∘h_A^{-1}(v) 로 정의된 선형(또는 다중선형) 사상으로 승격된다. 이때 h_τ는 기저 벡터를 서로 일대일 대응시키므로 주입성을 유지한다. 특히, 진리값 타입 t는 R²의 정규 기저 벡터(1,0), (0,1) 로 매핑되어 전통적인 벡터 논리와 일치한다. 논리 연산자는 해당 행렬로 구현되며, 부정은