条件下检验其有效性。还有一些密切相关的学科是运用科学知识以达到实用目的，如工程学和医学等，这些学科也被称作应用科学。形式科学、自然科学、社会科学、应用科学等四大领域，其分类关系如下表所示。
形式科学.形式科学是指主要以抽象形态的形式系统为研究对象的科学。它包括数学、系统论、理论计算机科学以及人工智能。形式科学与自然科学、社会科学的共同点是它们都仰赖于对某个知识领域的客观、细致、系统的研究；形式科学与经验科学的不同点则在于前者仅关心基于定义和规则之上的形式性质，手段为演绎推理，而并不关