形式科学

形式科学の概念と歴史

形式科学とは、主に記号や構造を扱う学問分野の総称です。この分野には、論理学、数学、システム科学に加え、計算機科学、情報理論、情報学、ミクロ経済学、統計学、さらには言語学などが含まれます。形式科学では、具体的な経験や観察を基にするのではなく、公式や理論からの純粋な推論を通じて知識を構築します。この点が、現実世界を観察することを主な手段とする自然科学と大きく異なるところです。

形式科学で扱われる体系は、多くは現実の現象をモチーフにしていますが、それ自体は現実のものではありません。ときに、理論モデルが現実を完全に描写するものと誤解されることがありますが、それは形式科学の内容に対する誤った理解です。形式科学と対比される経験科学は、形式科学の理論を必要に応じて取り入れることもあります。

形式科学の歴史

形式科学の起源は、科学的方法が確立される前の古代にまで遡ります。紀元前1800年ごろのバビロニアの数学やエジプト、インドの数学の資料がその証拠です。その後、ギリシャやイスラム圏の数学者たちが数学の発展に重要な役割を果たしました。また、遠く離れた日本や中国でも独自の数学的考察が行われました。

数学以外にも、論理学は形式科学の一分野として古くから重要視されてきました。論理学は、推論の方法を系統的に研究する学問であり、紀元前6世紀のインド、紀元前5世紀の中国、紀元前4世紀から1世紀のギリシャでそれぞれ発展しました。近代論理学の基本的手法は、古代ギリシャにルーツを持ち、特にアリストテレスの論理学が重要な基盤となりました。これに影響を受け、イスラム圏の論理学者たちによってさらに発展しました。インドでも、論理学が近世まで続いたものの、中国では古代の伝統が途絶え、後にインドからの影響を受けました。

また、形式科学の多くの分野は数学に依存しているため、数学が高度に発展するまで形式科学は存在しなかったといえます。例えば、ピエール・フェルマーやブレーズ・パスカルらによって確率論が生み出され、19世紀にはカール・ガウスやピエール・ラプラスによって統計学が発展しました。20世紀初頭には、数理統計学が数学の一分野として確立されました。

20世紀の中頃には、オペレーショナル・リサーチやシステム工学といった新しい数理科学の分野が台頭しました。これにより、数学はさらに広がりを見せ、特に電気工学から始まる基礎研究の中で、情報理論や数値解析、理論計算機科学が成立しました。コピーソフト技術の発展によって理論計算機科学も大きく進展しました。

形式科学と経験科学の違い

経験科学が実験や観察に基づくのに対して、形式科学はそのような経験的手続きが必要ありません。形式科学は偶然的な事実を仮定せず、現実世界を網羅することはしません。このため、形式科学は論理的にも方法論的にもア・プリオリの性質を持ちます。したがって、形式科学は公理や定義の組み合わせによって理論を構築し、分析的な主張に基づくものとなります。

一方、相対性理論や進化論などの経験的理論は、全ての可能な世界で成立するわけではありません。この点において、形式科学はより普遍的な応用が可能であり、様々な領域において利用されています。形式科学は、経験科学と異なり、特定の実験や観察に依存せず、その妥当性や内容が独立しているため、極めて強力な理論的道具とされているのです。

まとめ

形式科学は、数学や論理学を基盤にした抽象的な思考を追求する学問分野であり、自然科学とは異なったアプローチを持っています。歴史的にも重要な役割を果たしてきたこの分野は、今日の数理科学や工学的課題においてもその影響力を発揮しています。

もう一度検索