refers to mean "a looking at, viewing, beholding") refers to contemplation or speculation, as opposed to action. Theory is especially often contrasted to "practice" (Greek praxis, πρᾶξις) a concept that in its original Aristotelian context referred to actions done for their own sake, but can also refer to "technical" actions instrumental to some other aim, such as the making of tools or houses. "Theoria" is also a word still used in theological contexts.
A classical example uses the discipline of medicine to explain the distinction: Medical theory and theorizing 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.
The word apparently developed special uses early in the Greek language. In the book, From Religion to Philosophy, Francis Cornford suggests that the Orphics used the word "theory" to mean 'passionate sympathetic contemplation'. Pythagoras changed the word to mean a passionate sympathetic contemplation of mathematical and scientific knowledge. This was because Pythagoras considered such intellectual pursuits the way to reach the highest plane of existence. Pythagoras stressed on killing the emotions and the lusts of the body and the release of the intellect to soar into the exalted domain of theory. Thus it was Pythagoras who gave the word "theory" the specific meaning which leads to the classical and modern concept of a distinction between theory as uninvolved, neutral thinking, and practice.
While theories in the arts and philosophy may address ideas and not easily observable empirical phenomena, in modern science the term "theory", or "scientific theory" is generally understood to refer to a proposed explanation of empirical phenomena, made in a way consistent with the scientific method. Such theories are preferably described in such a way that any scientist in the field is in a position to understand, verify, and challenge (or "falsify") it. In this modern scientific context the distinction between theory and practice corresponds roughly to the distinction between theoretical science and technology or applied science.
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 (i.e. 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 consist 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.
Sometimes two theories have exactly the same explanatory power because they make the same predictions. A pair of such theories is called indistinguishable, 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.
Lecture notes prepared by Biju P R,Assistant Professor in Political Science,Govt Brennen College Thalassery