学。每一个分支都包括各种专门化而又相互重叠的科学学科，它们常拥有各自的及专业技能。自然科学与社会科学皆为经验科学，即它们的知识建立在经验证据的基础上，能够由其他研究者在相同条件下检验其有效性。还有一些密切相关的学科是运用科学知识以达到实用目的，如工程学和医学等，这些学科也被称作应用科学。形式科学、自然科学、社会科学、应用科学等四大领域，其分类关系如下表所示。
形式科学.形式科学是指主要以抽象形态的形式系统为研究对象的科学。它包括数学、系统论、理论计算机科学以及人工智能。形式科学与自然