形式科学
形式科学(けいしきかがく、英: formal science)とは形式体系に関係する科学の総称である。論理学、数学、システム科学に加え、計算機科学、情報理論、情報学、ミクロ経済学、統計学、言語学などといった分野の理論ベースの細分野(たとえば計算機科学であれば理論計算機科学)がこれに含まれる。
形式科学で扱うのは記号システムによって記述される抽象的構造であり、結果は公理や理論上のアイデアから推論(純粋な思考の過程)のみによって導き出される。これは、自然科学が現実世界を扱い、観測・観察から得られた知識をもとに結果を導き出すのと対照的である。しかし、形式科学で扱う体系は現実世界のものをモチーフしたものが多い。また、形式科学の結果は自然科学において現実世界を簡潔に理解するための構造(モデル)をつくるのに応用されることが多い。
形式科学で扱う体系は純粋に理論的なものであるので、現実世界そのものではない。しかし、時として「理論的なモデルは現実世界を完全に描写することができる」とか、理論が「現実そのものである」などと信じられてしまうことがある。