Formal Science

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, mathematics (math timeline), theoretical computer science, information theory, systems theory, decision theory, statistics, linguistics.  The formal sciences use an a priori as opposed to factual methodology.