跨學科方法

跨學科方法是指運用形式化的語言 (符號語言)來表述知識體系、進行演繹推理的一種高度抽象化的研究方法。形式化就是暫時把研究對象的具體內容抽象掉，只反映其一定的關係或結構，並在此基礎上用精確的概念或判斷來反映思維的結果。形式化語言作為一種符號語言高度地表現在理論結構的表達方式(方程式、邏輯式等) 上，精確地反映了思維的形式結構，從而可以模擬思維的形式結構。形式化方法作為一種揭示思維的形式結構的方法，在數學和邏輯學中最為發達。在現代邏輯 (數理邏輯) 的基礎上，形式化方法取得了更加完備的現代形態。

自電子計算機技術迅速發展以來，形式化語言構成計算機軟體部分。人工建立的眾多程式語言可用以解答經濟、管理、統計等諸方面的問題。邏輯證明的形式化又使證明的程式變為純形式的 (機械的) 程式，可以轉交給計算機按指令去完成，從而為在經濟研究中運用形式化方法創造了條件。