Formal science

• Logic (also a branch of philosophy) • Mathematics • Statistics • Theoretical computer science • Artificial intelligence • Game theory • Systems theory • Theoretical linguistics • Decision theory • Systems science • Data science • Information theory • Computer science • Cryptography ==Differences from other sciences==

Because of their non-empirical nature, formal sciences are construed by outlining a set of axioms and definitions from which other statements (theorems) are deduced. For this reason, in Rudolf Carnap's logical-positivist conception of the epistemology of science, theories belonging to formal sciences are understood to contain no synthetic statements, instead containing only analytic statements. ==See also==