In some traditions in sociology, however, the appropriateness of the concept of the variable in the above sense has been questioned. From the perspective of SYMBOLIC INTERACTIONISM, for example, Herbert BLUMER (1956) has suggested that the use of standardized variables in social analysis leads to a neglect of the close study required for the effective study of social situations and a distorted representation of social reality. Similar scepticism is voiced in approaches such as ETHNOMETHODOLOGY (see also MEASUREMENT BY FIAT, OFFICIAL STATISTICS).
for (x=0; x<5; x++) { do-something(); }
int ForceOne=NO, ForceAll=NO, NoMoreFiles=NO; int XMLfileNewer=NO, EndFile=NO; int TermsWith1Link=0, TermsWith2Links=0; int TermsWith3Links=0, TermsWithNoLinks=0; int AFTermCount=0; int AF_results=0; int AF_EOF=0; int hFileAF; int ARTICLES=0; char AFbuff[2000]; char *AFptr; char HREF1buff[500]; char HREF2buff[500]; char HREF3buff[500];
a fundamental concept of mathematics and logic. Beginning with the works of P. de Fermat, R. Descartes, I. Newton, G. W. von Leibniz, and other founders of higher mathematics, a variable was understood as a quantity that can vary—in the process of this variation it takes on different values. Variables were thus contrasted with constants—numbers or other quantities each of which has a unique, completely defined value. As mathematics developed and work proceeded on its foundations, great pains were taken to exclude such concepts as processes and variation of quantities from the vocabulary of mathematics as being extramathematical. The variable consequently came to be interpreted as a symbol for an arbitrary element of the domain of objects under consideration—for example, the domain of natural numbers or of real numbers. In other words, a variable was now seen as a generic name for the entire domain; constants, on the other hand, were proper names for numbers or other specific objects in the domain under consideration.
This revision of the concept of variable was closely connected with the reorganization of mathematics on the foundation of set theory, a process that was completed in the late 19th century. For all the simplicity and naturalness of this reorganization, it was essentially based on the abstraction of actual infinity. This abstraction permitted arbitrary infinite sets to be considered as “given” (“completed,” “ready,” “actual”) objects, to which all the methods of classical logic could be applied without regard for the incompletedness and the fundamental impossibility of completing the process of the formation of such a set. The difficulties in solving the logical problems associated with the adoption of this abstraction make understandable the partial rehabilitation of the old concepts of variable quantities. In constructing mathematical theories, the representatives of some schools, such as mathematical intuitionism and the constructive trend, have preferred to make do with the weaker, but logically less vulnerable, abstraction of potential realizability. This point of view associates infinite sets with the concepts of the processes of the sets’ generation—processes that go as far as desired but never end. When investigating the problem of the consistency of different fields of mathematics, most mathematicians and logicians in effect adopt this position.
In formalized languages (calculi, or formal systems) of mathematical logic, the term “variable” is applied to any symbol of a strictly fixed type that under certain conditions permits an expression of the given calculus to be substituted for it. Such variables are called free variables. An example is the variable x in the inequality x > 5. If, say, the numeral (that is, the symbol of the number) 7 is substituted for x, the inequality becomes a true statement; if the numeral 2 is substituted, the inequality becomes a false statement. What are called bound variables do not mean anything in themselves but perform purely syntactical functions; when certain elementary precautions are observed, bound variables can be “renamed”—that is, they can be replaced by other variables. An example is the variable y in the expressions
in the interpretations of which y does not appear and can be replaced by any other variable. Thus, the first expression, which can be read “the sum of the integers from 5 through 25,” can be replaced by
The second expression, which might be read “all numbers have the property p,” can be replaced by ∀tP(t). Individual, proposition, predicate, function, number, and other types of variables are distinguished. They can be replaced, in accordance with special substitution rules, by symbols for, respectively, the objects from the domain under consideration (“terms”), specific statements, predicates, functions, numbers, and so on. Thus, a variable in a formula can be meaningfully understood as an empty place equipped with an indication that the place can be filled—the variable is like a container for a strictly defined piece of merchandise.
Free occurrences of variables in the expressions of meaningful scientific theories and in the formulas of logical and mathematical calculi correspond to the use of indefinite pronouns in ordinary speech and permit of different interpretations. One type of interpretation, which corresponds to the use of a variety of substitution procedures, is the predicate interpretation: the formula A (x1, … xn) of some calculus is interpreted as an n-place predicate. The same formula can also be interpreted as a proposition, or statement, specifically as the proposition ∀x1 … ∀xnA (x1, …, xn), which is a “closure” of the formula—this is the interpretation of universality, which is commonly used, for example, in formulating the axioms of various scientific theories. Finally, to free variables there can be ascribed values constant within some context—for example, the context of a conclusion from a given set of formulas. The variables are then called the parameters of the context, and we speak of the conditional interpretation. For example, the variable x in the expression cos x, taken in isolation, has a predicate interpretation. In the identity sin2x + cos2x = 1 it has the interpretation of universality. In the equation cos x = 1 (in the process of solving this equation, when the variable is called an “unknown”) it has the conditional interpretation.
Thus, at different levels of formalization the concept of the variable acts as a refinement of means commonly used in ordinary spoken languages—such as indefinite pronouns and indefinite articles—and of various methods of employing these means.