第三节 以形式逻辑为方法