形式科学

author: 371tti

This article is incomplete and may be subject to changes.

形式科学（けいしきかがく、英: Formal sciences）とは、数学、計算機科学、統計学、論理学など、形式的体系を研究する学問分野の総称である。 これらの分野は、抽象的な構造や関係性を扱い、自然科学や社会科学とは異なり、実験や観察に基づかない。 形式科学は、公理、定義、論理的推論を用いて、理論的枠組みを構築し、他の学問分野に応用される基礎的な概念や手法を提供する。