Formal Sciences
Formal sciences are conceptual systems that study formal systems, based on analysis, definitions, rules and laws, rather than actual facts. However, their methods hold in all possible conceivable worlds and are thus applied in empirical sciences and procedures, whose theories (general relativity, etc.) do not hold everywhere or even in our world:
- Logic (explicit analysis of the methods of reasoning),
- Law interpretation or jurisprudence, such as in civil law, commercial law, criminal law, and common law, originally created by King Henry II (crowned king in Westminster Abbey on 19/12/1154, and died in 1189) as well as canon law like the ones introduced at the 4th Lateran Council in 1215, at the Pinnacle of Papal Power under Pope Innocent III, who had doctorate degrees in both law and theology,
- Mathematics (its laws are permanent, contrary to other disciplines, where new facts can be discovered),
- Statistics (Laplace),
- Theory of computer science, information, gaming, systems, decisions.
APPLIED SCIENCES
Applied sciences is the application of human knowledge to design, develop, and build useful products:
- Most forms of Engineering,
- Most forms of Medicine.
