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

「「正式な科学」とは、正式なシステムを使用して知識を生み出す研究分野です。数学は典型的な例です。その他には、論理、統計、情報理論、理論的なコンピューターサイエンスが含まれます。これらが実際に「科学」であるかどうか（実際の世界の実験の欠如を考慮して、これらの分野がとにかく科学にまとめられていることがあるかどうかが時々疑問視されていますが。経験的根拠の欠如にもかかわらず、正式な科学は一般に非常に重要であると考えられており、実際、すべての定量的科学はそれらに依存しています。これは、正式な科学が真の科学であるかどうかについての継続的な議論です。当初の目的は、奴隷や穀物などの商品を定量化することでした。紀元前600年頃、紀元前400年のギリシャでは、ロジックの初期開発であり、推論方法の明示的な分析でした。ギリシャには、ピタゴラス、ソクラテス、アリストテレスなどの偉大な古代ギリシャの哲学者がいました。そのような論理と科学に関する直観と信念は、現代まで、17世紀の輝く輝く輝き、ピエール・デ・フェルマット、ブレイズ・パスカル、クリスチャン・ウイゲンセンズなどの照明器具まで西洋世界を支配していました。20世紀半ばのクロード・シャノンとジョン・フォン・ノイマンへの情報理論、理論的コンピューターサイエンス、および現代（ベイジアン）統計の日付。アランチューリングも重要な貢献をしました。コンピューター、無線信号、アンテナの設計に関する理論はすべて、これらの思想家によって達成されたマイルストーンに依存しています。これらの分野はすべて正式な科学の重要な部分です。物事のやり方。心理学はより実験的になり、これらの結果の多くは、フロイトのような年配の思想家の伝統的な知恵を一掃しています。実験的心理学は、しばしば「認知心理学」の旗に該当します。理論物理学は、多くの場合、その日の最も高度な利用可能な数学を使用し、これらの用語でその結果と予測を説明します。