什么叫形式逻辑

形式逻辑是研究逻辑关系形式的一个分支学科，强调研究逻辑命题和推论的形式，忽略命题的实际内容和推论的真假情况。

它主要关注命题和推论的结构和形式，并用符号和公式化的方法表示逻辑关系。形式逻辑通过对语言元素的分析和构建逻辑符号系统，让表达逻辑命题的语言符合规则和严谨，避免了语义上的不确定性而提高了逻辑思考和推理手段的精度和科学性。形式逻辑在数学、计算机科学、哲学和语言学等领域中都有广泛的应用。