题目：逻辑、语言和计算
主讲人：邹崇理
主讲人简介：邹崇理，中国社会科学院哲学所研究员、博士生导师、逻辑研究室主任，逻辑学科创新工程首席研究员，哲学所学术委员会委员。现任全国逻辑学会会长，国家社科基金重大招标项目"自然语言信息处理的逻辑语义学研究"的首席专家（10&ZD073）。
时间：2014年12月26日（周五） 下午2:00
地点：校本部B401室
内容提要：信息时代的核心技术是计算机信息处理，特别是关于自然语言的信息处理，自然语言信息处理的前提是对自然语言进行形式化分析。多分法是分析语言形成过程的一种方法，是相对两分法而言的。多分法对范畴类型逻辑产生的影响有：引入左积和右积的概念，确立函子范畴的论元并列产生的推演规则和刻画函子范畴论元增添的定理，以及框架语义解释中可及关系的多元化等。其中函子范畴论元增添的定理给广义量词理论中的不同类型量词的"亲缘"关系提供了范畴运算的依据。