View source for Interpretation

Giving a value (meaning) to mathematical expressions (symbols, formulas, etc.). In mathematics such values are mathematical objects (sets, operations, expressions, etc.). The value itself is called an interpretation of the corresponding expression.

Examples. The value (or interpretation) of the symbol <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i0519902.png" /> can be the multiplication operation on real numbers, the addition operation on integers, etc. Suppose that the first of these interpretations is used for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i0519903.png" />. If the symbols <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i0519904.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i0519905.png" /> denote real numbers (i.e. variables with as possible domain of definition the entire real axis), then the value of the expression <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i0519906.png" /> is the mapping transforming each pair of real numbers into their product; if the values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i0519907.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i0519908.png" /> are, respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i0519909.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199010.png" />, then the value of the expression <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199011.png" /> is the number 15. As the value (interpretation) of a statement of planar Lobachevskii geometry in the [[Poincaré model|Poincaré model]], the corresponding statement of planar Euclidean geometry may serve.

The most important interpretations are set-theoretical interpretations of expressions of logical languages. If one discusses the simultaneous interpretations of all expressions of a language, then one has an interpretation of the language. A set-theoretical interpretation of a logical language includes a specification of the values of constants — of the object, function and predicate constants and constants of higher degrees (constants for predicates of predicates, etc.), as well as a specification of the domain of applicability of the variables — of the object, function, etc., variables. In multi-sort interpretations, differing object variables may have differing domains of applicability; the same applies for function variables, etc. The interpretations that are most often used, however, are those for which all object variables, as well as the function variables with identical numbers of arguments, etc., have the same domain of applicability. If the domain of variation of the object variables (sometimes called the domain, or support, of the interpretation) is a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199012.png" />, then the domain of variation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199013.png" />-place function variables is a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199014.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199015.png" />-place operations on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199016.png" />. Often <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199017.png" /> is taken to be the set of all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199018.png" />-place operations on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199019.png" />; in this case the domain of variation of the function variables is often not mentioned. Values of object constants are elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199020.png" />, those of function constants are elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199021.png" />.

In a set-theoretical interpretation of a logical language, the interpretation of a term (i.e. the value of the term in the given interpretation) is the mapping assigning to each choice of values of variables of the language (or, in a slightly different definition, to each choice of values of the variables participating in the term) an element of the domain of the interpretation, by a definite rule. This mapping is usually given by induction on the structure of terms.

In order to obtain an interpretation of the formulas of a language, it is necessary, apart from the components mentioned above, to specify some non-empty set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199022.png" />, called the set of logical values. The interpretations of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199023.png" />-place predicate constants are mappings from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199024.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199025.png" />; in particular, zero-place predicate constants are elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199026.png" />. If there are zero-place, one-place, etc. predicate variables in the language, then their domains of variation are, respectively, the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199027.png" />, some subset of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199028.png" /> containing the interpretations of all one-place predicate constants, etc. An interpretation of a formula is defined, analogous to that of a term, as a mapping assigning to each choice of values of object, function and predicate variables of the language an element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199029.png" />. An important kind of set-theoretical interpretations are algebraic interpretations, in which operations on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199030.png" /> are taken as values (interpretations) of logical connectives, mappings from the set of subsets of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199031.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199032.png" /> (generalized operations on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199033.png" />) as values of quantifiers, and where the interpretation of a formula is defined by induction with respect to the structure. [[Kripke models|Kripke models]] are the most important among the other set-theoretical interpretations.

The Boolean-valued algebraic interpretations are characterized by the fact that the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199034.png" /> is a complete [[Boolean algebra|Boolean algebra]]; while the values of connectives and quantifiers are: for the conjunction — intersection; for the existential quantifier — taking the least upper bound, etc. Classical interpretations play an especially important role. They are defined as Boolean-valued interpretations with a two-element Boolean algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199035.png" />.

The concept of truth of formulas in a given interpretation is defined by distinguishing certain elements in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199036.png" />. For example, for classical interpretations it is natural to take the unit of the Boolean algebra as distinguished element (the unit is also called  "truth" ). A formula is called true in a given interpretation if its interpretation takes only distinguished values. A model (or regular interpretation, or simply an interpretation, cf. [[Model (in logic)|Model (in logic)]]) of a system of formulas of a certain language is an interpretation of this language in which all formulas of the system are true.

The term standard interpretation is used when among all possible values (interpretations) of a certain expression there is a generally accepted one. For example, the standard interpretation of the symbol <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199037.png" /> in a classical interpretation is that of coincidence of elements, and the standard interpretation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199038.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199039.png" /> in arithmetic are addition and multiplication of natural numbers. Analogously, one introduces the concepts of the standard interpretations of a language and a standard model. In particular, the classical interpretation of first-order arithmetic with predicate constant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199040.png" /> and function constants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199041.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i051/i051990/i05199042.png" />, interpreted as above, is called standard.

Apart from set-theoretical interpretations of logical languages one uses others too. E.g., interpretations in which expressions of one logical language are interpreted as expressions in another logical language (see [[Immersion operation|Immersion operation]]) are used in proving decidability, undecidability and relative consistency of logical theories. See also [[Constructive logic|Constructive logic]].

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  E. Rasiowa,   R. Sikorski,   "The mathematics of metamathematics" , Polska Akad. Nauk  (1963)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A. Church,   "Introduction to mathematical logic" , '''1''' , Princeton Univ. Press  (1956)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  E. Mendelson,   "Introduction to mathematical logic" , v. Nostrand  (1964)</TD></TR></table>



====Comments====
Besides Kripke models, Boolean-valued models (cf. [[Boolean-valued model|Boolean-valued model]]) are important interpretations. Both can be viewed as special cases of sheaf models, or interpretations in topoi (cf. [[Topos|Topos]]). See, e.g., [[#References|[a1]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  J. Lambek,   P. Scott,   "Higher order categorical logic" , Cambridge Univ. Press  (1986)</TD></TR></table>