Formal Science is not concerned with the
validity of theories based on observations in the real world, but with the properties of formal systems based on
definitions and rules.
Formal systems include: logic,
timeline), theoretical computer science,
information theory, systems theory, decision theory, statistics, linguistics. The formal sciences use
priori as opposed to factual