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