形式逻辑是研究逻辑关系形式的一个分支学科，强调研究逻辑命题和推论的形式，忽略命题的实际内容和推论的真假情况。
它主要关注命题和推论的结构和形式，并用符号和公式化的方法表示逻辑关系。形式逻辑通过对语言元素的分析和构建逻辑符号系统，让表达逻辑命题的语言符合规则和严谨，避免了语义上的不确定性而提高了逻辑思考和推理手段的精度和科学性。形式逻辑在数学、计算机科学、哲学和语言学等领域中都有广泛的应用。
在经典逻辑学中和基于演绎逻辑发展起来的数理逻辑被统称为叫形式逻辑。
所谓形式逻辑是在“质”的规定不变的情况下,对“质”的同态性表述.它反映的是事物的“象素”、是量的积累.也就是说,形式逻辑的推演表现的是事物自身的等同性,即在推演的过程中,事物的质的规定不能从一种质的规定变化.
