Theory
The word "
theory" has a number of distinct meanings in different fields of
knowledge, depending on the context and their
methodologies. In common usage, people use the word "theory" to signify "conjecture", "speculation", or "opinion." In this sense, "theories" are opposed to "facts" — parts of the world, or claims about the world, that are real or true regardless of what people think.
In science, a theory is a proposed description, explanation, or
model of the manner of interaction of a set of
natural phenomena, capable of predicting future occurrences or observations of the same kind, and capable of being tested through
experiment or otherwise falsified through
empirical observation. It follows from this that for scientists "theory" and "fact" do not necessarily stand in opposition. For example, it is a fact that an apple dropped on earth has been observed to fall towards the center of the planet, and the theory which explains why the apple behaves so is the current theory of
gravitation.
The word ‘theory' derives from the
Greek ‘theorein', which means ‘to look at'. According to some sources, it was used frequently in terms of ‘looking at' a theatre stage, which may explain why sometimes the word ‘theory' is used as something provisional or not completely resembling
real. The term ‘theoria' (a noun) was already used by the scholars of
ancient Greece. Theorein is built upon 'to theion' (the divine) or 'to theia' (divine things) 'orao' (I see), ie 'contemplate the divine'. 'Divine' was understood as harmony and order (or
logos) permeating the real world surrounding us.
In scientific usage, a
theory does not mean an unsubstantiated
guess or
hunch, as it often does in other contexts. A theory is a logically self-consistent
model or framework for describing the behavior of a related set of natural or social phenomena. It originates from and/or is supported by
experimental evidence (see
scientific method). In this sense, a theory is a systematic and formalized expression of all previous observations that is predictive,
logical and testable. In principle, scientific theories are always tentative, and subject to corrections or inclusion in a yet wider theory. Commonly, a large number of more specific
hypotheses may be logically bound together by just one or two theories. As a general rule for use of the term, theories tend to deal with much broader sets of universals than do hypotheses, which ordinarily deal with much more specific sets of phenomena or specific applications of a theory.
The term
theoretical is sometimes used to describe a result that is predicted by theory but has not yet been adequately confirmed by
observation or
experiment. It is not uncommon for a theory to produce predictions that are later confirmed by experiment. If enough experiments and observations are made by many researchers, such a theory may become sufficiently verified to be considered so thoroughly confirmed that its premises may after that stage be termed
scientific laws in the sense of being a generalizations based on empirical observations (not to be confused with
laws which
prescribe how the world should be). Depending on the context, an extremely well-confirmed theory may allow the terms "theory" and "law" to be used interchangeably without any objection by experts familiar with the current state of the research. In the example given below, electromagnetic theory as a whole is today sufficiently investigated that it is often referred to simply as "electromagnetism". Newton's theory of gravity is today normally referred to as the "
law of gravity" as it provides a generalization useful for many practical purposes, but beyond certain limits the more accurate
general relativity theory must be used. Because it is quite well confirmed, the
theory of relativity today is often simply referred to as "relativity." As another example, until recently
black holes were considered theoretical. Failed predictions also occur, however, and sometimes work to
falsify a theory. Conversely, at any time, confirmed experimental results may exist that are not yet explained by theory.
In
physics, the term
theory is generally used for a mathematical framework — derived from a small set of basic principles (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. A good example is
electromagnetic theory, which encompasses the results that can be derived from
gauge symmetry (sometimes called
gauge invariance) in a form of a few equations called
Maxwell's equations. Another name for this theory is
classical electromagnetism. Note that the specific theoretical aspects of classical electromagnetic theory, which have been consistently and successfully replicated for well over a century, are termed "laws of electromagneticsm", reflecting the fact that they are today taken as granted. Within electromagnetic theory generally, there are numerous hypotheses about how electromagnetism applies to specific situations. Many of these hypotheses are already considered to be adequately confirmed, with new ones always in the making and perhaps untested as yet.
The term
theory is occasionally stretched to refer to theoretical speculation that is currently unverifiable. Examples are
string theory and various
theories of everything. In common speech,
theory has a far wider and less defined meaning than its use in the sciences.
Theories as "models"
Humans construct theories in order to explain, predict and master phenomena (e.g. inanimate things, events, or the behaviour of animals). In many instances we are constructing
models of
reality. A theory makes generalizations about observations and consists of an interrelated, coherent set of ideas and models.
According to
Stephen Hawking in
A Brief History of Time, "a theory is a good theory if it satisfies two requirements: It must accurately describe a large class of observations on the basis of a model that contains only a few arbitrary elements, and it must make definite predictions about the results of future observations." He goes on to state, "any physical theory is always provisional, in the sense that it is only a hypothesis; you can never prove it. No matter how many times the results of experiments agree with some theory, you can never be sure that the next time the result will not contradict the theory. On the other hand, you can disprove a theory by finding even a single repeatable observation that disagrees with the predictions of the theory."
This is a view shared by
Isaac Asimov. In
Understanding Physics, Asimov spoke of theories as "arguments" where one deduces a "scheme" or model. Arguments or theories always begin with some premises - "arbitrary elements" as Hawking calls them (see above), which are here described as "assumptions". An assumption according to Asimov is "something accepted without proof, and it is incorrect to speak of an assumption as either true or false, since there is no way of proving it to be either. (If there were, it would no longer be an assumption.) It is better to consider assumptions as either useful or useless, depending on whether deductions made from them corresponded to reality.... On the other hand, it seems obvious that assumptions are the weak points in any argument, as they have to be accepted on faith in a philosophy of science that prides itself on its rationalism. Since we must start somewhere, we must have assumptions, but at least let us have as few assumptions as possible." (See
Ockham's razor)
As an example of the use of assumptions to formulate a theory, consider how
Albert Einstein put forth his
Special Theory of Relativity. He took two phenomena that had been observed — that the "addition of velocities" is valid (
Galilean transformation), and that light did not appear to have an "addition of velocities" (
Michelson-Morley experiment). He assumed both observations to be correct, and formulated his theory, based on these assumptions, by simply altering the Galilean transformation to accommodate the lack of addition of velocities with regard to the speed of light. The model created in his theory is, therefore, based on the assumption that light maintains a constant velocity (or more precisely: the speed of light is a constant).
An example of how theories are models can be seen from theories on the planetary system. The Greeks formulated theories that were recorded by the astronomer
Ptolemy. In Ptolemy's planetary model, the earth was at the center, the planets and the sun made circular orbits around the earth, and the stars were on a sphere outside of the orbits of the planet and the earth.
Retrograde motion of the planets was explained by smaller circular orbits of individual planets. This could be illustrated as a model, and could even be built into a literal model. Mathematical calculations could be made that predicted, to a great degree of accuracy, where the planets would be. His model of the planetary system survived for over 1500 years until the time of
Copernicus. So one can see that a theory is a
model of reality, one that explains certain scientific facts; yet the theory may not be a true picture of reality. Another, more accurate, theory can later replace the previous model.
(Note: In engineering practise there is a distinction between "mathematical models" and "physical models" — for example, the winged rockets built by
Convair to test the
Whitcomb area rule for the
F-106 supersonic aircraft.)
Characteristics
The defining characteristic of a scientific theory is that it makes
falsifiable or testable
predictions about things not yet observed. The relevance, and specificity of those predictions determine how (potentially) useful the theory is. A would-be theory that makes no predictions that can be observed is not a useful theory. Predictions which are not sufficiently specific to be tested are similarly not useful. In both cases, the term theory is inapplicable.
In practice a body of descriptions of
knowledge is usually only called a theory once it has a minimum empirical basis. That is, it:
* is consistent with pre-existing theory to the extent that the pre-existing theory was experimentally verified, though it will often show pre-existing theory to be wrong in an exact sense, and
* is supported by many strands of evidence rather than a single foundation, ensuring that it is probably a good approximation, if not totally correct.
Additionally, a theory is generally only taken seriously if it:
* is tentative, correctable and dynamic, in allowing for changes to be made as new data is discovered, rather than asserting certainty, and
* is the most
parsimonious explanation, sparing in proposed entities or explanations, commonly referred to as passing the
Ockham's razor test.
This is true of such established theories as
special and
general relativity,
quantum mechanics,
plate tectonics,
evolution, etc. Theories considered scientific meet at least most, but ideally all, of these extra criteria.
Theories do not have to be perfectly accurate to be scientifically useful. The predictions made by
Classical mechanics are known to be inaccurate, but they are sufficiently good approximations in most circumstances that they are still very useful and widely used in place of more accurate but mathematically difficult theories.
Sometimes it happens that two theories are found to make exactly the same predictions. In this case, they are indistinguishable, and the choice between them reduces to which is the more convenient.
Karl Popper described the characteristics of a scientific theory as follows:
# It is easy to obtain confirmations, or verifications, for nearly every theory â€" if we look for confirmations.# Confirmations should count only if they are the result of risky predictions; that is to say, if, unenlightened by the theory in question, we should have expected an event which was incompatible with the theory â€" an event which would have refuted the theory.# Every "good" scientific theory is a prohibition: it forbids certain things to happen. The more a theory forbids, the better it is.# A theory which is not refutable by any conceivable event is non-scientific. Irrefutability is not a virtue of a theory (as people often think) but a vice.# Every genuine test of a theory is an attempt to falsify it, or to refute it. Testability is falsifiability; but there are degrees of testability: some theories are more testable, more exposed to refutation, than others; they take, as it were, greater risks.# Confirming evidence should not count except when it is the result of a genuine test of the theory; and this means that it can be presented as a serious but unsuccessful attempt to falsify the theory. (I now speak in such cases of "corroborating evidence.")# Some genuinely testable theories, when found to be false, are still upheld by their admirers â€" for example by introducing ad hoc some auxiliary assumption, or by reinterpreting the theory ad hoc in such a way that it escapes refutation. Such a procedure is always possible, but it rescues the theory from refutation only at the price of destroying, or at least lowering, its scientific status. (I later described such a rescuing operation as a "conventionalist twist" or a "conventionalist stratagem.").
One can sum up all this by saying that the criterion of the scientific status of a theory is its falsifiability, or refutability, or testability.
Probably the most sufficient description of why an explanation is unscientific nonsense rather than a scientific theory is
Wolfgang Pauli's famous comment on a paper he was shown: "This isn't right. It's
not even wrong."
In
mathematics, the word
theory is used informally to refer to certain distinct bodies of knowledge about mathematics. This knowledge consists of axioms, definitions, theorems and computational techniques, all related in some way by tradition or practice. Examples include
group theory,
set theory,
Lebesgue integration theory and
field theory.
The term
theory also has a precise technical usage in mathematics, particularly in
mathematical logic and
model theory. A theory in this sense is a set of statements in a
formal language, which is
closed upon application of certain procedures called
rules of inference. A special case of this, an axiomatic theory, consists of
axioms (or axiom schemata) and rules of inference. A
theorem is a statement which can be derived from those axioms by application of these rules of inference. Theories used in applications are
abstractions of observed phenomena and the resulting theorems provide solutions to real-world problems. Obvious examples include
arithmetic (abstracting concepts of number),
geometry (concepts of space), and
probability (concepts of randomness and likelihood).
Gödel's incompleteness theorem shows that no
consistent,
recursively enumerable theory (that is one whose theorems form a recursively enumerable set) in which the concept of
natural numbers can be expressed, can include all
true 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.
Theories exist not only in the so-called
hard sciences, but in all fields of academic study, from philosophy to music to literature. In the
humanities,
theory is often used as an abbreviation for
critical theory or
literary theory, referring to
continental philosophy's
aesthetics or its attempts to understand the structure of society and to conceptualize alternatives. In philosophy,
theoreticism refers to the over use of theory.
*
Biology:
Cell theory -
Evolution by natural selection*
Chemistry:
Atomic theory â€"
Kinetic theory of gases*
Climatology:
Global warming*
Computer science:
Algorithmic information theory â€"
Computation theory*
Economics:
Decision theory*
Engineering:
Circuit theory â€"
Control theory â€"
Signal theory -
Systems theory*
Film:
Film Theory*
Games:
Game theory -
Rational choice theory*
Geology:
Continental drift â€"
Plate tectonics*
Humanities:
Critical theory*
Literature:
Literary theory*
Mathematics:
Catastrophe theory â€"
Category theory â€"
Chaos theory â€"
Graph theory â€"
Number theory â€"
Probability theory â€"
Set theory*
Music:
Music theory*
Philosophy:
Proof theory â€"
Speculative reason â€"
Theory of truth â€"
Type theory â€"
Value theory â€"
Virtue theory*
Physics:
Acoustic theory â€"
Antenna theory -
General relativity â€"
Special relativity â€"
Theory of relativity â€"
Quantum field theory*
Planetary science:
Giant impact theory*
Sociology:
Critical social theory-
Social theory*
Statistics :
Extreme value theory*
Other:
Obsolete scientific theories â€"
Phlogiston theory*
Category theory*
Model theory*
Proof theory*
Scientific method*
Predictive power*
Testability*
Falsifiability* Karl Popper.
Conjectures and Refutations. London: Routledge and Kegan Paul, 1963, pp. 33â€"39; from Theodore Schick, ed., Readings in the Philosophy of Science, Mountain View, CA: Mayfield Publishing Company, 2000, pp. 9â€"13.
