범용 문법을 위한 타입 이론적 접근

초록

본 논문은 보편 문법(UG)의 가설적 내용을 종속·다형성 타입 이론으로 재구성한다. 타입 논리를 통해 자연언어의 형태통사와 의미 구성을 일관되게 표현하고, 다형 타입으로 모호성을, 종속 타입으로 선택 제한과 다양한 지시어 관계를 처리한다.

상세 요약

이 연구는 전통적인 촘스키식 UG가 경험적 비판에 직면해 약화된 상황에서, 형식 논리학의 최신 도구인 종속 타입 이론(Dependent Type Theory, DTT)과 다형성(polymorphic) 타입을 도입함으로써 새로운 형식적 틀을 제시한다. 핵심 아이디어는 자연언어의 구문·의미 구조를 ‘형식적 타입’으로 매핑하고, Curry‑Howard 동형성을 이용해 구문 규칙을 증명 규칙으로, 의미 조합을 프로그램 실행으로 해석한다는 점이다.

첫째, 논문은 ‘형식적 형태통사 타입’(morphosyntactic types)의 부분 보편적 집합을 정의한다. 예를 들어 Noun, Verb, Adj 등 기본 품사와 그들의 변형(복수, 시제, 격 등)을 각각 독립적인 타입으로 선언하고, 이들 사이의 선택적 결합 규칙을 함수 타입(A → B) 형태로 기술한다. 이렇게 하면 언어마다 다른 어형 변화를 동일한 타입 체계 안에서 일관되게 기술할 수 있다.

둘째, 다형성 타입(∀α. T)은 구문적 모호성을 자연스럽게 모델링한다. 예컨대 “bank”와 같은 다의어는 동일한 표면 형태가 서로 다른 의미 타입을 가질 때, 다형 타입 변수 α에 구체적 의미 타입을 대입함으로써 문맥에 따라 올바른 의미를 선택한다. 이는 전통적인 의미론에서 별도의 의미 규칙을 추가로 정의해야 하는 문제를 회피한다.

셋째, 종속 타입(Πx:A. B(x))은 선택 제한(selectional restriction)과 지시어(anaphora) 처리를 담당한다. 동사 ‘eat’는 ‘animate’ 주어와 ‘edible’ 객체를 요구한다는 제약을 Πx:Animate. Πy:Edible. … 형태의 타입으로 명시한다. 지시어의 경우, 선행사와 지시 대상 사이의 변수 결합을 종속 타입으로 표현해, 선행사의 타입 정보가 지시어의 타입을 결정하도록 만든다. 이는 복잡한 공지어 결합, 대명사 일치, 그리고 제2언어 학습자 오류 분석 등에 유용하다.

넷째, 논문은 이론적 프레임워크를 실제 언어 데이터에 적용한 사례를 제시한다. 영어, 한국어, 일본어의 기본 구문 구조를 각각 타입 선언과 증명으로 전환하고, 다형·종속 타입을 이용해 이중 의미, 격 변환, 그리고 대명사 결합을 설명한다. 실험 결과, 동일한 타입 시스템이 서로 다른 언어의 형태통사 규칙을 포괄적으로 기술할 수 있음을 보여준다.

마지막으로, 저자는 이 접근법이 ‘보편 문법’이라는 개념을 형식적·수학적 실체로 전환함으로써, 언어학적 이론과 컴퓨터 과학(특히 형식 검증, 자동 증명, 프로그래밍 언어 설계) 사이의 교량 역할을 할 수 있다고 주장한다. 타입 이론 기반의 UG는 경험적 데이터와의 연계가 용이하고, 형식적 검증이 가능하다는 점에서 기존의 추상적 가설을 넘어 실용적 모델링 도구로서의 가능성을 열어준다.