形式语义学以语言的意义为研究对象，是一种基于真值条件与组合性原则的语义学研究方法。本课程通过介绍词项语义的形式化处理、typed lambda-calculus、语义组合的基本规则等，使学生形成形式语义学的基本理论框架，并掌握基础的自然语言转换成逻辑语言的方法。