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