形式科学
| 科学 |
|---|
| 主要項目 |
| 分類 |
| 関連項目 |
形式科学（けいしきかがく、英: formal science）とは形式体系に関係する学問の総称である。論理学、数学、システム理論に加え、計算機科学、情報理論、ミクロ経済学、統計学、言語学のうち理論的な研究分野がこれに含まれる。
概要
形式科学は記号（シンボル）と規則から構成されたものであり、有益であると考えられれば、（しばしば限定的ながらも）現実の世界に応用される。
人は時として理論的な体系と現実世界（＝自然）そのものを混同することがある。理論的なモデルは現実世界を完全に描写することができる、あるいは理論を現実そのものであると信じてしまうこともある。
形式科学を自然科学と比較すれば、形式科学が理論上のアイデアから他のアイデアを推論（純粋な思考の過程）のみによって導き出すのに対し、自然科学は現実の観測・観察から得られた知識をもとに現実世界を簡潔に表すモデルとして、現実と整合するように示される。
私たちは形式科学だけでは現実の世界について何も知ることはできず、また現実についての何かしらの事実を証明することもできない。
参考文献
![[icon]](/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Wiki_letter_w_cropped.svg){kind=small} | この節の加筆が望まれています。 |
関連項目
外部リンク
 | この項目は、学問に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。 |