形式逻辑告诉人们如何正确地使用概念、判断、推理，使思维具有确定性、一贯性和论证性，它帮助人们正确地认识客观事物和表达自己的思想，所遵循的基本规律有同一律、矛盾律和排中律，主要的方法有归纳推理、演绎推理和类比推理。