形式科学（formal science）是与形式系统，如逻辑，数学，理论计算科学，信息理论，系统理论，判定理论，统计学和一些语义学等有关的知识的分支。和其它科学不同，形式科学不是和基于真实世界观察理论有效性联系的。而与定义和规律为基础的形式系统性质相联系。但形式科学的方法被用来建造和检验观察真实世界的科学模型。
形式科学（formal science）是与形式系统，如逻辑，数学，理论计算科学，信息理论，系统理论，判定理论，统计学和一些语义学等有关的知识的分支。和其它科学不同，形式科学不是和基于真实世界观察理论有效性联系的。而与定义和规律为基础的形式系统性质相联系。但形式科学的方法被用来建造和检验观察真实世界的科学模型。
