形式化方法是现代逻辑研究的一种基本方法,也是构建现代逻辑理论的框架工具。它本质是一种演绎方法,是人类理性精神的体现和智慧的结晶。本文采用系统科学的全新视角,对形式化方法展开四个层面的研究:①用系统观点考察形式化方法对命题逻辑和谓词逻辑系统建构和重要理论问题中的应用;②以跨学科、交叉性的研究进路,讨论形式化方法的技术基础--公理化方法的一般性理论和思维范式。③采用逻辑与历史相一致的方法探讨逻辑形式化与数学结构化的发生、发展过程及相互关系问题,并从逻辑史视角探讨形式化方法产生的原动力。④从方法论视角对数学结构主义产生原因、与形式化方法思想渊源进行探讨;并用比较法研究数学结构与形式化的区别与联系。通过以上四个方面对形式化方法的研究阐释清形式化方法在现代逻辑理论与现代数学理论间应用的张力、逻辑形式化与数学结构化的比较与对接、交融与互动关系问题及形式化方法的一般性理论和思维范式等方面有全面、深入的认识,因而无论逻辑科学、数学科学还是逻辑史、数学史的研究都有重要意义。