Formal Science

Formal science is a branch of science concerned with the study of abstract systems, structures, and relationships that are defined by formal rules and symbolic representations rather than by empirical observation of the physical world.  It includes disciplines such as mathematics, logic, statistics, and theoretical computer science, all of which rely on deductive reasoning, axiomatic systems, and internally consistent frameworks.  In formal science, knowledge is established by proving theorems from explicitly stated axioms using strict rules of inference, ensuring that conclusions follow necessarily from premises without dependence on experimental verification.

Unlike natural or empirical sciences, which validate hypotheses through observation and experimentation, formal science operates independently of physical measurement and instead evaluates the validity of statements based on logical consistency and mathematical rigor.  It provides the precise language, models, and analytical tools that underpin empirical sciences and engineering disciplines.   For example, calculus enables the formulation of physical laws, probability theory supports statistical inference, and logic underlies algorithm design and computational theory.  These are universally applicable because their validity does not depend on specific physical conditions but on the correctness of the formal system itself. 

Formal Science Branches

Information Theory  -  Studies the quantification, storage, transmission, and processing of information through mathematical models such as entropy, channel capacity, and coding theorems, as originally developed by Claude Shannon in 1948.
Logic  -  Investigates the principles of valid reasoning, inference, and argumentation using axiomatic systems, formal languages, and rules of deduction to establish necessary truths.
Mathematics  -  Concerned with the study of abstract structures, quantities, patterns, and relationships, developed deductively from axioms and definitions through logical proofs.
Statistics  -  Deals with the collection, analysis, interpretation, and presentation of data using mathematical methods grounded in probability theory and deductive inference.
Systems Theory  -  Examines abstract principles applicable to the structure, behavior, and organization of systems in general, focusing on concepts such as wholeness, relationships, and emergence independent of specific empirical domains.
Theoretical Computer Science  -  Investigates the fundamental mathematical and logical foundat