Formal Science

Formal science is the study of formal language and symbolic systems such as logic, mathematics, statistics, theoretical computer science, artificial intelligence, information theory, game theory, systems theory, decision theory, and theoretical linguistics.