Formal sciences are disciplines concerned with formal systems, such as logic, mathematics, statistics, theoretical computer science, information theory, game theory, systems theory, decision theory, and portions of linguistics.
Whereas natural sciences and other sciences like social sciences, behavioral sciences, and cognitive science seek soundness of scientific theory with respect to observations in order to successfully predict and perhaps accurately explain phenomena in the external world, the formal sciences are concerned with the internal properties of formal systems, especially definitions of terms and rules governing inferences.
Formal sciences sometimes aid constructing, assessing, and testing scientific theories and scientific models, however, by revealing inconsistencies or invalid forms of inference.
Read more about Formal Sciences: History, Differences From Other Forms of Science
Famous quotes containing the words formal and/or sciences:
“That anger can be expressed through words and non-destructive activities; that promises are intended to be kept; that cleanliness and good eating habits are aspects of self-esteem; that compassion is an attribute to be prized—all these lessons are ones children can learn far more readily through the living example of their parents than they ever can through formal instruction.”
—Fred Rogers (20th century)
“All the sciences are now under an obligation to prepare for the future task of philosopher, which is to solve the problem of value, to determine the rank order of values.”
—Friedrich Nietzsche (1844–1900)