形式逻辑是研究思维形式及其规律的科学，它是一门工具性质的科学，是人们认识事物、表达思想时经常运用的一种必要的逻辑工具。形式逻辑的思维规律也是思维形式和思维内容的统一。
形式逻辑的思维规律包括演绎逻辑和归纳逻辑。演绎逻辑是指从一般性的前提出发，通过推导得出具体结论的思维方式，它包括三段论、假言推理、选言推理等。归纳逻辑是指从具体事实出发，通过概括、总结得出一般性结论的思维方式，它包括求同法、求异法、共变法等。
形式逻辑的对象是事物的质，形式逻辑靠概念、判断、推理（主要包括归纳推理与演绎推理）反映事物的质。形式逻辑也叫普通逻辑。虽然思维内容和思维形式是密不可分的，但是思维形式对思维内容具有相对独立性，这正是形式逻辑学存在的根据。然而，思维形式毕竟是由思维内容决定的，所以形式逻辑学也有其局限性，需要数理逻辑、辩证逻辑等来补充。