『발견을 위한 한국어 의미론』은 여러 형식적 기호를 나열하기보다는, 우리가 사용하는 언어의 의미를 바라보는 형식 의미론의 핵심적인 관점을 제시하고 함께 경험하는 데 중점을 둔다. 이런 맥락에서 국어학을 학술적으로 연구하는 전문가뿐만 아니라 언어 자체에 관심이 있는 이들이라면 누구나 이해할 수 있도록 논의를 진행하고자 한다. 그러기 위하여 형식 의미론의 전문 용어 자체보다는, 그러한 용어가 필요한 이유와 원리에 초점을 맞출 것이다. 그러면 독자들은 전문 용어보다 흥미로운 언어 현상 자체에 주목할 수 있을 것이다. 이를 통해 한국어가 보여주는 여러 의미 현상이 어떻게 체계적으로 설명될 수 있는지 발견하는 즐거움을 함께 누리기 바란다.