2019年12月4日，2019-2020年《现代逻辑》课程教学研讨会在逻辑中心会议室召开。郭美云教授、蒋军利博士、熊作军博士以及担任助教的2018级逻辑学专业硕士研究生本次活动。

本次主要探讨《现代逻辑》中主要教学内容中学生反馈的谓词逻辑“语义理解困难”、“语形证明思路”等问题进行研判分析。郭美云教授就认为应该在讲授谓词逻辑过程中，对命题逻辑的自然推演系统进行适当对照讲解，点出其背后相同的逻辑目标。并强调学生由于不太适应英文授课或双语授课，可以尽量使用中文讲解、英文板书与证明相结合，提前帮助学生适应Thomas 教授的英文线上课程，从而可以有效参与讨论。最后，教学团队进一步明确调整了2019-2020学年的教学工作与任务，并与 Thomas Agotnes教授沟通协调了具体的线上教学时间等。