在这个意义上，我们说形式逻辑是一门没有阶级性的专门科学