形式化及其历史发展

摘要：

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

关键词：形式化、形式化方法、历史发展、形式系统

所属期刊栏目：24

分类号：N031(科学的方法论)

资助基金：湖南省社会科学基金资助项目"哲学逻辑和逻辑哲学比较研究"06YB62

在线出版日期：2008-11-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：27-30