形式推理是形式逻辑的推理，既是对思维实质内容也是对思维形式的推理