Formal sciences
From The Art and Popular Culture Encyclopedia
(Redirected from Formal science)
Related e |
Featured: |
The formal sciences are the branches of knowledge that are concerned with formal systems, such as logic, mathematics, theoretical computer science, information theory, systems theory, decision theory, statistics, and some aspects of linguistics.
Unlike other sciences, the formal sciences are not concerned with the validity of theories based on observations in the real world, but instead with the properties of formal systems based on definitions and rules. Methods of the formal sciences are, however, applied in constructing and testing scientific models dealing with observable reality.
[edit]
See also
- Rationalism
- Abstract structure
- Abstraction in mathematics
- Abstraction in computer science
- Formal
- Formal language
- Formal method
- Formal system
- Mathematical model
Unless indicated otherwise, the text in this article is either based on Wikipedia article "Formal sciences" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.