“爱智讲坛”系列讲座、社科论坛第一二七讲

问题：逻辑、语言和盘算

主讲人：邹崇理

主讲人简介：
        邹崇理，，，中国社会科学院哲学所研究员、博士生导师、逻辑研究室主任，，，逻辑学科立异工程首席研究员，，，哲学所学术委员会委员。。。。。现任天下逻辑学会会长，，，国家社科基金重大招标项目“自然语言信息处置惩罚的逻辑语义学研究”的首席专家（10&ZD073）。。。。。

时间：2014年12月26日（周五） 下昼2:00

所在：校本部B401室

内容提要：
        信息时代的焦点手艺是盘算机信息处置惩罚，，，特殊是关于自然语言的信息处置惩罚，，，自然语言信息处置惩罚的条件是对自然语言举行形式化剖析。。。。。多分法是剖析语言形成历程的一种要领，，，是相对两分法而言的。。。。。多分法对领域类型逻辑爆发的影响有：引入左积和右积的看法，，，确立函子领域的论元并列爆发的推演规则和描绘函子领域论元增添的定理，，，以及框架语义诠释中可及关系的多元化等。。。。。其中函子领域论元增添的定理给广义量词理论中的差别类型量词的“亲缘”关系提供了领域运算的依据。。。。。