跨学科方法是指运用形式化的语言 (符号语言)来表述知识体系、进行演绎推理的一种高度抽象化的研究方法。形式化就是暂时把研究对象的具体内容抽象掉，只反映其一定的关系或结构，并在此基础上用精确的概念或判断来反映思维的结果。形式化语言作为一种符号语言高度地表现在理论结构的表达方式(方程式、逻辑式等) 上，精确地反映了思维的形式结构，从而可以模拟思维的形式结构。形式化方法作为一种揭示思维的形式结构的方法，在数学和逻辑学中最为发达。在现代逻辑 (数理逻辑) 的基础上，形式化方法取得了更加完备的现代形态。