Formal sciences

Formal sciences are sciences that are concerned with abstract concepts and formal systems, rather than natural or social processes. Formal sciences use deductive reasoning to derive conclusions from established axioms, and are often characterized by their use of rigorous mathematical methods. Common examples of formal sciences include mathematics, computer science, and logic.

Deeper Knowledge on Formal Sciences

Computer Science

The study of algorithms, data structures, information, and computation

Broader Topics Related to Formal Sciences


The most rigorous system of epistemology

Formal Sciences Knowledge Graph