形式逻辑，也被称为传统逻辑，是研究人的认识知性阶段思维规律的学说。它主要包括狭义和广义两个层面：狭义上，形式逻辑专指演绎逻辑；而广义上，它还包括归纳逻辑。形式逻辑是研究思维形式及其规律的科学，是一门工具性质的科学，是人们认识事物、表达思想时经常运用的一种必要的逻辑工具。
