| 形式化及其历史发展 |
| |
| 引用本文： | 李建华,李红革.形式化及其历史发展[J].自然辩证法研究,2008,24(8). |
| |
| 作者姓名： | 李建华 李红革 |
| |
| 作者单位： | 湖南科技大学,法学院,湖南,湘潭,411201 |
| |
| 摘 要： | 形式化方法是现代逻辑最重要的方法.它把精确性、严格性、显明性、能行性和普遍性等等特性带入理论研究之中,促使理论研究走向深入与深化.形式化方法有一个从萌芽到逐步成熟、定型的过程,这个过程就是实质公理化、抽象公理化、形式公理化.考察形式化方法的历史发展,有助于我们把握这种方法的实质、发展趋势及其作用.
|
| 关 键 词： | 形式化 形式化方法 历史发展 形式系统 |
Formalization and Its Historical Development |
| |
| LI Jian-hua,LI Hong-ge.Formalization and Its Historical Development[J].Studies In Dialectics of Nature,2008,24(8). |
| |
| Authors: | LI Jian-hua LI Hong-ge |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
