第(2/3)页

    20世纪中，由于新的数学学科和工程学科如运算研究和系统工程的上升，数学得到扩充和丰富。这些科学由于电工程的基础研究而得益。也由于电子计算机的发展，也激励信息理论，数字分析(科学计算)和理论计算科学的发展。理论计算科学也由于数理逻辑，包括计算理论而得益。

    性质

    下面先看一句著名物理学家爱因斯坦的一句名言--

    数学为何得到比所有其它科学的珍重，就是它的定律是绝对肯定和无可置疑的。而其它科学却有一定程度的争论和存在由于新事实的发现而被抛弃的危险。

    这句话精辟地阐明了形式科学与其他科学的本质区别，也道出了形式科学独特的研究手段和永真性。

    与经验科学(自然、社会、人文等)不同，形式科学不常涉及经验的过程。它不需偶然事件的予先知识，或描述真实世界。从这种意义来说，形式科学是逻辑和先验方法的科学，它的内容和有效性和任何经验的过程无关。

    虽然形式科学是概念性系统，缺少经验内容，但并不表示它和真实世界无关。这种联系在形式系统在所有可能接受的范围内都是有效的。但基于经验理论的陈述，如广义相对论，或生物的进化论，不可能在所有可能的世界内都有效。这是为何形式科学在所有范围内都可应用和在所有经验科学内都有用。

    由于形式科学无经验的性质，因此可以说，形式科学是由许多公理和定义所构成，而它的陈述是由这些公理和定义推导出来的。换言之，形式科学的理论不包含合成的陈述，它的所有陈述都是分析的。

    对立面

    形式科学的对立面是作用科学，作用科学与形式科学研究问题的方法相反。形式科学是由许多公理和定义所构成，由这些公理和定义进行推导分析来达成科研目标的。而作用科学是通过对客观世界的各种现象产生的各种作用进行总结归纳，而得出公理和定义的。譬如中医学就是一门作用科学，其脉学与经络学，无法用形式科学的公理和定义推导却能达成有关作用。又比如仿生学，科学家并没有现成的公理与定义，只能通过对具体作用的研究总结，归纳出公理，定义出概念。

    交叉科学又称边缘科学，是在两个或两个以上不同学科的边缘交叉领域生成的新学科的统称。
    第(2/3)页