形式化及其历史发展

摘要

形式化方法是现代逻辑最重要的方法。它把精确性、严格性、显明性、能行性和普遍性等等特性带入理论研究之中,促使理论研究走向深入与深化。形式化方法有一个从萌芽到逐步成熟、定型的过程,这个过程就是实质公理化、抽象公理化、形式公理化。考察形式化方法的历史发展,有助于我们把握这种方法的实质、发展趋势及其作用。