形式科学
形式体系に関係する科学の総称 / ウィキペディア フリーな encyclopedia
親愛なるWikiwand AI, これらの重要な質問に答えるだけで、簡潔にしましょう:
トップの事実と統計を挙げていただけますか 形式科学?
この記事を 10 歳向けに要約してください
すべての質問を表示
形式科学(けいしきかがく、英: formal science)とは形式体系に関係する科学の総称である。論理学、数学、システム科学に加え、計算機科学、情報理論、情報学、ミクロ経済学、統計学、言語学などといった分野の理論ベースの細分野(例えば、計算機科学のうち理論計算機科学)がこれに含まれる。
形式科学で扱うのは記号システムによって記述される抽象的構造であり、結果は公理や理論上のアイデアから推論(純粋な思考の過程)のみによって導き出される。これは、自然科学が現実世界を扱い、観測・観察から得られた知識をもとに結果を導き出すのと対照的である。しかし、形式科学で扱う体系は現実世界のものをモチーフしたものが多い。また、形式科学の結果は自然科学において現実世界を簡潔に理解するための構造(モデル)をつくるのに応用されることが多い。
形式科学で扱う体系は純粋に理論的なものであるので、現実世界そのものではない。しかし、時として「理論的なモデルは現実世界を完全に描写することができる」とか、理論が「現実そのものである」などと信じられてしまうことがある。
形式科学の対義語は経験科学というが、経験科学は形式科学を援用する場合がある。