（一）形式逻辑组围绕“形式逻辑现代化”问题进行了热烈的讨论