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

基本信息：

中文名称：形式科学

外文名称：formal science

研究领域：逻辑学、数学、理论计算机科学、信息理论、统计学等

特点：内容和有效性与任何经验的过程无关，在所有范围内都可应用。

起源：人类文明早期，由于计数、推理等社会生产需求，从而逐渐发展出可以对事物的抽象模式通用描述的形式系统。

性质：通用性、全人类性