Topic: Interesting Theory (Read 283 times)
Pmd
Theory is a contemplative and rational type of abstract or generalizing thinking, or the results of such thinking. Depending on the context, the results might for example include generalized explanations of how nature works. The word has its roots in ancient Greek, but in modern use it has taken on several different related meanings.
A theory can be normative (or prescriptive),[1][page needed] meaning a postulation about what ought to be. It provides "goals, norms, and standards". A theory can be a body of knowledge, which may or may not be associated with particular explanatory models. To theorize is to develop this body of knowledge.[2]:46
As already in Aristotle's definitions, theory is very often contrasted to "practice" (from Greek praxis, πρᾶξις) a Greek term for "doing", which is opposed to theory because pure theory involves no doing apart from itself. A classical example of the distinction between "theoretical" and "practical" uses the discipline of medicine: medical theory involves trying to understand the causes 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.[3]
In modern science, the term "theory" refers to scientific theories, a well-confirmed type of explanation of nature, made in a way consistent with scientific method, and fulfilling the criteria required by modern science. Such theories are described in such a way that any scientist in the field is in a position to understand and either provide empirical support ("verify") or empirically contradict ("falsify") it. Scientific theories are the most reliable, rigorous, and comprehensive form of scientific knowledge,[4] in contrast to more common uses of the word "theory" that imply that something is unproven or speculative (which is better characterized by the word 'hypothesis').[5] Scientific theories are distinguished from hypotheses, which are individual empirically testable conjectures, and scientific laws, which are descriptive accounts of how nature will behave under certain conditions.
Theories are analytical tools for understanding, explaining, and making predictions 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 nature and is only meaningful when given a semantic component by applying it to some content (e.g., facts and relationships of the actual historical world as it is unfolding). Theories in various fields of study are expressed in natural language, 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 of mathematical logic. Theories may be expressed mathematically, symbolically, or in common language, but are generally expected to follow principles of rational thought or logic.
Theory is constructed of a set of sentences which consists entirely of true statements about the subject matter 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 to be true or false without reference to some interpretation of who "He" is and for that matter what a "terrible person" is under the theory.[11]
Sometimes two theories have exactly the same explanatory power 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. When theories are studied in mathematics, they are usually expressed in some formal language and their statements are closed under 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 that 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.
Underdetermination[edit]
Main article: 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 issue about the relation of evidence to conclusions.
A theory that lacks supporting evidence is generally, more properly, referred to as a hypothesis.
Intertheoretic reduction and elimination[edit]
Main article: Intertheoretic reduction
If there is a new theory which is better at explaining and predicting phenomena than an older theory (i.e. it has more explanatory power), 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 today 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 theory and a new one are parallel in this way, we can conclude that we are describing the same reality, only more completely.
In cases where a new theory uses new terms which do not reduce to terms of an older one, but rather replace them entirely because they are actually a misrepresentation it is called an intertheoretic elimination. For instance, the obsolete scientific theory that put forward an understanding of heat transfer in terms of the movement of caloric fluid was eliminated when a theory of heat as energy replaced it. Also, the theory that phlogiston is a substance released from burning and rusting material was eliminated with the new understanding of the reactivity of oxygen.
Theories vs. theorems[edit]
Theories are distinct from theorems. Theorems are derived deductively from objections according to a formal system of rules, sometimes as an end in itself and sometimes as a first step in testing or applying a theory in a concrete situation; theorems are said to be true in the sense that the conclusions of a theorem are logical consequences of the objections. Theories are abstract and conceptual, and to this end they are always considered true. They are supported or challenged by observations in the world. They are 'rigorously 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.
"Sometimes a hypothesis never reaches the point of being considered a theory because the answer is not found to derive its assertions analytically or not applied empirically."[
A theory can be normative (or prescriptive),[1][page needed] meaning a postulation about what ought to be. It provides "goals, norms, and standards". A theory can be a body of knowledge, which may or may not be associated with particular explanatory models. To theorize is to develop this body of knowledge.[2]:46
As already in Aristotle's definitions, theory is very often contrasted to "practice" (from Greek praxis, πρᾶξις) a Greek term for "doing", which is opposed to theory because pure theory involves no doing apart from itself. A classical example of the distinction between "theoretical" and "practical" uses the discipline of medicine: medical theory involves trying to understand the causes 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.[3]
In modern science, the term "theory" refers to scientific theories, a well-confirmed type of explanation of nature, made in a way consistent with scientific method, and fulfilling the criteria required by modern science. Such theories are described in such a way that any scientist in the field is in a position to understand and either provide empirical support ("verify") or empirically contradict ("falsify") it. Scientific theories are the most reliable, rigorous, and comprehensive form of scientific knowledge,[4] in contrast to more common uses of the word "theory" that imply that something is unproven or speculative (which is better characterized by the word 'hypothesis').[5] Scientific theories are distinguished from hypotheses, which are individual empirically testable conjectures, and scientific laws, which are descriptive accounts of how nature will behave under certain conditions.
Theories are analytical tools for understanding, explaining, and making predictions 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 nature and is only meaningful when given a semantic component by applying it to some content (e.g., facts and relationships of the actual historical world as it is unfolding). Theories in various fields of study are expressed in natural language, 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 of mathematical logic. Theories may be expressed mathematically, symbolically, or in common language, but are generally expected to follow principles of rational thought or logic.
Theory is constructed of a set of sentences which consists entirely of true statements about the subject matter 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 to be true or false without reference to some interpretation of who "He" is and for that matter what a "terrible person" is under the theory.[11]
Sometimes two theories have exactly the same explanatory power 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. When theories are studied in mathematics, they are usually expressed in some formal language and their statements are closed under 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 that 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.
Underdetermination[edit]
Main article: 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 issue about the relation of evidence to conclusions.
A theory that lacks supporting evidence is generally, more properly, referred to as a hypothesis.
Intertheoretic reduction and elimination[edit]
Main article: Intertheoretic reduction
If there is a new theory which is better at explaining and predicting phenomena than an older theory (i.e. it has more explanatory power), 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 today 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 theory and a new one are parallel in this way, we can conclude that we are describing the same reality, only more completely.
In cases where a new theory uses new terms which do not reduce to terms of an older one, but rather replace them entirely because they are actually a misrepresentation it is called an intertheoretic elimination. For instance, the obsolete scientific theory that put forward an understanding of heat transfer in terms of the movement of caloric fluid was eliminated when a theory of heat as energy replaced it. Also, the theory that phlogiston is a substance released from burning and rusting material was eliminated with the new understanding of the reactivity of oxygen.
Theories vs. theorems[edit]
Theories are distinct from theorems. Theorems are derived deductively from objections according to a formal system of rules, sometimes as an end in itself and sometimes as a first step in testing or applying a theory in a concrete situation; theorems are said to be true in the sense that the conclusions of a theorem are logical consequences of the objections. Theories are abstract and conceptual, and to this end they are always considered true. They are supported or challenged by observations in the world. They are 'rigorously 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.
"Sometimes a hypothesis never reaches the point of being considered a theory because the answer is not found to derive its assertions analytically or not applied empirically."[
Jump to: