什么叫形式逻辑（什么是形式逻辑什么是非形式逻辑）

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

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

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