什么是形式科学(Formal Sciences)？

"形式科学"是一门用形式系统产生知识的研究领域。数学是典型的例子。其他包括逻辑、统计学、信息论，和理论计算机科学。尽管有时有人质疑这些学科是否是真正的"科学"——考虑到缺乏真实世界的实验，这些学科通常被归为科学。尽管它们缺乏经验基础，但一般认为形式科学极其重要，而且事实上，所有的定量科学都依赖于它们。关于形式科学是否是真正的科学，这是一个持续不断的争论。荷兰天文学家克里斯蒂安·惠更斯（Christiaan Huygens）帮助推动了现代数学的发展。数学文本出现在公元前1800年左右的美索不达米亚的古代历史中，巴比伦，当时地球上最大的城市巴比伦的位置。最初的目的是量化商品，如奴隶或谷物。大约在公元前600年中国和希腊在公元前400年是逻辑的初步发展，对推理方法的明确分析。在希腊有古希腊伟大的哲学家，如毕达哥拉斯、苏格拉底，亚里士多德，他对逻辑和科学的直觉和信仰一直统治着西方世界直到现代，直到17世纪的杰出人物，如皮埃尔·德·费马、布莱斯·帕斯卡，克里斯蒂安·惠更斯开创了现代数学的发展。法国数学家布莱斯·帕斯卡开始了现代形式数学的发展，现代（贝叶斯）统计可以追溯到20世纪中叶的克劳德·香农和乔恩·冯·诺依曼，艾伦·图灵也做出了重要贡献有关计算机、无线电信号和天线设计的理论都依赖于这些思想家所取得的里程碑。这些领域都是形式科学的重要组成部分。数学文本出现在古代历史中，大约在公元前1800年，在现代伊拉克所在的美索不达米亚，经过几十年的混乱之后最近，在实验科学、社会科学等领域，已经有了更多的"实验科学"和"社会科学"的方法，而这些结果中的许多正在扫除弗洛伊德等老思想家的传统智慧。实验心理学通常属于"认知心理学"的旗号。理论物理似乎高度依赖于数学的发展来取得进步。理论物理学通常使用最先进的数学古希腊哲学家苏格拉底关于逻辑和科学的信仰一直统治着西方世界直到现代。