2013年9月28日，中国社科院哲学所邹崇理研究员主持了国家社科基金重大招标课题：“自然语言信息处理的逻辑语义研究”报告会。与会人员有：哲学所杜国平研究员和刘新文研究员，清华大学信息技术研究院周强研究员，首都师范大学哲学系夏年喜教授，合肥师范学院李可胜教授，北京交通大学讲师宋诗畅博士，北京科技大学讲师满海霞博士，哲学所博士后娄永强、姚从军和贾青，自然资源保护协会周晓竺，中央民族大学博士生杨菁，南开大学博士生孙雯，中国人民大学博士生陈晶晶，哲学所博士生傅光全、石运宝、崔佳悦、温雪，哲学所硕士生赵曼、祝瑞等。会议报告的题目有：从形式到认知：连动式的句法语义交界面研究；信息流逻辑研究；组合范畴语法与汉语照应现象的处理；对称范畴演算；连续逻辑与概率论；汉语CCG词库的自助构建研究；命题逻辑排斥演算系统等；会议对逻辑、语言和计算的跨学科研究领域的特点问题进行了研讨，对今后的研究前景提出了展望。
语言逻辑方面，李可胜教授对汉语连动式机制的句法和语义的交界界面进行了分析，根据动词之间时间上的关系将汉语连动句式分为了三类，并根据有界性和体的关系对这三类连动式进行了进一步分析，指出句子中的动词如果具有无界性并且不对其进行显性标记则称为未完整体，反之则是完整体，而这两种体在汉语连动句的具体分析中分别为泛时式和限时式。这些结论是李可胜教授多年来对连动句进行不断的探索和研究的结果。
娄永强博士后针对信息流和发展趋势进行了研究，指出语义信息，是以信息内容为基础的质化研究，今年来在信息和信息流研究方面呈现出量化研究与质化研究相结合的态势。而后又针对情境理论，针对语言语义的问题对信息流进行了解释。指出认知主体可以进行信息流推理。最后娄永强博士后将认知逻辑与情境理论相结合，指出信息流研究以后的发展趋势。
贾青博士后对国际逻辑语言学研究的前沿“对称范畴语法”进行了梳理和介绍。除了对“对称范畴语法”的背景知识和非结合的兰贝克演算。对NL和LG的四种表示方法进行了对比。提出“对称范畴语法”比原本的范畴类型逻辑以及多模态的范畴类型逻辑等范畴语法相比，拥有更强的生成能力。但在表达力问题，复杂性问题和语义问题上尚需进行进一步的研究。
姚从军博士后在范畴语法框架下对汉语照应现象进行了分析，认为如何处理好照应回指现象，一直是范畴语法所关注的重点和难点。他分别对汉语反身代词“自己”的跨句回指现象，汉语空代词的处理，汉语谓词缺失现象，“是”字结构与代词的相互作用方面提出具体的解决方案，并对范畴类型语法在处理动词的局限性进行了思考，使用涉及到照应的一些推理规则对CCG进行扩展，得到包含照应算子的组合范畴语法CCG。
数学方面，宋诗畅博士首先对连续逻辑的历史进行了概括，对经典逻辑和连续逻辑进行对比，定义了连续逻辑的语言L，包括L的符号、项、原子公式、类，结构，条件等。随后根据具体例子对概率代数的语言、公理，无原子的概率代数，Maharam定理，随机变量空间结构等进行介绍。连续逻辑从经典逻辑出发，保存了良好的性质，并进行了扩充，在模型论上意义巨大。
计算机科学方面，周强研究员针对CCG词库中的谓词论元，Levin词库进行分析，提出了能否融合现有资源构建类似的词库？如何为真实文本汉语句子的谓语论元关系分析和隐含角色发现提供有力支撑？，在知网，北大语法信息词库，真实文本事件句式分析库的支持下，致力于构建完整的汉语谓词CCG词库，并确定了其他谓词的CCG范畴标记。最后，周研究员对CCG词库提出了进一步的展望和可能改进的方向。
逻辑学方面，杜国平研究员总结发言。在卢卡希维茨工作的基础上，对他的工作进行了适当的改造，构造了排斥所有非有效式的演算系统——命题逻辑排斥演算系统，并对其中的演算过程进行比较充分的展开和讨论，随后，在给出严格语义的基础上，进一步证明该系统的的可靠性和完全性。并提出了以下问题：各种谬误的逻辑起点在哪里？如果有逻辑起点，那么为什么是它（它们）？各种谬误之间的逻辑结构是什么？并对该演算系统定义了相应的公理和规则。
满海霞博士结合自己在国外的学习经历对比了国内外语言学的发展趋势，指出美国的语用学的发展已经取得了巨大成就，并介绍了非断定句和条件句研究在国外的最新发展。
最后，在逻辑语义学理论及其汉语应用方面，邹崇理研究员就国家社科基金重大课题今后的研究，对逻辑语义及其在计算机，数学方面融合的前景提出一些指导性的意见和具体做法。并语重心长的告诫，科研是一个漫长的过程，对一个专题进行坚持不懈的持续研究才能有所建树。本次会议体现了该课题的跨学科特点，逻辑学、语言学、计算机人工智能科学和数学等相关领域的报告为相关科研人员提供了交流讨论的广阔发展平台。大家就逻辑学今后的发展和逻辑学与其他相关科学融合的问题进行了讨论，会议现场气氛热烈。
