正式な科学とは何ですか？

「正式な科学」とは、正式なシステムを使用して知識を生み出す研究分野です。 数学は典型的な例です。 その他には、論理、統計、情報理論、理論的なコンピューターサイエンスが含まれます。 これらが実際に「科学」であるかどうか（実際の世界の実験の欠如を考慮して、これらの分野がとにかく科学にまとめられていることがあるかどうかが時々疑問視されていますが。 経験的根拠の欠如にもかかわらず、正式な科学は一般に非常に重要であると考えられており、実際、すべての定量的科学はそれらに依存しています。 これは、正式な科学が真の科学であるかどうかについての継続的な議論です。 当初の目的は、奴隷や穀物などの商品を定量化することでした。 紀元前600年頃、紀元前400年のギリシャでは、ロジックの初期開発でした。ningメソッド。 ギリシャには、ピタゴラス、ソクラテス、アリストテレスなどの古代ギリシャの偉大な哲学者がいました。そのような論理と科学に関する直観と信念は、現代まで西洋世界を支配していました。

情報理論、理論的コンピューターサイエンス、およびモダン（ベイジアン）統計は、20世紀半ばのクロードシャノンとジョンフォンノイマンへの日付です。 アランチューリングも重要な貢献をしました。 コンピューター、無線信号、アンテナの設計に関する理論はすべて、これらの思想家によって達成されたマイルストーンに依存しています。 これらの領域はすべて正式な科学の重要な部分です。

実験的な方法と分析における何十年もの乱雑さの後、最近「ソフトサイエンス」（社会科学、政治学など）より定量的になり、物事のやり方の根本的な変化を告げました。 心理学はより実験的になり、これらの結果の多くは、フロイトのような年配の思想家の伝統的な知恵を一掃しています。 実験心理学はしばしば「認知心理学」の旗に該当します。

理論物理学は、進歩を遂げるために数学の開発に大きく依存しているようです。 理論物理学は、多くの場合、その日の最も高度な利用可能な数学を使用し、これらの用語でその結果と予測を説明します。