形式科学是与形式系统，如逻辑学、数学、理论计算机科学、信息理论、系统理论、判定理论、统计学和一些语义学等有关的知识的分支。和其他科学不同，形式科学不是和基于真实世界观察理论有效性联系的，而与定义和规律为基础的形式系统性质相联系，但形式科学的方法可以被用来建造和检验观察真实世界的科学模型(或通用手段)。
基本信息：
中文名称：形式科学
外文名称：formal science
研究领域：逻辑学、数学、理论计算机科学、信息理论、统计学等
特点：内容和有效性与任何经验的过程无关，在所有范围内都可应用。
起源：人类文明早期，由于计数、推理等社会生产需求，从而逐渐发展出可以对事物的抽象模式通用描述的形式系统。
性质：通用性、全人类性
追溯到公元前1800年(巴比伦数学)，公元前1600年(埃及数学)和公元前1000年(印度数学)最古老的数学教科书可以知道，形式科学比科学方法形成开始得早。此后，不同文化，如印度、希腊和伊斯兰数学家都对数学作出了重要贡献。而中国和日本则独立地发展自己的数学传统。
除数学外，逻辑学是另一形式科学内的最古老科目，作为一种有理的清晰分析方法，逻辑学在三个地方原来就得到持久的发展:印度从公元前6世纪，中国在公元前5世纪，而希腊在公元前4世纪至公元前1世纪。希腊熟练处理现代逻辑的科学家是受到阿里斯多得学派逻辑(伊斯兰逻辑学者进一步发展)的影晌的。印度传统也连续到现代的早期。但中国的传统没能保存下来。
其它形式科学的一些学科都很大依赖数学，但当数学已发展到相对进步时，它们还没出现。皮耶·德·费玛和布莱斯·帕斯卡(1654)和克里斯蒂安·惠更斯(1657)开始或然率理论的最早研究。1800年代早期，高斯和拉普拉斯发展了统计学的数学理论，它可以说明统计学在保险和管理机构财务方面的应用。20世纪认为数理统计学是数学学科。
20世纪中，由于新的数学学科和工程学科如运算研究和系统工程的上升，数学得到扩充和丰富。这些科学由于电工程的基础研究而得益。也由于电子计算机的发展，也激励信息理论，数字分析(科学计算)和理论计算科学的发展。理论计算科学也由于数理逻辑，包括计算理论而得益。
性质
下面先看一句着名物理学家爱因斯坦的一句名言--
数学为何得到比所有其它科学的珍重，就是它的定律是绝对肯定和无可置疑的。而其它科学却有一定程度的争论和存在由于新事实的发现而被抛弃的危险。
这句话精辟地阐明了形式科学与其他科学的本质区别，也道出了形式科学独特的研究手段和永真性。
本章未完 点击下一页继续阅读