Category:Formal sciences: Difference between revisions

'''Formal science''' is a [[wikipedia:branch of science|branch]] of [[wikipedia:science|science]] studying [[wikipedia:formal language|formal language]] disciplines concerned with [[wikipedia:formal system|formal system]]s, such as [[wikipedia:logic|logic]], [[wikipedia:mathematics|mathematics]], [[wikipedia:statistics|statistics]], [[wikipedia:theoretical computer science|theoretical computer science]], [[wikipedia:artificial intelligence|artificial intelligence]], [[wikipedia:information theory|information theory]], [[wikipedia:game theory|game theory]], [[wikipedia:systems theory|systems theory]], [[wikipedia:decision theory|decision theory]], and [[wikipedia:theoretical linguistics|theoretical linguistics]].<ref>{{cite web |author1=American Mathematical Society |author-link1=American Mathematical Society |title=MSC2010 database |url=https://mathscinet.ams.org/mathscinet/msc/msc2010.html |website=mathscinet.ams.org |access-date=17 May 2019}}</ref>  Whereas the [[wikipedia:natural science|natural science]]s and [[wikipedia:social science|social science]]s seek to characterize [[wikipedia:physical systems|physical systems]] and [[wikipedia:social system|social system]]s, respectively, using empirical methods, the formal sciences are language [[wikipedia:tools|tools]] concerned with characterizing abstract structures described by [[wikipedia:sign systems|symbolic systems]]. The formal sciences aid the [[wikipedia:natural science|natural science]], [[wikipedia:social science|social science]] and [[wikipedia:actuarial science|actuarial science]] all through providing information about the structures used to describe the physical and the contemporary world, and what inferences may be made about them.{{Citation needed|date=January 2017}}