内容简介：语言逻辑是使用逻辑学方法研究自然语言的一类逻辑的统称，包括蒙太古语法、DRT、范畴类型逻辑以及组合范畴语法等。这里，我所要介绍的就是语言逻辑中的范畴类型逻辑及其在语言分析中的应用。其中在对范畴类型逻辑的介绍中主要涉及到的问题有Curry-Howard 对应、四类不同类型逻辑系（公理系统、树模式系统、自然推演系统和根岑式序列系统）的构建以及各自的性质等；而对于第二个问题，我将以G. J?ger所构建的系统LLC为例，说明范畴类型逻辑是如何解决语言学中的具体问题的。

主讲人简介：贾青，中国人民大学哲学博士，师从陈慕泽教授从事哲学逻辑（主要是STIT逻辑）方面的研究，目前为中国社会科学院哲学所逻辑研究室博士后，导师为邹崇理研究员，研究方向为语言逻辑。