A “formal science” is an area of study that uses formal systems to generate knowledge. Mathematics is the prototypical example. Others include logic, statistics, information theory, and theoretical computer science. Although it has sometimes been questioned whether or not these are truly “science” – considering the lack of realworld experiments – these disciplines often get lumped along into science anyway. Despite their lack of an empirical basis, the formal sciences are generally considered extremely important, and indeed, all of quantitative science depends on them. It is an ongoing debate as to whether or not the formal sciences are true science.
Mathematics texts emerge in ancient history around 1800 BC, in Mesopotamia, the location of Babylon, the largest city on Earth at the time. The original purpose was to quantify goods, such as slaves or grain. Around 600 BC in China and in Greece in 400 BC was the initial development of logic, the explicit analysis of reasoning methods. In Greece were the great ancient Greek philosophers such as Pythagoras, Socrates, and Aristotle, whose intuitions and beliefs about logic and science dominated the Western world until the modern era, until 17th century luminaries such as Pierre de Fermat, Blaise Pascal, and Christiaan Huygens kickstarted the development of mathematics in its modern form.
Information theory, theoretical computer science, and modern (Bayesian) statistics date to Claude Shannon and Jon von Neumann in the mid20th century. Alan Turing also made important contributions. The theory around computers, radio signaling, and antenna design all depend on the milestones achieved by these thinkers. These areas are all important parts of the formal sciences.
After many decades of messiness in experimental methods and analysis, recently the “soft sciences” (social science, political science, etc.) have gotten more quantitative, heralding a fundamental shift in the way things are done. Psychology has become more experimental, and many of these results are sweeping away the traditional wisdom of older thinkers such as Freud. Experimental psychology often falls under the banner of “cognitive psychology.”
Theoretical physics seem highly dependent on developments in mathematics to make progress. Theoretical physics often uses the most advanced available mathematics of the day and describes its results and predictions in these terms.
bear78 Post 3 
Math is definitely a formal science because it has definite rules and the same result will be reached regardless how many times a mathematical rule or equation is used.
But can we say the same about logic? Isn't logic a bit subjective? 


SteamLouis Post 2 
@serenesurface There is no doubt that Eastern cultures have contributed significantly to mathematics. It's also true that mathematics as we know today were first developed by the Babylonians and Egyptians. I think the rough timeline for that was around 3000 B.C. Greek contributions to the maths started later, around 500 B.C.
Although Greek mathematics adds to and elaborates upon the mathematics studied by the earlier cultures, their study of this formal science deserves a category on its own. 
serenesurface Post 1 
I'm not an expert on this topic or a historian but I believe that the East is not given enough credit for its contribution to the formal sciences as it deserves.
A great many sciences were developed and contributed to in the Middle East and Asia. Some of these scientist lived long before the Europeans credited with most of these theories.
Scientists like Ibni Sina from the Middle East contributed greatly to medical sciences. Scientists in the Indian subcontinent and China were using maths before the Europeans as far as I know. 