2017年全国现代逻辑学术研讨会专栏（上）：编者导语

2017年10月20至22日在浙江大学举行了本年度全国现代逻辑学术研讨会。此次大会由中国逻辑学会现代逻辑专业委员会、浙江大学哲学系和浙江大学语言与认知研究中心共同主办。会议以“现代逻辑前沿问题”为主题，涵盖哲学逻辑、数理逻辑、逻辑哲学、逻辑学在语言学、计算机科学和社会科学中的应用等研究领域，旨在增进国内各领域逻辑学研究人员的交流、提高研究者的学术水平，共同营造一个健康的学术氛围。

会议在7月31日截稿时共收到52篇投稿，包括39篇未发表论文、6篇已发表论文和7篇学生作者摘要。经过严格的双盲审稿程序，基于121份独立审稿意见，会议共遴选出20篇未发表论文、3篇已发表论文和4篇学生摘要作会议报告。这里再次对36位评审专家（含31名程序委员和5位外审专家）的努力表示感谢！

会议于10月21日上午在杭州梅家坞正式开幕，浙江大学黄华新代表东道主致辞欢迎来自全国各地高等院校和科研院所的100位与会者。26位专家学者和学生报告了自己的论文。会议特邀复旦大学陈翌佳、厦门大学朱菁和浙江大学廖备水做大会报告。相关信息详见会议网站（http://www.xixilogic.org/events/ncml）。大会于22日中午闭幕，由中国社会科学院刘新文主持和总结。

此外，作为近几届会议的常设环节，部分与会代表参加了20日举行的会前教学活动。北京大学王彦晶在下午抱恙作了题为“一个‘老改犯’的自白：学术论文的写作及修改”的讲座，并于晚间主持了题为“Permanent Head Damage：读PhD的经验与教训”的关于研究生学业规划的座谈会。

近年来，随着投稿数和参会人数的逐年增长，全国现代逻辑学术研讨会收录论文总体上呈现出主题更加丰富、视角更为多样、研究工作愈发细致以及质量逐渐上升的态势。会议主办方秉持高层次的学术态度和标准，依据审稿意见和会议报告情况，从此次会议收录的20篇未发表的论文中，择优选择数篇，邀请其作者提交修改版，发表至本刊。本期专栏收录其中大致隶属于三个不同主题的三篇论文。

结构化论辩系统通常包含用于表达论辩中的信息和观点的逻辑语言、通过该语言定义的论辩内部结构（例如前提和结论间的逻辑后承关系）、基于论辩内部结构定义的论辩间结构（例如“攻击”关系）以及最终哪些论辩可以“击败”余者的计算方法或标准。余喆、徐康和廖备水的论文《Structured Argumentation:Restricted Rebut vs.Unrestricted Rebut》对比和分析了基于受限反驳和非受限反驳所构造的结构化论辩系统的理论和应用差异。

许涤非在论文《On What There Is》中指出蒯因的本体论承诺观点在逻辑理论中存在反例，考察和对比了Kit Fine对蒯因学说的批判，并从弗雷格的角度就此问题提出自己的见解。

兰贝克演算是一套基于语法推演的范畴语法，常用于自然语言处理的理论研究。在论文《带否定算子的兰贝克演算研究》中，作者林哲与梁飞证明带德摩根否定的兰贝克演算是可判定的。

此次会议的其余几篇受邀论文将于下期奉上。我们希望通过这种方式加强学界的良性互动，提升国内逻辑学研究水平，并将最好的研究成果呈现给读者。