'''formal science''' branch science studying formal language disciplines concerned formal systems logic mathematics statistics theoretical computer science artificial intelligence information theory game theory systems theory decision theory theoretical linguistics whereas natural sciences social sciences seek characterize physical systems social systems respectively using empirical methods formal sciences language tools concerned characterizing abstract structures described symbolic systems formal sciences aid natural science social science actuarial science providing information structures used describe physical contemporary
Formal science