##### 形式逻辑 - 形式逻辑 - **形式逻辑**是狭义上的[[逻辑]], 与[[非形式逻辑]]相对. 形式逻辑研究[[演绎推理]]的结构和形式, 关注推理是否符合逻辑规则, 而不考虑内容是否真实. 使用符号化方法分析推理的有效性, 强调严谨的[[形式系统]]和[[推理规则]]. 形式逻辑也称为符号逻辑, 广泛应用于数理逻辑. 可分为[[经典逻辑]]和[[非经典逻辑]]