我院哲学系刘小龙副教授与中山大学陈伟伟副教授、法国图卢兹第一大学 Sylvie Doutre老师合作的论文《Argumentation semantics based on solid admissibility and preservation of semantic properties》发表在国际知名逻辑学期刊《Journal of Logic and Computation》（JLC） 第36卷第2期，并被SCIE数据库正式收录。

文章简介：本文提出了一类基于“坚实可相容性”（solid admissibility）的形式论辩语义。该语义通过强化形式论辩框架中的经典可相容性而所获得，即在经典可相容性的基础上进一步要求，一个论证若要被成功辩护，必须拥有其所有的防御者。与经典论辩语义相比，新的语义在处理具有争议论证的场景时提供了更好的方法。具体而言，若三个论证中，第一个对第三个构成间接攻击，而第二个对第三个构成间接防御，则这三个论证不能同时被包含在同一个可接受的论证集中。此外，一个既被间接攻击同时还被间接防御的论证不能成为可接受的论证集中的元素。并且，我们将新语义应用于判断聚合领域，相较于经典论辩语义得到了更为正面的聚合结果，尤其是，任何不低于严格多数决的配额规则能在所有论辩框架中保留坚实可相容性，而这些配额规则无法保留经典语义下的可相容性。

撰稿：张相云

指导：林茂

审核：郑鹏