理论计算机科学以及人工智能。形式科学与自然科学、社会科学的共同点是它们都仰赖于对某个知识领域的客观、细致、系统的研究；形式科学与经验科学的不同点则在于前者仅关心基于定义和规则之上的形式性质，手段为演绎推理，而并不关心理论在现实世界的观察中的有效性，无需经验证据来证实其抽象概念。所以说形式科学是先验的学科，也因此，关于它们能否真正算作一类科学存在不同意见。但不管怎样，形式科学的方法手段却可以应用于构造和测试用来实践现实观测的科学模型，从而在经验科学中扮演了重要角色。比如，微积分最初就是为了理解物理学中的运动而