이 책은 형식문법의 방법론에 따라 현대 한국어 문법의 전 범위를 기술한 것이다.
한국어 형식문법은 형식통사론과 형식의미론의 두 영역을 포함한다. 한국어 형식통사론은 한국어의 모든 구, 문 장을 생성하는 원리와 규칙들의 체계이다. 한국어 형식의미론은 형식통사론에 의해 생성된 구, 문장의 통사구조 를 바탕으로 그
의미 해석을 얻어내는 원리와 규칙들의 체계이다. 이 둘의 연결에 있어서 합성성원리(“한 통사적 구성의 의미는 그 구성성분들의 의미의 함수이고, 그 구성성분들이 통사적으로 결합하는 방식의 함수이다.”)가 준수되어야 한 다. 형식의미론의 체계는 본질적으로 합성성 원리를 구현하는 원리와 규칙들의 체계이다. 한국어의 모든 구문의 의미 해석을 위한, 합성성 원리를 구현하는 원리와 규칙들의 체계를 가설로 제시하고, 이들을 한국어의 모든 대표 적 구문들을 통하여 검증한 것이 이 책의 내용이다.
