Formal Sciences
Formal Science is the study of disciplines that focus on formal languages, such as Logic, Mathematics, Statistics, Theoretical Computer Science, Artificial Intelligence (AI), Information Theory, Game Theory, Systems Theory, Decision Theory, and Theoretical Linguistics. These fields use symbolic systems to describe and analyze abstract structures and relationships. Unlike the Natural Sciences and Social Sciences, which rely on empirical methods to study physical and social systems, the Formal Sciences provide linguistic and symbolic tools to model and understand these systems in a theoretical framework.
The insights from Formal Sciences are invaluable to disciplines like Natural Sciences, Social Sciences, and Actuarial Science, as they offer a foundation for representing and analyzing the structures of the physical and social world, as well as deriving logical conclusions from these models. Mathematics, often referred to as the "science of numbers," is a fundamental example of a Formal Science. Other branches include Computer Science, Statistics, Information Science, and Systems Science.
Code Descriptions in the Formal Sciences:
Code | Description | Supergroup |
---|---|---|
1700 | Computer Science | Formal Sciences |
2600 | Mathematics | Formal Sciences |