Formal Sciences

Formal science is the area of study that generates the knowledge using the formal system (a well defined system of abstract thoughts with its specific formal language) as opposed to factual methodology.

It is not concerned with the validity of theories based on observations in the real world, instead follows the established rules of the formal systems.

Despite the lack of real world experimentations, formal sciences still has great importance because all of the quantitative science depends on them. Moreover the methods of the formal sciences are applied in construction and testing of the scientific models.

Considering the formal sciences as true sciences is still an ongoing debate, but the leading formal science mathematics is the earliest amongst the sciences and its laws are indisputable and absolutely certain, while the other sciences are in constant danger of being overthrown by the newly discovered facts. Some of the most common fields included in this group of science are: logic, statics, theoretical computer science, systems theory etc: