形式科学

形式科学是与形式系统有关的知识分支，例如逻辑、数学、理论计算机科学、信息论、博弈论、系统论、决策论、统计学和某些形式的语言学。 与其他（实验）科学不同，形式科学在确定其理论的有效性时并不依赖于对现实的观察，而是依赖于基于定义和演绎规则的理论角度的形式系统的特征。但形式科学方法也用于与实地存在有关的科学模型的理论构建和实验。

逻辑

数学

统计数据

数据科学

信息科学

系统科学

计算机科学

“形式科学比所有其他科学具有特殊价值的原因之一是，它的定律是绝对的、无可争议的，而其他科学的定律或多或少是有可争议的，并且不断面临着被新事实摧毁的危险。” ——阿尔伯特· 爱因斯坦