대다수 의미를 담은 제네릭 명사구의 형식론적 분석

초록

이 논문은 “most of” 일반화 양화사를 표현하는 제네릭 명사구를 ‘specimen’이라는 연산자로 모델링한다. 시스템 F 기반의 두 단계 λ-계산을 이용해 의미를 논리식으로 전환하고, 의미와 실용적 해석을 타입과 프래그마틱 컨텍스트에 분리한다. 예제로는 “any dog may bite”, “The Brits love France”, 그리고 연령·성별에 따라 달라지는 “Carlotta is tall”을 분석한다.

상세 분석

논문은 전통적인 프레게식 단일 비타입 논리에서 벗어나, 타입 이론을 활용해 ‘most of’ 양화자를 형식화한다. 핵심 아이디어는 각 속성 A에 대해 그 대부분이 공유하는 대표 원소를 ∡ x·A 로 표기하는 ‘specimen’ 연산자를 도입하는 것이다. 이는 힐베르트의 τ 연산자와 유사하지만, 존재론적 존재를 가정하지 않고 ‘대다수’라는 측정적 의미만을 보존한다. 시스템 F(제2차 λ-계산)를 선택한 이유는 다형성(Π‑형)과 타입 변수 양화를 자연스럽게 지원해, 같은 어휘가 상황에 따라 여러 타입으로 변환될 수 있게 하기 위함이다. 기본 타입은 e, t 등 전통적인 의미론적 타입과, 인간·동물·연령대 등 도메인‑특화 타입을 포함한다. ∀와 ∡는 각각 전량 양화와 ‘most of’ 제네릭을 나타내는 상수로 선언되며, ∡{T}는 타입 T의 대표 원소를 의미한다. 의미 구성은 전통적인 Montague식 λ‑항 적용에 추가로, 필요에 따라 선택적 λ‑항을 삽입해 타입을 변환한다. 예를 들어 ‘tall’은 Π α.α→t 로 정의되어, 어떤 타입 α에 대해 그 타입의 specimen보다 키가 크다는 조건을 부여한다. 따라서 ‘Carlotta is tall’은 ‘2‑year‑girl’ 타입의 specimen과 비교해 참이 될 수도, ‘human’ 타입과 비교해 거짓이 될 수도 있다. 이와 같이 의미‑프래그마틱 경계를 명확히 구분한다: 의미는 λ‑계산식 자체에, 프래그마틱은 어떤 타입 변환을 선택하느냐에 따라 결정된다. 논문은 또한 ‘most of’가 단순히 카디널리티가 아닌 측정(예: 확률·비율) 개념임을 강조하고, 기존의 ε‑선택 함수와 차별화한다. 형식적 성질로는 specimen이 존재 모순을 일으키지 않으며, ‘most of’가 적용될 수 없는 소수 집합에 대해서는 거짓으로 판정한다. 전체적으로 논문은 형식 의미론과 타입 기반 프래그마틱을 통합한 새로운 프레임워크를 제시한다.