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

近年来，中国在逻辑学，特别是形式逻辑学方向的研究水平突飞猛进，在一些领域已经达到了国际先进水平。每年举办的全国现代逻辑研讨会，不仅体现了我国在现代逻辑领域的最新前沿研究，也增进了国内各个研究机构、学者间的相互交流，从而推动我国现代逻辑水平的进一步发展。

2017年全国现代逻辑研讨会于2017年10月20–22日在浙江大学举办。会议中共有20篇未发表论文做会议报告。会后，根据论文审稿意见和会议报告情况，我们从这20篇论文中选择了6篇论文，邀请其作者将修改版发表至《逻辑学研究》。本期专栏收录其中的三篇论文。

来自北京大学周北海、王强和郑植的论文《亚里士多德划分格与亚里士多德逻辑》通过介绍柏拉图二分法到亚里士多德正负二分法的演化过程，提出亚里士多德划分格的概念，以此建立了解释亚里士多德逻辑的形式理论。论文中为亚里士多德逻辑体系提出了一个形式化的公理系统AS，并给出了它的完整的语法和语义，最后证明了AS的可靠性和完全性。论文还从相关的哲学背景及立场出发，对亚里士多德逻辑进行新的考察和辩护。

来自浙江大学应腾和黄华新的论文《可废止逻辑结构化论辩系统的研究》从可废止逻辑出发构造了一个新的结构化论辩系统（DLA），为结构化论辩研究提供了新思路。论文以可废止逻辑和现有结构化论辩系统理论为基础，完整且严格地定义了一种新的结构化论辩系统DLA，为结构化论辩研究提供了新的参考和思路。

来自中国科学院大学范杰的论文《Neighborhood contingency logic:A new perspective》使用经典邻域解释来刻画偶然性逻辑，给出了一个刻画偶然性的邻域语义，并讨论了它的一系列数学性质，如互模拟概念、Hennessy-Milner定理等。论文不仅提供了一种构造偶然性逻辑的新思路，也有助于进一步理解邻域语义学的模型论性质。