Outline of formal science
| Part of a series on |
| Science |
|---|
| A stylised Bohr model of a lithium atom |
| General |
| Branches |
| Science studies & Society |
Formal science is a branch of science studying disciplines concerned with abstract structures described by formal systems.
Whereas the natural sciences and social sciences seek to characterize physical systems and social systems, respectively, using theoretical and empirical methods, the formal sciences use language tools concerned with characterizing abstract structures described by formal systems and the deductions that can be made from them.
The formal sciences aid the natural and social sciences by providing information about the structures used to describe the physical world, and what inferences may be made about them.[1]
Branches
- 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
One reason why mathematics enjoys special esteem, above all other sciences, is that its laws are absolutely certain and indisputable, while those of other sciences are to some extent debatable and in constant danger of being overthrown by newly discovered facts.
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.[3][4]
See also
- Philosophy – Study of general and fundamental questions
- Abstract and concrete – Metaphysics concept covering the divide between two types of entities
- Analytic–synthetic distinction – Semantic distinction in philosophy
- Rationalism – Epistemological view centered on reason
- Science – Systematic endeavour to gain knowledge
- Cognitive science – Interdisciplinary scientific study of cognitive processes
- Mathematical sciences – Group of areas of study that are primarily mathematical
- Abstract structure
- Abstraction in mathematics
- Abstraction in computer science
- Formalism (philosophy of mathematics)
- Formal language
- Formal methods
- Formal system – Mathematical model for deduction or proof systems
- Form and content
- Mathematical model – Description of a system using mathematical concepts and language
- Mathematics Subject Classification
- Semiotics
- Theory of forms – Philosophical theory attributed to Plato
References
- ↑ Ramoo, Dinesh (2024). Critical Thinking. Thompson Rivers University Open Press.
- ↑ Albert Einstein (1923). "Geometry and Experience". Sidelights on relativity. Courier Dover Publications. p. 27. Reprinted by Dover (2010), ISBN 978-0-486-24511-9.
- ↑ Carnap, Rudolf (1938). "Logical Foundations of the Unity of Science". International Encyclopaedia of Unified Science. Vol. I. Chicago: University of Chicago Press.
- ↑ Thompson, Bill (2007), "2.4 Formal Science and Applied Mathematics", The Nature of Statistical Evidence, Lecture Notes in Statistics, vol. 189 (1st ed.), Springer, p. 15
Further reading
- Mario Bunge (1985). Philosophy of Science and Technology. Springer.
- Mario Bunge (1998). Philosophy of Science. Rev. ed. of: Scientific research. Berlin, New York: Springer-Verlag, 1967.
- C. West Churchman (1940). Elements of Logic and Formal Science, J.B. Lippincott Co., New York.
- James Franklin (1994). The formal sciences discover the philosophers' stone. In: Studies in History and Philosophy of Science. Vol. 25, No. 4, pp. 513–533, 1994
- Stephen Leacock (1906). Elements of Political Science. Houghton, Mifflin Co, 417 pp.
- Popper, Karl R. (2002) [1959]. The Logic of Scientific Discovery. New York, NY: Routledge Classics. ISBN 0-415-27844-9. OCLC 59377149.
- Bernt P. Stigum (1990). Toward a Formal Science of Economics. MIT Press
- Marcus Tomalin (2006), Linguistics and the Formal Sciences. Cambridge University Press
- William L. Twining (1997). Law in Context: Enlarging a Discipline. 365 pp.
External links
- Wikimedia Commons logo Media related to Formal sciences at Wikimedia Commons
- Interdisciplinary conferences — Foundations of the Formal Sciences
Attribution
Text copied from English Wikipedia: Outline of formal science; contributing authors and revision history. Available under Creative Commons Attribution-ShareAlike 4.0.