View source for Formal science

'''Formal sciences''' are disciplines concerned with [[Formal system|formal systems]], such as [[logic]], [[mathematics]], [[statistics]], [[theoretical computer science]], [[information theory]], [[game theory]], [[systems theory]], [[decision theory]], and theoretical linguistics.

== Description ==

Whereas the natural sciences seek to characterize physical systems using empirical methods, the formal sciences are concerned with characterizing abstract structures described by sign systems.

The formal sciences aid the natural sciences by providing information about the structures the latter use to describe the world, and what inferences may be made about them.

== See also ==

== External links ==

* [https://en.wikipedia.org/wiki/Formal_science Formal science] @ Wikipedia

[[Category:Logic]]
[[Category:Science]]