形式逻辑是一种逻辑学的分支，它主要关注命题和论证的符号形式，研究命题之间的逻辑关系和推理规则，而不关注命题的实际内容。

形式逻辑的研究对象是语言中的符号形式，一般用符号代替实际命题，通过符号变换来研究命题之间的逻辑关系和推理规则。形式逻辑的研究方法包括符号逻辑、谓词逻辑、模型论等。形式逻辑在哲学、数学、计算机科学等领域有着广泛的应用。

经典逻辑学的创始人亚里士多德认为逻辑的本质就是必然的得出，在这个意义上只有演绎逻辑是符合要求的。所以在经典逻辑学中和基于演绎逻辑发展起来的数理逻辑被统称为叫形式逻辑。

详细释义

关于思维的形式及其规律的科学。研究概念、判断、推理等主要思维形式和研究同一律、矛盾律、排中律等思维规律是形式逻辑的内容。

形式逻辑它反映的是事物自身的等同性，使思维具有确定性、一贯性、论证性，能帮助人们正确地认识事物和表达自己的思想，是人们认识世界和改造世界的必要工具。