Formal sciences
 |
| Formal sciences |
The formal sciences are the branches of science that are concerned with formal systems, such as logic, mathematics, theoretical computer science, information theory, systems theory, decision theory, statistics.
Unlike other branches, the formal sciences are not concerned with the validity of theories based on observations in the real world (empirical knowledge),
However, instead of with the properties of formal systems are based on definitions and rules.
Hence there is disagreement on whether the formal sciences constitute a science.
Methods of the formal sciences are, however, essential to the construction and testing of scientific models dealing with observable reality,
Moreover, significant advances in formal sciences have often enabled major advances in the empirical sciences.
Logic
 |
| Logic |
Logic (from Greek: λογική, logikḗ, 'possessed of reason, intellectual, dialectical, argumentative') is the systematic study of valid rules of inference, i.e.
The relations that lead to the acceptance of one proposition (the conclusion) based on a set of other propositions (premises).
More broadly, logic is the analysis and appraisal of arguments.
It has traditionally included the classification of arguments; the systematic exposition of the logical forms;
the validity and soundness of deductive reasoning; the strength of inductive reasoning; the study of formal proofs and inference (including paradoxes and fallacies);
and the study of syntax and semantics.
Historically, logic has been studied in philosophy (since ancient times) and mathematics (since the mid-19th century).
More recently, logic has been studied in cognitive science, which draws on computer science, linguistics, philosophy, and psychology, among other disciplines.
Mathematics
 |
| Mathematics |
Mathematics, in the broadest sense, is just a synonym of formal science; but traditionally, mathematics means more specifically the coalition of four areas:
arithmetic, algebra, geometry, and analysis, which are, roughly speaking, the study of quantity, structure, space, and change, respectively.
Statistics
 |
| Statistics |
Statistics is the study of the collection, organization, and interpretation of data.
It deals with all aspects of this, including data collection planning in terms of the design of surveys and experiments.
A statistician is particularly well-versed in the ways of thinking necessary for the successful application of statistical analysis.
Such people have often gained this experience through working in any of a vast number of fields. There is also a discipline called mathematical statistics,
which is concerned with the theoretical basis of the subject.
When referring to the scientific discipline, the word statistics is singular, as in "Statistics is an art." This should not be confused with the word statistic,
referring to a quantity (such as mean or median) calculated from a set of data, whose plural is statistics ("this statistic seems wrong" or "these statistics are misleading").
Systems theory
 |
| Systems theory |
Systems theory is the transdisciplinary study of systems to elucidate principles applicable to all types of systems in all fields of research.
The term does not yet have a well-established, precise meaning, but systems theory can reasonably be considered a specialization of systems thinking and a generalization of systems science.
The term originates from Bertalanffy's General System Theory (GST) and is used in later efforts in other fields, such as the action theory of Talcott Parsons and the sociological autopoiesis of Niklas Luhmann.
In this context, the word systems are used to refer specifically to self-regulating systems, i.e., that are self-correcting through feedback.
Self-regulating systems are found in nature, including our body's physiological systems, local and global ecosystems, and climate.
Decision theory
 |
| Decision theory |
Decision theory (or the theory of choice not to be confused with choice theory) is the study of an agent's choices. Decision theory can be broken into two branches: normative decision theory,
which analyzes the outcomes of decisions or determines the optimal decisions given constraints and assumptions, and descriptive decision theory, which analyzes how agents make the decisions they do.
Decision theory is closely related to the field of game theory and is an interdisciplinary topic studied by economists, statisticians,
psychologists, biologists, political and other social scientists, philosophers, and computer scientists.
Empirical applications of this rich theory are usually made with the help of statistical and econometric methods.
Theoretical computer science
 |
| Theoretical computer science |
Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on more mathematical computing topics and includes computation theory.
It is not easy to circumscribe the theoretical areas precisely. The ACM's Special Interest Group on Algorithms and Computation Theory (SIGACT) provides the following description:
TCS covers a wide variety of topics, including algorithms, data structures, computational complexity, parallel and distributed computation, probabilistic computation,
quantum computation, automata theory, information theory, cryptography, program semantics and verification, machine learning, computational biology, computational economics,
computational geometry, and computational number theory and algebra. Work in this field is often distinguished by its emphasis on mathematical technique and rigour.
