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