形式科学(formal science)是与形式系统，如逻辑学、数学、理论计算机科学、信息理论、系统理论、判定理论、统计学和一些语义学等有关的知识的分支。和其它科学不同，形式科学不是和基于真实世界观察理论有效性联系的。而与定义和规律为基础的形式系统性质相联系。但形式科学的方法被用来建造和检验观察真实世界的科学模型。历史追溯到公元前1800年(巴比伦数学)，公元前1600年(埃及数学)和公元前1000年(印度数学)最古老的数学教科书可以知道，形式科学比科学方法形成开始得早。此后，不同文化，如印度，希腊，和伊斯兰数学家都对数学作出了重要贡献。而中国和日本则独立地发展自己的数学传统。除数学外，逻辑学是另一形式科学内的最古老科目，作为一种有理的清晰分析方法，逻辑学在三个地方原来就得到持久的发展:印度从公元前6世纪，中国在公元前5世纪，而希腊在公元前4世纪至公元前1世纪。希腊熟练处理现代逻辑的科学家是受到阿里斯多得学派逻辑(伊斯兰逻辑学者进一步发展)的影晌的。印度传统也连续到现代的早期。但中国的传统没能保存下来。其它形式科学的一些学科都很大依赖数学，但当数学已发展到相对进步时，它们还没出