科学是建立在可检验的解释和对客观事物的形式、组织等进行预测的有序知识系统，是已系统化和公式化了的知识。其对象是客观现象，内容是形式化的科学理论，形式是语言，包括自然语言与数学语言。
现代科学通常分为三个主要分支，自然科学（例如：生物学，化学和物理学等），研究个人和社会的社会科学（例如经济学，心理学和社会学），以及研究抽象概念的形式科学（例如逻辑，数学，计算机科学）。但形式科学是否真正构成一门科学是有分歧的，因为它们不依赖经验证据。另外，将现有科学知识用于工程和医学等实际目的的学科被称为应用科学。