परिचय
『통사론과 의미론』은 저자들이 약 3년간 언어 이론의 수학적 기초를 수립하기 위한 연구 프로그램을 통해 나온 결과물로, 자연 언어 현상을 모형화하고 수학적 구조와 논리적 형식주의를 도입하여 언어 이론의 형식화를 시도한 것이다. 이 책에서 제시하는 문법 이론은 범주 문법, 어휘기능문법, 일반 구 구조 문법 등과 같은 현대 문법 이론의 통찰력과 관점을 종합하였다. 다른 한편으로는 상황 의미론과 담화 표현 이론과 같은 의미 이론을 참조하였다.