2015年4月25日——26日由黄华新教授担任首席专家的2011年伊春园2023入口直达大象重大项目——《基于逻辑视域的认知研究》于浙江大学紫金港校区举行，这次会议重点是探讨 “自然语言逻辑、认知与计算”。来自中国社会科学院、北京大学、厦门大学等单位的学者和我校相关专业的老师同学共40余人参加会议。
课题负责人、中国逻辑学会副会长、我校哲学系/语言与认知研究中心教授黄华新在会上发言。学者们围绕自然语言信息处理的逻辑语义学研究、日常概念与日常推理的逻辑、非标准认知逻辑以及逻辑与认知的相关问题作了比较深入具体的探讨。中国逻辑学会长、中国社会科学院哲学所研究员邹崇理，中国逻辑学副会长、北京大学哲学系教授周北海，原国家语委语用司研究员冯志伟，厦门大学计算机学院教授周昌乐等20余位老师同学在会上作了报告或点评。
合肥师范学院的李可胜教授作了《逻辑、语言与计算——自然语言的形式表征系统》的报告。他指出自然语言逻辑语义学属于语言学和现代逻辑学以及计算机科学的交叉学科，叁门学科在自然语言研究中之所以能够交汇，其基础在于自然语言的核心体系是一个具有可递归的、可演绎的形式系统。通过这种演绎系统，可以从由规则和初始符号构成的前提集中，推演出特定某种自然语言的表达式和（或）其语义结构。据此自然语言的结构运算（包括句法毗连运算及其对应的语义组合运算）可以纳入逻辑刻画的框架内，从而使得自然语言具有了可计算性。为此目标，既需要从逻辑学方面进行努力，构造出表现力更强的逻辑系统，也需要语言学方面的努力，从逻辑语义的角度解读自然语言的句法语义结构运算。
湖南科技学院的姚从军博士作了《面向信息处理的汉语形容词谓语句的组合范畴语法分析》的报告。他认为组合范畴语法实现了句法和语义的并行推演，它是目前计算机对自然语言进行信息处理的最理想工具。汉语形容词谓语句是汉语的十大典型句型之一，对汉语形容词谓语句的处理是中文信息处理的重要任务之一。汉语形容词谓语句有光杆形容词谓语句和复杂形容词谓语句之分，复杂形容词谓语句更为常见，处理起来也更为困难。使用组合范畴语法CCG 可以处理大多数汉语形容词谓语句，部分汉语形容词谓语句还需借助于CCG 的扩展系统CCG方可处理。
中国社会科学院的贾青博士作了《范畴类型逻辑研究》的报告。范畴类型逻辑是范畴语法中的一个重要分支，其使用逻辑，甚至数学
中的方法处理语言学中的问题或者给出语言学问题形式化解释。范畴类型逻辑发展至今，已经在兰贝克演算的基础上形成了多模态范畴类型逻辑、对称范畴语法和不连续兰贝克演算等多个分支，以及证明网络、Gentzen 演算等多种形式表示方法，因此在介绍这些新近研究成果的基础上，我将就范畴类型逻辑在汉语语言学问题处理中的一些应用，特别是范畴类型逻辑在汉语反身代词回指照应问题上的应用进行简要的说明。
青岛大学的娄强博士作了《情境与计算》的报告。他指出建立在唯实主义基础上的情境语义学反对自然语言的逻辑处理，针对语言效率等自然语言现象情境语义学将语境因素引入语义解释，使用情境理论的技术手段为自然语言提出一个区别于以蒙太格语义学为代表的传统形式语义学的模型论语义框架。情境语义学的数学本体理论及技术使得在情境理论基础上提出一个计算框架成为可能。巴维斯从理论创立始就开始思考情境语义学计算方面的问题，指出蒙太格语法基于整体论在计算上难以控制而基于部分论的情境模型论更适合计算上可解执行。纳卡什麻、布莱克、提恩和阿克曼等情境学者先后提出三个不同情境计算框架：PROSIT，ASTL 和BABY-SIT，其中PROSIT 和ASTL 是基于情境理论的程序语言，执行不同处理任务，而BABY-SIT 是一个基于情境理论结构的一个计算中介或计算环境，在技术上最接近情境理论。
浙江大学的胡龙彪副教授作了《中世纪两种语义学及其现代重建》的报告。他认为以西班牙的彼得为代表的实在论语义学和以布里丹为代表的唯名论语义学代表了中世纪逻辑两种最主要的完整语义学。然而，它们在语义学上的不同主要不在于其本体论基础，而在于建构语义学的不同范式。实在论主张不同的范畴意谓不同的本体论对象，两者之间是一一对应关系。单称词项意谓的是单个事物，而普遍词项意谓的是普遍事物，并且每个本体论对象都是真实存在的实体。而唯名论认为，心灵之外的任何东西在现实中都是单个的存在，现实中除了单个的东西，没有其他事物存在。附属于代表单独概念与普遍概念（概念只是心灵行为，没有实际的存在）的单独词项与普遍词项意谓的对象是相同的，所不同的是意谓的方式不一样。单独词项是单个地意谓
单个事物，而普遍词项则是以普遍的方式意谓单个的事物。后者正是所谓的对普遍概念的副词化处理方式。唯名论语义学的副词化处理策略还包括对内涵词意谓的处理。基于词项意谓的不同，两种语义学的命题意谓或者真值赋值理论也不同。实在论断定或承诺命题有作为一个整体而复合意谓的某种东西，特别是其中复合词项以及内涵词所意谓的某种东西,并把这种东西的实在性作为命题真假的判断标准。而唯名论否定命题有作为整体复合意谓的东西，命题的意谓就是其中单个词项的意谓，但这无法决定命题的真值。唯名论基于副词化的处理策略，引入量词，并在词项量化范围内，根据命题中词项所指代的单个实体之间是否有联合指代而判断一个命题的真假。在这种语义学中，无论主词还是谓词，都既没有普遍词项意谓的普遍实体，也没有命题所意谓的复合实体。唯名论通过这种副词化的语义处理策略，消除了实在论中“过多且不必要”的本体论承诺。这使得我们可以忽略唯名论与实在论两者在本体论上的区别，而强调两者在逻辑语义学领域的部分融合。一般地，唯名论语义学可以通过实在论语义学副词化而得到。对两种语义学合理的现代重建，既可以表明其区别与关联，又可以表明唯名论语义学是如何可以自然逻辑的方式，恰当地表达现代逻辑标准量词理论。NLS(naturallanguage system)就是一种以形式化的方式而合理建立起来的完整唯名论语义学。NLS 最典型地刻画了唯名论的词项意谓规则、命题的联合指代规则，且非常贴近于人们以自然语言为媒介的日常思维；对于建构自然逻辑语义学，具有极强的可操作性，它能够以自然语言的方式，表达现代一阶谓词逻辑最核心的多量词理论；同时，NLS 无须像现代逻辑那样,在对集合做出本体论承诺的基础上去实现谓词的语义功能。NLS 的建立顺应学界倡导用自然的方法去解决自然逻辑问题的热潮，这也是本文的重要意义以及与主要创新点之一。
课题组其他成员金立、徐慈华、杨小龙、赵梦媛、应腾等青年学者也在会上做了交流发言。
（课题组供稿）
