A theory is a
rational
Rationality is the quality of being guided by or based on reasons. In this regard, a person acts rationally if they have a good reason for what they do or a belief is rational if it is based on strong evidence. This quality can apply to an abili ...
type of
abstract thinking
Abstraction in its main sense is a conceptual process wherein general rules and concepts are derived from the usage and classification of specific examples, literal ("real" or "concrete") signifiers, first principles, or other methods.
"An abstr ...
about a
phenomenon
A phenomenon ( : phenomena) is an observable event. The term came into its modern philosophical usage through Immanuel Kant, who contrasted it with the noumenon, which ''cannot'' be directly observed. Kant was heavily influenced by Gottfried W ...
, or the results of such thinking. The process of contemplative and rational thinking is often associated with such processes as
observational study
In fields such as epidemiology, social sciences, psychology and statistics, an observational study draws inferences from a sample (statistics), sample to a statistical population, population where the dependent and independent variables, independ ...
or research. Theories may be
scientific
Science is a systematic endeavor that builds and organizes knowledge in the form of testable explanations and predictions about the universe.
Science may be as old as the human species, and some of the earliest archeological evidence for ...
, belong to a non-scientific discipline, or no discipline at all. Depending on the context, a theory's assertions might, for example, include generalized explanations of how
nature
Nature, in the broadest sense, is the physics, physical world or universe. "Nature" can refer to the phenomenon, phenomena of the physical world, and also to life in general. The study of nature is a large, if not the only, part of science. ...
works. The word has its roots in
ancient Greek
Ancient Greek includes the forms of the Greek language used in ancient Greece and the ancient world from around 1500 BC to 300 BC. It is often roughly divided into the following periods: Mycenaean Greek (), Dark Ages (), the Archaic peri ...
, but in modern use it has taken on several related meanings.
In modern science, the term "theory" refers to
scientific theories
A scientific theory is an explanation of an aspect of the natural world and universe that has been repeatedly tested and corroborated in accordance with the scientific method, using accepted protocols of observation, measurement, and evaluation ...
, a well-confirmed type of explanation of
nature
Nature, in the broadest sense, is the physics, physical world or universe. "Nature" can refer to the phenomenon, phenomena of the physical world, and also to life in general. The study of nature is a large, if not the only, part of science. ...
, made in a way
consistent
In classical deductive logic, a consistent theory is one that does not lead to a logical contradiction. The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a theory is consistent i ...
with the
scientific method
The scientific method is an empirical method for acquiring knowledge that has characterized the development of science since at least the 17th century (with notable practitioners in previous centuries; see the article history of scientific m ...
, and fulfilling the
criteria required by
modern science
The history of science covers the development of science from ancient history, ancient times to the present. It encompasses all three major branches of science: natural science, natural, social science, social, and formal science, formal.
Sc ...
. Such theories are described in such a way that scientific tests should be able to provide
empirical
Empirical evidence for a proposition is evidence, i.e. what supports or counters this proposition, that is constituted by or accessible to sense experience or experimental procedure. Empirical evidence is of central importance to the sciences and ...
support for it, or empirical contradiction ("
falsify
Falsifiability is a standard of evaluation of scientific theories and hypotheses that was introduced by the philosopher of science Karl Popper in his book ''The Logic of Scientific Discovery'' (1934). He proposed it as the cornerstone of a sol ...
") of it. Scientific theories are the most reliable, rigorous, and comprehensive form of scientific knowledge, in contrast to more common uses of the word "theory" that imply that something is unproven or speculative (which in formal terms is better characterized by the word ''
hypothesis
A hypothesis (plural hypotheses) is a proposed explanation for a phenomenon. For a hypothesis to be a scientific hypothesis, the scientific method requires that one can test it. Scientists generally base scientific hypotheses on previous obse ...
''). Scientific theories are distinguished from hypotheses, which are individual empirically
testable
Testability is a primary aspect of Science and the Scientific Method and is a property applying to an empirical hypothesis, involves two components:
#Falsifiability or defeasibility, which means that counterexamples to the hypothesis are logicall ...
conjecture
In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis (still a conjecture) or Fermat's Last Theorem (a conjecture until proven in 19 ...
s, and from
scientific laws
Scientific laws or laws of science are statements, based on repeated experiments or observations, that describe or predict a range of natural phenomena. The term ''law'' has diverse usage in many cases (approximate, accurate, broad, or narrow) ...
, which are descriptive accounts of the way nature behaves under certain conditions.
Theories guide the enterprise of finding facts rather than of reaching goals, and are neutral concerning alternatives among values. A theory can be a
body of knowledge
A body of knowledge (BOK or BoK) is the complete set of concepts, terms and activities that make up a professional domain, as defined by the relevant learned society or professional association.Oliver, G.R. (2012). ''Foundations of the Assumed Bus ...
, which may or may not be associated with particular explanatory
models
A model is an informative representation of an object, person or system. The term originally denoted the plans of a building in late 16th-century English, and derived via French and Italian ultimately from Latin ''modulus'', a measure.
Models c ...
. To theorize is to develop this body of knowledge.
The word theory or "in theory" is sometimes used erroneously by people to explain something which they individually did not experience or test before. In those instances, semantically, it is being substituted for another
concept
Concepts are defined as abstract ideas. They are understood to be the fundamental building blocks of the concept behind principles, thoughts and beliefs.
They play an important role in all aspects of cognition. As such, concepts are studied by s ...
, a
hypothesis
A hypothesis (plural hypotheses) is a proposed explanation for a phenomenon. For a hypothesis to be a scientific hypothesis, the scientific method requires that one can test it. Scientists generally base scientific hypotheses on previous obse ...
. Instead of using the word "hypothetically", it is replaced by a phrase: "in theory". In some instances the theory's credibility could be contested by calling it "just a theory" (implying that the idea has not even been tested).
[ Hence, that word "theory" is very often contrasted to " practice" (from Greek '']praxis
Praxis may refer to:
Philosophy and religion
* Praxis (process), the process by which a theory, lesson, or skill is enacted, practised, embodied, or realised
* Praxis model, a way of doing theology
* Praxis (Byzantine Rite), the practice of fai ...
'', πρᾶξις) a Greek term for ''doing'', which is opposed to theory.[David J Pfeiffer. ]
Scientific Theory vs Law
'. Science Journal
In academic publishing, a scientific journal is a periodical publication intended to further the progress of science, usually by reporting new research.
Content
Articles in scientific journals are mostly written by active scientists such as s ...
(on medium.com). 30 January 2017 A "classical example" of the distinction between "theoretical" and "practical" uses the discipline of medicine: medical theory
Medical research (or biomedical research), also known as experimental medicine, encompasses a wide array of research, extending from "basic research" (also called ''bench science'' or ''bench research''), – involving fundamental scientif ...
involves trying to understand the causes Causes, or causality, is the relationship between one event and another. It may also refer to:
* Causes (band), an indie band based in the Netherlands
* Causes (company)
Causes.com is a civic-technology app and website that enables users to orga ...
and nature of health and sickness, while the practical side of medicine is trying to make people healthy. These two things are related but can be independent, because it is possible to research health and sickness without curing specific patients, and it is possible to cure a patient without knowing how the cure worked.
Ancient usage
The English word ''theory'' derives from a technical term in philosophy in Ancient Greek
Ancient Greek includes the forms of the Greek language used in ancient Greece and the ancient world from around 1500 BC to 300 BC. It is often roughly divided into the following periods: Mycenaean Greek (), Dark Ages (), the Archaic peri ...
. As an everyday word, ''theoria
Christian mysticism is the tradition of mystical practices and mystical theology within Christianity which "concerns the preparation f the personfor, the consciousness of, and the effect of ..a direct and transformative presence of God" ...
'', , meant "looking at, viewing, beholding", but in more technical contexts it came to refer to contemplative
In a religious context, the practice of contemplation seeks a direct awareness of the divine which transcends the intellect, often in accordance with prayer or meditation.
Etymology
The word ''contemplation'' is derived from the Latin word '' ...
or speculative
Speculative may refer to:
In arts and entertainment
*Speculative art (disambiguation)
*Speculative fiction, which includes elements created out of human imagination, such as the science fiction and fantasy genres
**Speculative Fiction Group, a Per ...
understandings of natural things, such as those of natural philosopher
Natural philosophy or philosophy of nature (from Latin ''philosophia naturalis'') is the philosophical study of physics
Physics is the natural science that studies matter, its fundamental constituents, its motion and behavior throu ...
s, as opposed to more practical ways of knowing things, like that of skilled orators or artisans. English-speakers have used the word ''theory'' since at least the late 16th century. Modern uses of the word ''theory'' derive from the original definition, but have taken on new shades of meaning, still based on the idea of a theory as a thoughtful and rational
Rationality is the quality of being guided by or based on reasons. In this regard, a person acts rationally if they have a good reason for what they do or a belief is rational if it is based on strong evidence. This quality can apply to an abili ...
explanation of the general nature
Nature, in the broadest sense, is the physics, physical world or universe. "Nature" can refer to the phenomenon, phenomena of the physical world, and also to life in general. The study of nature is a large, if not the only, part of science. ...
of things.
Although it has more mundane meanings in Greek, the word apparently developed special uses early in the recorded history of the Greek language
Greek ( el, label=Modern Greek, Ελληνικά, Elliniká, ; grc, Ἑλληνική, Hellēnikḗ) is an independent branch of the Indo-European family of languages, native to Greece, Cyprus, southern Italy (Calabria and Salento), southern Al ...
. In the book ''From Religion to Philosophy'', Francis Cornford
Francis Macdonald Cornford (27 February 1874 – 3 January 1943) was an English classical scholar and translator known for work on ancient philosophy, notably Plato, Parmenides, Thucydides, and ancient Greek religion. Frances Cornford, his w ...
suggests that the Orphics
Orphism (more rarely Orphicism; grc, Ὀρφικά, Orphiká) is the name given to a set of religious beliefs and practices originating in the ancient Greek and Hellenistic world, associated with literature ascribed to the mythical poet Orpheus ...
used the word ''theoria'' to mean "passionate sympathetic contemplation". Pythagoras
Pythagoras of Samos ( grc, Πυθαγόρας ὁ Σάμιος, Pythagóras ho Sámios, Pythagoras the Samos, Samian, or simply ; in Ionian Greek; ) was an ancient Ionians, Ionian Ancient Greek philosophy, Greek philosopher and the eponymou ...
changed the word to mean "the passionless contemplation of rational, unchanging truth" of mathematical knowledge, because he considered this intellectual pursuit the way to reach the highest plane of existence. Pythagoras emphasized subduing emotions and bodily desires to help the intellect function at the higher plane of theory. Thus, it was Pythagoras who gave the word ''theory'' the specific meaning that led to the classical and modern concept of a distinction between theory (as uninvolved, neutral thinking) and practice.
Aristotle's terminology, as already mentioned, contrasts theory with ''praxis'' or practice, and this contrast exists till today. For Aristotle, both practice and theory involve thinking, but the aims are different. Theoretical contemplation considers things humans do not move or change, such as nature
Nature, in the broadest sense, is the physics, physical world or universe. "Nature" can refer to the phenomenon, phenomena of the physical world, and also to life in general. The study of nature is a large, if not the only, part of science. ...
, so it has no human aim apart from itself and the knowledge it helps create. On the other hand, ''praxis'' involves thinking, but always with an aim to desired actions, whereby humans cause change or movement themselves for their own ends. Any human movement that involves no conscious choice and thinking could not be an example of ''praxis'' or doing.
Formality
Theories are analytical tools for understanding
Understanding is a psychological process related to an abstract or physical object, such as a person, situation, or message whereby one is able to use concepts to model that object.
Understanding is a relation between the knower and an object o ...
, explaining, and making prediction
A prediction (Latin ''præ-'', "before," and ''dicere'', "to say"), or forecast, is a statement about a future event or data. They are often, but not always, based upon experience or knowledge. There is no universal agreement about the exact ...
s about a given subject matter. There are theories in many and varied fields of study, including the arts and sciences. A formal theory is syntactic
In linguistics, syntax () is the study of how words and morphemes combine to form larger units such as phrases and sentences. Central concerns of syntax include word order, grammatical relations, hierarchical sentence structure (constituency), ...
in nature and is only meaningful when given a semantic
Semantics (from grc, σημαντικός ''sēmantikós'', "significant") is the study of reference, meaning, or truth. The term can be used to refer to subfields of several distinct disciplines, including philosophy, linguistics and comput ...
component by applying it to some content (e.g., fact
A fact is a datum about one or more aspects of a circumstance, which, if accepted as true and proven true, allows a logical conclusion to be reached on a true–false evaluation. Standard reference works are often used to check facts. Scient ...
s and relationships of the actual historical world as it is unfolding). Theories in various fields of study are expressed in natural language
In neuropsychology, linguistics, and philosophy of language, a natural language or ordinary language is any language that has evolved naturally in humans through use and repetition without conscious planning or premeditation. Natural languages ...
, but are always constructed in such a way that their general form is identical to a theory as it is expressed in the formal language
In logic, mathematics, computer science, and linguistics, a formal language consists of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules.
The alphabet of a formal language consists of symb ...
of mathematical logic
Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ...
. Theories may be expressed mathematically, symbolically, or in common language, but are generally expected to follow principles of rational thought
Rationality is the quality of being guided by or based on reasons. In this regard, a person acts rationally if they have a good reason for what they do or a belief is rational if it is based on strong evidence. This quality can apply to an abili ...
or logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...
.
Theory is constructed of a set of sentences
''The Four Books of Sentences'' (''Libri Quattuor Sententiarum'') is a book of theology written by Peter Lombard in the 12th century. It is a systematic compilation of theology, written around 1150; it derives its name from the ''sententiae'' o ...
that are entirely true statements about the subject under consideration. However, the truth of any one of these statements is always relative to the whole theory. Therefore, the same statement may be true with respect to one theory, and not true with respect to another. This is, in ordinary language, where statements such as "He is a terrible person" cannot be judged as true or false without reference to some interpretation of who "He" is and for that matter what a "terrible person" is under the theory.[Curry, Haskell, ''Foundations of Mathematical Logic'']
Sometimes two theories have exactly the same explanatory power
Explanatory power is the ability of a hypothesis or theory to explain the subject matter effectively to which it pertains. Its opposite is ''explanatory impotence''.
In the past, various criteria or measures for explanatory power have been prop ...
because they make the same predictions. A pair of such theories is called indistinguishable or observationally equivalent, and the choice between them reduces to convenience or philosophical preference.
The form of theories is studied formally in mathematical logic, especially in model theory
In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the s ...
. When theories are studied in mathematics, they are usually expressed in some formal language and their statements are closed
Closed may refer to:
Mathematics
* Closure (mathematics), a set, along with operations, for which applying those operations on members always results in a member of the set
* Closed set, a set which contains all its limit points
* Closed interval, ...
under application of certain procedures called rules of inference
In the philosophy of logic, a rule of inference, inference rule or transformation rule is a logical form consisting of a function which takes premises, analyzes their syntax, and returns a conclusion (or conclusions). For example, the rule of in ...
. A special case of this, an axiomatic theory, consists of axioms
An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word (), meaning 'that which is thought worthy or f ...
(or axiom schemata) and rules of inference. A theorem
In mathematics, a theorem is a statement that has been proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of th ...
is a statement that can be derived from those axioms by application of these rules of inference. Theories used in applications are abstraction
Abstraction in its main sense is a conceptual process wherein general rules and concepts are derived from the usage and classification of specific examples, literal ("real" or "concrete") signifiers, first principles, or other methods.
"An abstr ...
s of observed phenomena and the resulting theorems provide solutions to real-world problems. Obvious examples include arithmetic
Arithmetic () is an elementary part of mathematics that consists of the study of the properties of the traditional operations on numbers— addition, subtraction, multiplication, division, exponentiation, and extraction of roots. In the 19th ...
(abstracting concepts of number), geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
(concepts of space), and probability
Probability is the branch of mathematics concerning numerical descriptions of how likely an Event (probability theory), event is to occur, or how likely it is that a proposition is true. The probability of an event is a number between 0 and ...
(concepts of randomness and likelihood).
Gödel's incompleteness theorem shows that no consistent, recursively enumerable
In computability theory, a set ''S'' of natural numbers is called computably enumerable (c.e.), recursively enumerable (r.e.), semidecidable, partially decidable, listable, provable or Turing-recognizable if:
*There is an algorithm such that the ...
theory (that is, one whose theorems form a recursively enumerable set) in which the concept of natural numbers
In mathematics, the natural numbers are those numbers used for counting (as in "there are ''six'' coins on the table") and ordering (as in "this is the ''third'' largest city in the country").
Numbers used for counting are called ''cardinal n ...
can be expressed, can include all true
True most commonly refers to truth, the state of being in congruence with fact or reality.
True may also refer to:
Places
* True, West Virginia, an unincorporated community in the United States
* True, Wisconsin, a town in the United States
* Tr ...
statements about them. As a result, some domains of knowledge cannot be formalized, accurately and completely, as mathematical theories. (Here, formalizing accurately and completely means that all true propositions—and only true propositions—are derivable within the mathematical system.) This limitation, however, in no way precludes the construction of mathematical theories that formalize large bodies of scientific knowledge.
Underdetermination
A theory is ''underdetermined'' (also called ''indeterminacy of data to theory'') if a rival, inconsistent theory is at least as consistent with the evidence. Underdetermination is an epistemological
Epistemology (; ), or the theory of knowledge, is the branch of philosophy concerned with knowledge. Epistemology is considered a major subfield of philosophy, along with other major subfields such as ethics, logic, and metaphysics.
Episte ...
issue about the relation of evidence
Evidence for a proposition is what supports this proposition. It is usually understood as an indication that the supported proposition is true. What role evidence plays and how it is conceived varies from field to field.
In epistemology, evidenc ...
to conclusions.
A theory that lacks supporting evidence is generally, more properly, referred to as a hypothesis
A hypothesis (plural hypotheses) is a proposed explanation for a phenomenon. For a hypothesis to be a scientific hypothesis, the scientific method requires that one can test it. Scientists generally base scientific hypotheses on previous obse ...
.
Intertheoretic reduction and elimination
If a new theory better explains and predicts a phenomenon than an old theory (i.e., it has more explanatory power
Explanatory power is the ability of a hypothesis or theory to explain the subject matter effectively to which it pertains. Its opposite is ''explanatory impotence''.
In the past, various criteria or measures for explanatory power have been prop ...
), we are justified in believing that the newer theory describes reality more correctly. This is called an ''intertheoretic reduction'' because the terms of the old theory can be reduced to the terms of the new one. For instance, our historical understanding about ''sound'', "light" and ''heat'' have been reduced to ''wave compressions and rarefactions'', ''electromagnetic waves'', and ''molecular kinetic energy'', respectively. These terms, which are identified with each other, are called ''intertheoretic identities.'' When an old and new theory are parallel in this way, we can conclude that the new one describes the same reality, only more completely.
When a new theory uses new terms that do not reduce to terms of an older theory, but rather replace them because they misrepresent reality, it is called an ''intertheoretic elimination.'' For instance, the obsolete scientific theory
This list catalogs well-accepted theories in science and pre-scientific natural philosophy and natural history which have since been superseded by scientific theories. Many discarded explanations were once supported by a scientific consensus, b ...
that put forward an understanding of heat transfer in terms of the movement of caloric fluid
The caloric theory is an obsolete scientific theory that heat consists of a self-repellent fluid called caloric that flows from hotter bodies to colder bodies. Caloric was also thought of as a weightless gas that could pass in and out of pores in ...
was eliminated when a theory of heat as energy replaced it. Also, the theory that phlogiston
The phlogiston theory is a superseded scientific theory that postulated the existence of a fire-like element called phlogiston () contained within combustible bodies and released during combustion. The name comes from the Ancient Greek (''burni ...
is a substance released from burning and rusting material was eliminated with the new understanding of the reactivity of oxygen.
Versus theorems
Theories are distinct from theorem
In mathematics, a theorem is a statement that has been proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of th ...
s. A ''theorem'' is derived
Derive may refer to:
* Derive (computer algebra system), a commercial system made by Texas Instruments
* ''Dérive'' (magazine), an Austrian science magazine on urbanism
*Dérive, a psychogeographical concept
See also
*
*Derivation (disambiguatio ...
deductively from axiom
An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word (), meaning 'that which is thought worthy or f ...
s (basic assumptions) according to a formal system
A formal system is an abstract structure used for inferring theorems from axioms according to a set of rules. These rules, which are used for carrying out the inference of theorems from axioms, are the logical calculus of the formal system.
A form ...
of rules, sometimes as an end in itself and sometimes as a first step toward being tested or applied in a concrete situation; theorems are said to be true in the sense that the conclusions of a theorem are logical consequences of the axioms. ''Theories'' are abstract and conceptual, and are supported or challenged by observations in the world. They are 'rigor
Rigour (British English) or rigor (American English; see spelling differences) describes a condition of stiffness or strictness. These constraints may be environmentally imposed, such as "the rigours of famine"; logically imposed, such as ma ...
ously tentative', meaning that they are proposed as true and expected to satisfy careful examination to account for the possibility of faulty inference or incorrect observation. Sometimes theories are incorrect, meaning that an explicit set of observations contradicts some fundamental objection or application of the theory, but more often theories are corrected to conform to new observations, by restricting the class of phenomena the theory applies to or changing the assertions made. An example of the former is the restriction of classical mechanics to phenomena involving macroscopic length scales and particle speeds much lower than the speed of light.
The theory–practice gap
Theory is often distinguished from practice. The question of whether theoretical models of work are relevant to work itself is of interest to scholars of professions such as medicine, engineering, and law, and management.
This gap between theory and practice has been framed as a knowledge transfer
Knowledge transfer is the sharing or disseminating of knowledge and the providing of inputs to problem solving. In organizational theory, knowledge transfer is the practical problem of transferring knowledge from one part of the organization t ...
where there is a task of translating research knowledge to be application in practice, and ensuring that practictioners are made aware of it academics have been criticized for not attempting to transfer the knowledge they produce to practitioners. Another framing supposes that theory and knowledge seek to understand different problems and model the world in different words (using different ontologies
In computer science and information science, an ontology encompasses a representation, formal naming, and definition of the categories, properties, and relations between the concepts, data, and entities that substantiate one, many, or all domains ...
and epistemologies) . Another framing says that research does not produce theory that is relevant to practice.
In the context of management, Van de Van and Johnson propose a form of engaged scholarship Engaged scholarship is the integration of education with community development. Ethical participatory research in education is introduced to high school and undergraduate curricula to serve the mutual benefit of students, faculty, and the communiti ...
where scholars examine problems that occur in practice, in an interdisciplinary
Interdisciplinarity or interdisciplinary studies involves the combination of multiple academic disciplines into one activity (e.g., a research project). It draws knowledge from several other fields like sociology, anthropology, psychology, ec ...
fashion, producing results that create both new practical results as well as new theoretical models, but targeting theoretical results shared in an academic fashion. They use a metaphor of "arbitrage" of ideas between disciplines, distinguishing it from collaboration.
Scientific
In science, the term "theory" refers to "a well-substantiated explanation of some aspect of the natural world, based on a body of facts that have been repeatedly confirmed through observation
Observation is the active acquisition of information from a primary source. In living beings, observation employs the senses. In science, observation can also involve the perception and recording of data via the use of scientific instruments. The ...
and experiment." Theories must also meet further requirements, such as the ability to make falsifiable
Falsifiability is a standard of evaluation of scientific theories and hypotheses that was introduced by the philosopher of science Karl Popper in his book ''The Logic of Scientific Discovery'' (1934). He proposed it as the cornerstone of a sol ...
predictions with consistent accuracy across a broad area of scientific inquiry, and production of strong evidence in favor of the theory from multiple independent sources (consilience
In science and history, consilience (also convergence of evidence or concordance of evidence) is the principle that evidence from independent, unrelated sources can "converge" on strong conclusions. That is, when multiple sources of evidence are ...
).
The strength of a scientific theory is related to the diversity of phenomena it can explain, which is measured by its ability to make falsifiable
Falsifiability is a standard of evaluation of scientific theories and hypotheses that was introduced by the philosopher of science Karl Popper in his book ''The Logic of Scientific Discovery'' (1934). He proposed it as the cornerstone of a sol ...
predictions
A prediction (Latin ''præ-'', "before," and ''dicere'', "to say"), or forecast, is a statement about a future event or data. They are often, but not always, based upon experience or knowledge. There is no universal agreement about the exact ...
with respect to those phenomena. Theories are improved (or replaced by better theories) as more evidence is gathered, so that accuracy in prediction improves over time; this increased accuracy corresponds to an increase in scientific knowledge. Scientists use theories as a foundation to gain further scientific knowledge, as well as to accomplish goals such as inventing technology or curing diseases.
Definitions from scientific organizations
The United States National Academy of Sciences
The National Academy of Sciences (NAS) is a United States nonprofit, non-governmental organization. NAS is part of the National Academies of Sciences, Engineering, and Medicine, along with the National Academy of Engineering (NAE) and the Nati ...
defines scientific theories as follows:The formal scientific definition of "theory" is quite different from the everyday meaning of the word. It refers to a comprehensive explanation of some aspect of nature that is supported by a vast body of evidence. Many scientific theories are so well established that no new evidence is likely to alter them substantially. For example, no new evidence will demonstrate that the Earth does not orbit around the sun (heliocentric theory), or that living things are not made of cells (cell theory), that matter is not composed of atoms, or that the surface of the Earth is not divided into solid plates that have moved over geological timescales (the theory of plate tectonics) ... One of the most useful properties of scientific theories is that they can be used to make predictions about natural events or phenomena that have not yet been observed.
From the American Association for the Advancement of Science
The American Association for the Advancement of Science (AAAS) is an American international non-profit organization with the stated goals of promoting cooperation among scientists, defending scientific freedom, encouraging scientific respons ...
:
A scientific theory is a well-substantiated explanation of some aspect of the natural world, based on a body of facts that have been repeatedly confirmed through observation and experiment. Such fact-supported theories are not "guesses" but reliable accounts of the real world. The theory of biological evolution is more than "just a theory." It is as factual an explanation of the universe as the atomic theory of matter or the germ theory of disease. Our understanding of gravity is still a work in progress. But the phenomenon of gravity, like evolution, is an accepted fact.
The term ''theory'' is not appropriate for describing scientific models
Scientific modelling is a scientific activity, the aim of which is to make a particular part or feature of the world easier to understand, define, quantify, visualize, or simulate by referencing it to existing and usually commonly accepted ...
or untested, but intricate hypotheses.
Philosophical views
The logical positivist
Logical positivism, later called logical empiricism, and both of which together are also known as neopositivism, is a movement in Western philosophy whose central thesis was the verification principle (also known as the verifiability criterion o ...
s thought of scientific theories as ''deductive theories''—that a theory's content is based on some formal system
A formal system is an abstract structure used for inferring theorems from axioms according to a set of rules. These rules, which are used for carrying out the inference of theorems from axioms, are the logical calculus of the formal system.
A form ...
of logic and on basic axioms
An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word (), meaning 'that which is thought worthy or f ...
. In a deductive theory, any sentence which is a logical consequence
Logical consequence (also entailment) is a fundamental concept in logic, which describes the relationship between statements that hold true when one statement logically ''follows from'' one or more statements. A valid logical argument is on ...
of one or more of the axioms is also a sentence of that theory. This is called the received view of theories The received view of theories is a position in the philosophy of science that identifies a scientific theory with a set of propositions which are considered to be linguistic objects, such as axioms. Frederick Suppe describes the position of the r ...
.
In the semantic view of theories The semantic view of theories is a position in the philosophy of science that holds that a scientific theory can be identified with a collection of models. The semantic view of theories was originally proposed by Patrick Suppes in “A Comparison ...
, which has largely replaced the received view, theories are viewed as scientific models
Scientific modelling is a scientific activity, the aim of which is to make a particular part or feature of the world easier to understand, define, quantify, visualize, or simulate by referencing it to existing and usually commonly accepted ...
. A model
A model is an informative representation of an object, person or system. The term originally denoted the Plan_(drawing), plans of a building in late 16th-century English, and derived via French and Italian ultimately from Latin ''modulus'', a mea ...
is a logical framework intended to represent reality (a "model of reality"), similar to the way that a map is a graphical model that represents the territory of a city or country. In this approach, theories are a specific category of models that fulfill the necessary criteria. (See Theories as models for further discussion.)
In physics
In physics
Physics is the natural science that studies matter, its fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge which r ...
the term ''theory'' is generally used for a mathematical framework—derived from a small set of basic postulates
An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word (), meaning 'that which is thought worthy or f ...
(usually symmetries, like equality of locations in space or in time, or identity of electrons, etc.)—which is capable of producing experimental predictions for a given category of physical systems. One good example is classical electromagnetism
Classical electromagnetism or classical electrodynamics is a branch of theoretical physics that studies the interactions between electric charges and currents using an extension of the classical Newtonian model; It is, therefore, a classical fie ...
, which encompasses results derived from gauge symmetry
In physics, a gauge theory is a type of field theory in which the Lagrangian (and hence the dynamics of the system itself) does not change (is invariant) under local transformations according to certain smooth families of operations (Lie groups) ...
(sometimes called gauge invariance) in a form of a few equations called Maxwell's equations
Maxwell's equations, or Maxwell–Heaviside equations, are a set of coupled partial differential equations that, together with the Lorentz force law, form the foundation of classical electromagnetism, classical optics, and electric circuits.
...
. The specific mathematical aspects of classical electromagnetic theory are termed "laws of electromagnetism", reflecting the level of consistent and reproducible evidence that supports them. Within electromagnetic theory generally, there are numerous hypotheses about how electromagnetism applies to specific situations. Many of these hypotheses are already considered adequately tested, with new ones always in the making and perhaps untested.
Regarding the term "theoretical"
Certain tests may be infeasible or technically difficult. As a result, theories may make predictions that have not been confirmed or proven incorrect. These predictions may be described informally as "theoretical". They can be tested later, and if they are incorrect, this may lead to revision, invalidation, or rejection of the theory.
Mathematical
In mathematics the use of the term ''theory'' is different, necessarily so, since mathematics contains no explanations of natural phenomena, ''per se'', even though it may help provide insight into natural systems or be inspired by them. In the general sense, a mathematical ''theory'' is a branch of or topic in mathematics, such as Set theory
Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly conce ...
, Number theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777 ...
, Group theory
In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups.
The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field ...
, Probability theory
Probability theory is the branch of mathematics concerned with probability. Although there are several different probability interpretations, probability theory treats the concept in a rigorous mathematical manner by expressing it through a set o ...
, Game theory
Game theory is the study of mathematical models of strategic interactions among rational agents. Myerson, Roger B. (1991). ''Game Theory: Analysis of Conflict,'' Harvard University Press, p.&nbs1 Chapter-preview links, ppvii–xi It has appli ...
, Control theory
Control theory is a field of mathematics that deals with the control of dynamical systems in engineered processes and machines. The objective is to develop a model or algorithm governing the application of system inputs to drive the system to a ...
, Perturbation theory
In mathematics and applied mathematics, perturbation theory comprises methods for finding an approximate solution to a problem, by starting from the exact solution of a related, simpler problem. A critical feature of the technique is a middle ...
, etc., such as might be appropriate for a single textbook.
In the same sense, but more specifically, the word ''theory'' is an extensive, structured collection of theorems, organized so that the proof of each theorem only requires the theorems and axioms that preceded it (no circular proofs), occurs as early as feasible in sequence (no postponed proofs), and the whole is as succinct as possible (no redundant proofs). Ideally, the sequence in which the theorems are presented is as easy to understand as possible, although illuminating a branch of mathematics is the purpose of textbooks, rather than the mathematical theory they might be written to cover.
Philosophical
A theory can be either ''descriptive'' as in science, or ''prescriptive'' (normative
Normative generally means relating to an evaluative standard. Normativity is the phenomenon in human societies of designating some actions or outcomes as good, desirable, or permissible, and others as bad, undesirable, or impermissible. A norm in ...
) as in philosophy. The latter are those whose subject matter consists not of empirical data, but rather of idea
In common usage and in philosophy, ideas are the results of thought. Also in philosophy, ideas can also be mental representational images of some object. Many philosophers have considered ideas to be a fundamental ontological category of being ...
s. At least some of the elementary theorems of a philosophical theory are statements whose truth cannot necessarily be scientifically tested through empirical observation
Empirical evidence for a proposition is evidence, i.e. what supports or counters this proposition, that is constituted by or accessible to sense experience or experimental procedure. Empirical evidence is of central importance to the sciences and ...
.
A field of study is sometimes named a "theory" because its basis is some initial set of assumptions describing the field's approach to the subject. These assumptions are the elementary theorems of the particular theory, and can be thought of as the axioms of that field. Some commonly known examples include set theory
Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly conce ...
and number theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777 ...
; however literary theory
Literary theory is the systematic study of the nature of literature and of the methods for literary analysis. Culler 1997, p.1 Since the 19th century, literary scholarship includes literary theory and considerations of intellectual history, mo ...
, critical theory
A critical theory is any approach to social philosophy that focuses on society and culture to reveal, critique and challenge power structures. With roots in sociology and literary criticism, it argues that social problems stem more from soci ...
, and music theory
Music theory is the study of the practices and possibilities of music. ''The Oxford Companion to Music'' describes three interrelated uses of the term "music theory". The first is the "rudiments", that are needed to understand music notation (ke ...
are also of the same form.
Metatheory
One form of philosophical theory is a ''metatheory'' or ''meta-theory''. A metatheory is a theory whose subject matter is some other theory or set of theories. In other words, it is a theory about theories. Statements
Statement or statements may refer to: Common uses
*Statement (computer science), the smallest standalone element of an imperative programming language
*Statement (logic), declarative sentence that is either true or false
*Statement, a declarative ...
made in the metatheory about the theory are called metatheorem
In logic, a metatheorem is a statement about a formal system proven in a metalanguage. Unlike theorems proved within a given formal system, a metatheorem is proved within a metatheory, and may reference concepts that are present in the metatheory ...
s.
Political
A political theory is an ethical
Ethics or moral philosophy is a branch of philosophy that "involves systematizing, defending, and recommending concepts of right and wrong behavior".''Internet Encyclopedia of Philosophy'' The field of ethics, along with aesthetics, concerns ma ...
theory about the law and government. Often the term "political theory" refers to a general view, or specific ethic, political belief or attitude, thought about politics.
Jurisprudential
In social science, jurisprudence is the philosophical theory of law. Contemporary philosophy of law addresses problems internal to law and legal systems, and problems of law as a particular social institution.
Examples
Most of the following are scientific theories. Some are not, but rather encompass a body of knowledge or art, such as Music theory and Visual Arts Theories.
* Anthropology: Carneiro's circumscription theory
* Astronomy: Alpher–Bethe–Gamow paper, Alpher–Bethe–Gamow theory — B2FH paper, B2FH Theory — Copernican heliocentrism, Copernican theory — Gravity#Newton's theory of gravitation, Newton's theory of gravitation — Hubble's law — Kepler's laws of planetary motion Geocentric model, Ptolemaic theory
* Cosmology: Big Bang Theory — Cosmic inflation — Loop quantum gravity — Superstring theory — Supergravity — Supersymmetric theory — Multiverse theory — Holographic principle — Quantum gravity — M-theory
* Biology: Cell theory — Evolution — Germ theory
* Chemistry: Molecule, Molecular theory — Kinetic theory of gases — Molecular orbital theory — Valence bond theory — Transition state theory — RRKM theory — Chemical graph theory — Flory–Huggins solution theory — Marcus theory — Lewis theory (successor to Brønsted–Lowry acid–base theory) — HSAB theory — Debye–Hückel theory — Thermodynamic theory of polymer elasticity — Reptation theory — Polymer field theory — Møller–Plesset perturbation theory — density functional theory — Frontier molecular orbital theory — Polyhedral skeletal electron pair theory — Baeyer strain theory — Qtaim, Quantum theory of atoms in molecules — Collision theory — Ligand field theory (successor to Crystal field theory) — Variational transition-state theory — Benson group increment theory — Specific ion interaction theory
* Climatology: Climate variability and change, Climate change theory (general study of climate changes) and Human impact on the environment, anthropogenic climate change (ACC)/ global warming (AGW) theories (due to human activity)
* Economics: Macroeconomic theory — Microeconomic theory — Law of Supply and demand
* Education: Constructivist theory — Critical pedagogy theory — Education theory — Multiple intelligence theory — Progressive education theory
* Engineering: Circuit theory — Control theory
Control theory is a field of mathematics that deals with the control of dynamical systems in engineered processes and machines. The objective is to develop a model or algorithm governing the application of system inputs to drive the system to a ...
— Signal theory — Systems theory — Information theory
* Film: Film theory
* Geology: Plate tectonics
* Humanities: Critical theory
* Jurisprudence or 'Legal theory': Natural law — Legal positivism — Legal realism — Critical legal studies
* Law: see Jurisprudence; also Case theory (in law), Case theory
* Linguistics: X-bar theory — Government and Binding — Principles and parameters — Universal grammar
* Literature: Literary theory
* Mathematics: Approximation theory — Arakelov theory — Asymptotic theory — Bifurcation theory — Catastrophe theory — Category theory — Chaos theory — Choquet theory — Coding theory — Combinatorial game theory — Computability theory — Computational complexity theory — Deformation theory — Dimension theory — Ergodic theory — Field theory (mathematics), Field theory — Galois theory — Game theory
Game theory is the study of mathematical models of strategic interactions among rational agents. Myerson, Roger B. (1991). ''Game Theory: Analysis of Conflict,'' Harvard University Press, p.&nbs1 Chapter-preview links, ppvii–xi It has appli ...
— Graph theory — Group theory
In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups.
The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field ...
— Hodge theory — Homology theory — Homotopy theory — Ideal theory — Intersection theory — Invariant theory — Iwasawa theory — K-theory — KK-theory — Knot theory — L-theory — Lie theory — Littlewood–Paley theory — Matrix (mathematics), Matrix theory — Measure theory — Model theory — Morse theory — Nevanlinna theory — Number theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777 ...
— Obstruction theory — Operator theory — PCF theory — Perturbation theory
In mathematics and applied mathematics, perturbation theory comprises methods for finding an approximate solution to a problem, by starting from the exact solution of a related, simpler problem. A critical feature of the technique is a middle ...
— Potential theory — Probability theory
Probability theory is the branch of mathematics concerned with probability. Although there are several different probability interpretations, probability theory treats the concept in a rigorous mathematical manner by expressing it through a set o ...
— Ramsey theory — Rational choice theory — Representation theory — Ring theory — Set theory
Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly conce ...
— Shape theory (mathematics), Shape theory — Small cancellation theory — Spectral theory — Stability theory — Stable theory — Sturm–Liouville theory — Twistor theory
* Music: Music theory
* Philosophy: Proof theory — Speculative reason — Truth, Theory of truth — Type theory — Value theory — Virtue theory
* Physics: Acoustic theory — Antenna theory — Atomic theory — BCS theory — Dirac hole theory — Dynamo theory — Landau theory — M-theory — Perturbation theory (quantum mechanics), Perturbation theory — Theory of relativity (successor to classical mechanics) — Quantum field theory — Scattering theory — String theory — Quantum information theory
* Psychology: Theory of mind — Cognitive dissonance theory — Attachment theory — Object permanence — Poverty of stimulus — Attribution theory — Self-fulfilling prophecy — Stockholm syndrome
* Public Budgeting: Incrementalism — Zero-based budgeting
* Public Administration: Organizational theory
* Semiotics: Intertheoricity
Transferogenesis
* Sociology: Critical theory (Frankfurt School), Critical theory — Engaged theory — Social theory — Sociological theory – Social capital theory
* Statistics: Extreme value theory
* Theatre#Theories of theatre, Theatre: Performance studies, Performance theory
* Visual Art: Aesthetics — Art teaching, Art educational theory — Architecture — Composition (visual arts), Composition — Anatomy — Color theory — Perspective (graphical), Perspective — Visual perception — Geometry — Manifolds
* Other: Obsolete scientific theories
See also
* Falsifiability
* Hypothesis testing
* Physical law
* Predictive power
* Testability
* Theoretical definition
Notes
References
Citations
Sources
* Davidson Reynolds, Paul (1971). ''A primer in theory construction''. Boston: Allyn and Bacon.
* Guillaume, Astrid (2015). « Intertheoricity: Plasticity, Elasticity and Hybridity of Theories. Part II: Semiotics of Transferogenesis », in ''Human and Social studies'', Vol.4, N°2 (2015), éd.Walter de Gruyter, Boston, Berlin, pp. 59–77.
* Guillaume, Astrid (2015). « The Intertheoricity : Plasticity, Elasticity and Hybridity of Theories », in ''Human and Social studies'', Vol.4, N°1 (2015), éd.Walter de Gruyter, Boston, Berlin, pp. 13–29.
* Hawking, Stephen (1996). ''A Brief History of Time'' (Updated and expanded ed.). New York: Bantam Books, p. 15.
*
* .
* Karl Popper, Popper, Karl (1963), ''Conjectures and Refutations'', Routledge and Kegan Paul, London, UK, pp. 33–39. Reprinted in Theodore Schick (ed., 2000), ''Readings in the Philosophy of Science'', Mayfield Publishing Company, Mountain View, California, USA, pp. 9–13.
* Zima, Peter V. (2007). "What is theory? Cultural theory as discourse and dialogue". London: Continuum (translated from: Was ist Theorie? Theoriebegriff und Dialogische Theorie in der Kultur- und Sozialwissenschaften. Tübingen: A. Franke Verlag, 2004).
External links
"How science works: Even theories change"
''Understanding Science'' by the University of California Museum of Paleontology.
{{Authority control
Theories,
Abstraction
Conceptual systems
Inductive reasoning
Ontology