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