形式化方法

运用形式化的语言 （符号语言）来表述知识体系、进行演绎推理的一种高度抽象化的研究方法。形式化就是暂时把研究对象的具体内容抽象掉，只反映其一定的关系或结构，并在此基础上用精确的概念或判断来反映思维的结果。形式化语言作为一种符号语言高度地表现在理论结构的表达方式(方程式、逻辑式等) 上，精确地反映了思维的形式结构，从而可以模拟思维的形式结构。形式化方法作为一种揭示思维的形式结构的方法，在数学和逻辑学中最为发达。在现代逻辑 （数理逻辑） 的基础上，形式化方法取得了更加完备的现代形态。自电子计算机技术迅速发展以来，形式化语言构成计算机软件部分。人工建立的众多程序语言可用以解答经济、管理、统计等诸方面的问题。逻辑证明的形式化又使证明的程序变为纯形式的 （机械的） 程序，可以转交给计算机按指令去完成，从而为在经济研究中运用形式化方法创造了条件。