形式科学
研究语言学科的科学
条目
历史版本
形式科学（formal science）是研究与形式系统相关的形式语言学科的一门科学，例如逻辑，数学，统计学，理论计算机科学，人工智能，信息论，博弈论，系统论，决策论和理论语言学。而自然科学和社会科学则试图刻画物理系统的特征和社会系统分别使用经验方法，形式科学是与表征符号系统所描述的抽象结构有关的语言工具。形式科学通过提供有关自然科学和社会科学用来描述世界的结构的信息，以及对它们的推断，来辅助自然科学和社会科学。
历史
追溯到公元前1800年（巴比伦数学），公元前1600年（埃及数学）和公元前1000年（印度数学）最古老的数学教科书可以知道，形式科学比科学方法形成开始得早。此后，不同文化，如印度，希腊，和伊斯兰数学家都对数学作出了重要贡献。而中国和日本则独立地发展自己的数学传统。
除数学外，逻辑学是另一形式科学内的最古老科目，作为一种有理的清晰分析方法，逻辑学在三个地方原来就得到持久的发展：印度从公元前6世纪，中国在公元前5世纪，而希腊在公元前4世纪至公元前1世纪。希腊熟练处理现代逻辑的科学家是受到阿里斯多得学派逻辑（伊斯兰逻辑学者进一步发展）的影晌的。印度传统也连续到现代的早期。但中国的传统没能保存下来。