2018年10月20至21日，中国逻辑学会法律逻辑专业委员会在宁波召开年会，本次年会的主题是“法律逻辑与人工智能”，由宁波大学法学院承办。我院何邦武教授应邀参加了本次年会，就“司法裁决三段论中的实质逻辑”问题作了专题发言，指出以形式逻辑及与此相关的命题逻辑为裁决确定性基础的传统裁判理论面临着语言哲学从语义主义向语用主义转向所带来的挑战，必须得到理论研究的重视。

本次年会上，来自全国各政法院校、科研院所及法律实务部门的专家就法律概念、人工智能与法律、非形式逻辑与法律适用以及法律逻辑教学等问题进行了专题研讨。