形式科学

形式科学（けいしきかがく、）とは形式体系に関係する科学の総称である。論理学、数学、システム科学に加え、計算機科学、情報理論、情報学、ミクロ経済学、統計学、言語学などといった分野の理論ベースの細分野（たとえば計算機科学であれば理論計算機科学）がこれに含まれる。
形式科学で扱うのは記号システムによって記述される抽象的構造であり、結果は公理や理論上のアイデアから推論（純粋な思考の過程）のみによって導き出される。これは、自然科学が現実世界を扱い、観測・観察から得られた知識をもとに結果を導き出すのと対照的である。しかし、形式科学で扱う体系は現実世界のものをモチーフしたものが多い。また、形式科学の結果は自然科学において現実世界を簡潔に理解するための構造（モデル）をつくるのに応用されることが多い。
形式科学で扱う体系は純粋に理論的なものであるので、現実世界そのものではない。しかし、時として「理論的なモデルは現実世界を完全に描写することができる」とか、理論が「現実そのものである」などと信じられてしまうことがある。
歴史.
形式科学は科学的方法が確立される前に始まった。最も古い数学の資料は紀元前1800年（バビロニア数学）、紀元前1600年（エジプト数学）、紀元前1800年（インドの数学）に遡る。異なる文化の数学者たちは各これらの時から、数学の発展に大いに寄与してきた。一方、遠く離れた日本や中国では、それぞれ独自の数学的伝統が発達してきた。
形式科学の最古の分野の一つとして、数学の他に論理学がある。論理学は、推論の方法の明確な解析として3か所に起源を持ち、持続的な発達をした。紀元前6世紀のインド、紀元前5世紀の中国、紀元前4世紀から紀元前1世紀にかけてのギリシャである。
形式的に洗練された近代論理学の扱いは、アリストテレスの項論理（）などで知られ、のちにイスラムの論理学者たちが発展させたギリシャ流のものによる。インド流の論理学は早期近代まで続いた。中国流の論理学は、中世においてインド流論理学が採用され生き残れなかった。
形式科学の他の多くの分野は、数学に頼る側面の大きいため、数学が比較的高度に発達するまで存在しなかった。ピエール・フェルマー、ブレーズ・パスカル、クリスティアーン・ホイヘンスは確率論を創始した。
1800年代始めに、カール・ガウス、ピエール・ラプラスは、保険と政府会計における統計の利用を説明する数理統計学を発展させた。数理統計学は、20世紀始めに数学の一分野として認識される。
20世紀中頃に、新たな数理科学とオペレーショナル・リサーチやシステム工学といった工学の分野の隆盛によって、数学は拡大し豊かになった。これらの科学は、情報理論、数値解析(科学技術計算)、理論計算機科学、を刺激した電子コンピュータの発展とその基礎となる電子工学な研究に資した。また、理論計算機科学は計算理論を含む数理論理学に資した。
他の諸科学との違い.
自然科学や社会科学といった経験科学とは違い、形式科学は経験的手続きを含まない。形式科学はまた、偶有的な事実についての知識を仮定しないし、現実の世界を記述しない。この意味で、形式科学は論理的にも方法論的にもア・プリオリであり、その内容と妥当性は如何なる経験的手続きとは独立である。
形式科学は経験的内容を欠いた概念的なシステムだが、それは現実世界との関係が全くないというわけではない。その関係というのは、形式的主張はすべての想像しうる可能世界で成立するということである（論理式を参照）。一方で、一般相対性理論や進化論といった経験的理論に基づく主張は、すべての可能世界で成立するとは限らないのと同様に、最終的にはこの世界でも成立しないかもしれない。つまり、形式科学は如何なる領域においても適用可能であり、如何なる経験科学においても用いることができるということだからだ。
形式科学は非経験的な性質をもっているため、公理や定義の組み合わせを設定することにより、それとそれにより演繹される定理によって構築される。言い換えると、形式科学における理論は、総合的主張（）を一切含まない。つまり、すべての主張は分析的である。