即符号逻辑、形式逻辑，使用数学方法对逻辑以及数学本身的逻辑基础进行的研究，是一种元理论，研究对象为模型、证明、计算等的元性质。 一个形式化的逻辑系统包括： 语法（对象语言），合式公式的组成 语义，公式的解释，模型，真值 演绎推理系统，包括一系列保持真值的推导规则 Related 形式逻辑与辩证逻辑 很久以前的想法，目前来看是有很大的问题，即恩格斯式的辩证法关于形式逻辑孤立性的论述恐怕并不准确。后面有时间再调研这个问题。 推导规则的分类 这里对逻辑系统的描述是公理化的，这建构在演绎推理的基础之上。