形式科学
形式科学（けいしきかがく、英：Formal science）とは形式体系に関係する科学の総称である。論理学、数学、システム理論に加え、計算機科学、情報理論、ミクロ経済学、統計学、言語学など数字を扱う形式的といった分野の理論ベースの細分野（たとえば計算機科学であれば理論計算機科学）がこれに含まれる。

形式科学で扱うのは記号システムによって記述される抽象的構造であり、結果は公理や理論上のアイデアから推論（純粋な思考の過程）のみによって導き出される。これは、自然科学が現実世界を扱い、観測・観察から得られた知識をもとに結果を導き出すのと対照的である。しかし、形式科学で扱う体系は現実世界のものをモチーフしたものが多い。また、形式科学の結果は自然科学において現実世界を簡潔に理解するための構造（モデル）をつくるのに応用されることが多い。

形式科学で扱う体系は純粋に理論的なものであるので、現実世界そのものではない。しかし、時として「理論的なモデルは現実世界を完全に描写することができる」とか、理論が「現実そのものである」などと信じられてしまうことがある。
Q1860
英
Concept
Q649732
形式体系
Concept
Q336
科学
Concept
Q8078
論理学
Concept
Q395
数学
Concept
Q269699
システム理論
Concept
Q21198
計算機科学
Concept
Q131222
情報理論
Concept
Q39072
ミクロ経済学
Concept
Q12483
統計学
Concept
Q8162
言語学
Concept
Q82990
数字
Concept
Q18988385
形式
UNK
Q2878974
理論計算機科学
Concept
Q17736
公理
Concept
Q408386
推論
Concept
Q7991
自然科学
Concept
Q193181
観測
Concept
Q1521337
観察
Concept
Q193946
モデル
Concept
Q816264
形式科学
Concept
Q816264
形式科学
Concept
Q816264
形式科学
Concept
Q816264
形式科学
Concept
Q816264
形式科学
Concept
part of
part of
part of
part of
part of
part of
part of
part of
part of
instance of
subclass of
subclass of
subclass of
subclass of
part of
subclass of
subclass of
subclass of
subclass of
subclass of
subclass of
subclass of
subclass of
subclass of
subclass of
use
part of
part of
part of
part of