An interpretation is an assignment of meaning to the

^{''n''} distinct possible interpretations. For any particular variable ''a'', for example, there are 2^{1}=2 possible interpretations: 1) ''a'' is assigned T, or 2) ''a'' is assigned F. For the pair ''a'', ''b'' there are 2^{2}=4 possible interpretations: 1) both are assigned T, 2) both are assigned F, 3) ''a'' is assigned T and ''b'' is assigned F, or 4) ''a'' is assigned F and ''b'' is assigned T.
Given any truth assignment for a set of propositional symbols, there is a unique extension to an interpretation for all the propositional formulas built up from those variables. This extended interpretation is defined inductively, using the truth-table definitions of the logical connectives discussed above.

^{n}'' → ''D'').
* For every ''n''-ary predicate symbol, an ''n''-ary relation on ''D'' as its interpretation (that is, a subset of ''D^{n}'').
An object carrying this information is known as a

Stanford Enc. Phil: Classical Logic, 4. Semantics

{{Metalogic Semantics Model theory Formal languages Philosophy of mind Philosophy of language Interpretation (philosophy)

symbols
A symbol is a mark, sign, or word that indicates, signifies, or is understood as representing an idea, object, or relationship. Symbols allow people to go beyond what is known or seen by creating linkages between otherwise very different conce ...

of a formal language
In logic, mathematics, computer science, and linguistics, a formal language consists of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules.
The alphabet of a formal language consists of sym ...

. Many formal languages used in mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

, logic, and theoretical computer science
computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory.
It is difficult to circumscribe the t ...

are defined in solely syntactic
In linguistics, syntax () is the study of how words and morphemes combine to form larger units such as phrases and sentences. Central concerns of syntax include word order, grammatical relations, hierarchical sentence structure (constituency) ...

terms, and as such do not have any meaning until they are given some interpretation. The general study of interpretations of formal languages is called formal semantics.
The most commonly studied formal logics are propositional logic
Propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals with propositions (which can be true or false) and relations ...

, predicate logic
First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quanti ...

and their modal analogs, and for these there are standard ways of presenting an interpretation. In these contexts an interpretation is a function
Function or functionality may refer to:
Computing
* Function key, a type of key on computer keyboards
* Function model, a structured representation of processes in a system
* Function object or functor or functionoid, a concept of object-orien ...

that provides the extension of symbols and strings of symbols of an object language. For example, an interpretation function could take the predicate ''T'' (for "tall") and assign it the extension (for "Abraham Lincoln"). Note that all our interpretation does is assign the extension to the non-logical constant ''T'', and does not make a claim about whether ''T'' is to stand for tall and 'a' for Abraham Lincoln. Nor does logical interpretation have anything to say about logical connectives like 'and', 'or' and 'not'. Though ''we'' may take these symbols to stand for certain things or concepts, this is not determined by the interpretation function.
An interpretation often (but not always) provides a way to determine the truth value
In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth, which in classical logic has only two possible values ('' true'' or '' false'').
Computing
In some prog ...

s of sentences
''The Four Books of Sentences'' (''Libri Quattuor Sententiarum'') is a book of theology written by Peter Lombard in the 12th century. It is a systematic compilation of theology, written around 1150; it derives its name from the '' sententiae'' ...

in a language. If a given interpretation assigns the value True to a sentence or theory
A theory is a rational type of abstract thinking about a phenomenon, or the results of such thinking. The process of contemplative and rational thinking is often associated with such processes as observational study or research. Theories may be ...

, the interpretation is called a model of that sentence or theory.
Formal languages

A formal language consists of a possibly infinite set of ''sentences'' (variously called ''words'' or '' formulas'') built from a fixed set of ''letters'' or ''symbols''. The inventory from which these letters are taken is called the ''alphabet
An alphabet is a standardized set of basic written graphemes (called letters) that represent the phonemes of certain spoken languages. Not all writing systems represent language in this way; in a syllabary, each character represents a syl ...

'' over which the language is defined. To distinguish the strings of symbols that are in a formal language from arbitrary strings of symbols, the former are sometimes called '' well-formed formulæ'' (wff). The essential feature of a formal language is that its syntax can be defined without reference to interpretation. For example, we can determine that (''P'' or ''Q'') is a well-formed formula even without knowing whether it is true or false.
Example

A formal language $\backslash mathcal$ can be defined with the alphabet $\backslash alpha\; =\; \backslash $, and with a word being in $\backslash mathcal$ if it begins with $\backslash triangle$ and is composed solely of the symbols $\backslash triangle$ and $\backslash square$. A possible interpretation of $\backslash mathcal$ could assign the decimal digit '1' to $\backslash triangle$ and '0' to $\backslash square$. Then $\backslash triangle\; \backslash square\; \backslash triangle$ would denote 101 under this interpretation of $\backslash mathcal$.Logical constants

In the specific cases of propositional logic and predicate logic, the formal languages considered have alphabets that are divided into two sets: the logical symbols (logical constant In logic, a logical constant of a language \mathcal is a symbol that has the same semantic value under every interpretation of \mathcal. Two important types of logical constants are logical connectives and quantifiers. The equality predicate ...

s) and the non-logical symbols. The idea behind this terminology is that ''logical'' symbols have the same meaning regardless of the subject matter being studied, while ''non-logical'' symbols change in meaning depending on the area of investigation.
Logical constants are always given the same meaning by every interpretation of the standard kind, so that only the meanings of the non-logical symbols are changed. Logical constants include quantifier symbols ∀ ("all") and ∃ ("some"), symbols for logical connective
In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is a logical constant. They can be used to connect logical formulas. For instance in the syntax of propositional logic, the binary ...

s ∧ ("and"), ∨ ("or"), ¬ ("not"), parentheses and other grouping symbols, and (in many treatments) the equality symbol =.
General properties of truth-functional interpretations

Many of the commonly studied interpretations associate each sentence in a formal language with a single truth value, either True or False. These interpretations are called ''truth functional''; they include the usual interpretations of propositional and first-order logic. The sentences that are made true by a particular assignment are said to be '' satisfied'' by that assignment. Inclassical logic
Classical logic (or standard logic or Frege-Russell logic) is the intensively studied and most widely used class of deductive logic. Classical logic has had much influence on analytic philosophy.
Characteristics
Each logical system in this class ...

, no sentence can be made both true and false by the same interpretation, although this is not true of glut logics such as LP. Even in classical logic, however, it is possible that the truth value of the same sentence can be different under different interpretations. A sentence is '' consistent'' if it is true under at least one interpretation; otherwise it is ''inconsistent''. A sentence φ is said to be ''logically valid'' if it is satisfied by every interpretation (if φ is satisfied by every interpretation that satisfies ψ then φ is said to be a ''logical consequence
Logical consequence (also entailment) is a fundamental concept in logic, which describes the relationship between statements that hold true when one statement logically ''follows from'' one or more statements. A valid logical argument is ...

'' of ψ).
Logical connectives

Some of the logical symbols of a language (other than quantifiers) are truth-functional connectives that represent truth functions — functions that take truth values as arguments and return truth values as outputs (in other words, these are operations on truth values of sentences). The truth-functional connectives enable compound sentences to be built up from simpler sentences. In this way, the truth value of the compound sentence is defined as a certain truth function of the truth values of the simpler sentences. The connectives are usually taken to belogical constant In logic, a logical constant of a language \mathcal is a symbol that has the same semantic value under every interpretation of \mathcal. Two important types of logical constants are logical connectives and quantifiers. The equality predicate ...

s, meaning that the meaning of the connectives is always the same, independent of what interpretations are given to the other symbols in a formula.
This is how we define logical connectives in propositional logic:
*¬Φ is True iff
In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false.
The connective is bicond ...

Φ is False.
*(Φ ∧ Ψ) is True iff Φ is True and Ψ is True.
*(Φ ∨ Ψ) is True iff Φ is True or Ψ is True (or both are True).
*(Φ → Ψ) is True iff ¬Φ is True or Ψ is True (or both are True).
*(Φ ↔ Ψ) is True iff (Φ → Ψ) is True and (Ψ → Φ) is True.
So under a given interpretation of all the sentence letters Φ and Ψ (i.e., after assigning a truth-value to each sentence letter), we can determine the truth-values of all formulas that have them as constituents, as a function of the logical connectives. The following table shows how this kind of thing looks. The first two columns show the truth-values of the sentence letters as determined by the four possible interpretations. The other columns show the truth-values of formulas built from these sentence letters, with truth-values determined recursively.
Now it is easier to see what makes a formula logically valid. Take the formula ''F'': (Φ ∨ ¬Φ). If our interpretation function makes Φ True, then ¬Φ is made False by the negation connective. Since the disjunct Φ of ''F'' is True under that interpretation, ''F'' is True. Now the only other possible interpretation of Φ makes it False, and if so, ¬Φ is made True by the negation function. That would make ''F'' True again, since one of ''F''s disjuncts, ¬Φ, would be true under this interpretation. Since these two interpretations for ''F'' are the only possible logical interpretations, and since ''F'' comes out True for both, we say that it is logically valid or tautologous.
Interpretation of a theory

An ''interpretation of a theory'' is the relationship between a theory and some subject matter when there is a many-to-one correspondence between certain elementary statements of the theory, and certain statements related to the subject matter. If every elementary statement in the theory has a correspondent it is called a ''full interpretation'', otherwise it is called a ''partial interpretation''.Interpretations for propositional logic

The formal language forpropositional logic
Propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals with propositions (which can be true or false) and relations ...

consists of formulas built up from propositional symbols (also called sentential symbols, sentential variables, propositional variable
In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is an input variable (that can either be true or false) of a truth function. Propositional variables are the basic building-blocks of propos ...

s) and logical connectives. The only non-logical symbols in a formal language for propositional logic are the propositional symbols, which are often denoted by capital letters. To make the formal language precise, a specific set of propositional symbols must be fixed.
The standard kind of interpretation in this setting is a function that maps each propositional symbol to one of the truth value
In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth, which in classical logic has only two possible values ('' true'' or '' false'').
Computing
In some prog ...

s true and false. This function is known as a ''truth assignment'' or ''valuation'' function. In many presentations, it is literally a truth value that is assigned, but some presentations assign truthbearer
A truth-bearer is an entity that is said to be either true or false and nothing else. The thesis that some things are true while others are false has led to different theories about the nature of these entities. Since there is divergence of o ...

s instead.
For a language with ''n'' distinct propositional variables there are 2First-order logic

Unlike propositional logic, where every language is the same apart from a choice of a different set of propositional variables, there are many different first-order languages. Each first-order language is defined by asignature
A signature (; from la, signare, "to sign") is a handwritten (and often stylized) depiction of someone's name, nickname, or even a simple "X" or other mark that a person writes on documents as a proof of identity and intent. The writer of a ...

. The signature consists of a set of non-logical symbols and an identification of each of these symbols as a constant symbol, a function symbol, or a predicate symbol. In the case of function and predicate symbols, a natural number arity
Arity () is the number of arguments or operands taken by a function, operation or relation in logic, mathematics, and computer science. In mathematics, arity may also be named ''rank'', but this word can have many other meanings in mathematics. ...

is also assigned. The alphabet for the formal language consists of logical constants, the equality relation symbol =, all the symbols from the signature, and an additional infinite set of symbols known as variables.
For example, in the language of rings, there are constant symbols 0 and 1, two binary function symbols + and ·, and no binary relation symbols. (Here the equality relation is taken as a logical constant.)
Again, we might define a first-order language L, as consisting of individual symbols a, b, and c; predicate symbols F, G, H, I and J; variables x, y, z; no function letters; no sentential symbols.
Formal languages for first-order logic

Given a signature σ, the corresponding formal language is known as the set of σ-formulas. Each σ-formula is built up out of atomic formulas by means of logical connectives; atomic formulas are built from terms using predicate symbols. The formal definition of the set of σ-formulas proceeds in the other direction: first, terms are assembled from the constant and function symbols together with the variables. Then, terms can be combined into an atomic formula using a predicate symbol (relation symbol) from the signature or the special predicate symbol "=" for equality (see the section " Interpreting equality" below). Finally, the formulas of the language are assembled from atomic formulas using the logical connectives and quantifiers.Interpretations of a first-order language

To ascribe meaning to all sentences of a first-order language, the following information is needed. * Adomain of discourse
In the formal sciences, the domain of discourse, also called the universe of discourse, universal set, or simply universe, is the set of entities over which certain variables of interest in some formal treatment may range.
Overview
The doma ...

''D'', usually required to be non-empty (see below).
* For every constant symbol, an element of ''D'' as its interpretation.
* For every ''n''-ary function symbol, an ''n''-ary function from ''D'' to ''D'' as its interpretation (that is, a function ''Dstructure
A structure is an arrangement and organization of interrelated elements in a material object or system, or the object or system so organized. Material structures include man-made objects such as buildings and machines and natural objects such ...

( signature σ), or σ-structure, or ''L''-structure (of language L), or as a "model".
The information specified in the interpretation provides enough information to give a truth value to any atomic formula, after each of its free variable
In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation (symbol) that specifies places in an expression where substitution may take place and is no ...

s, if any, has been replaced by an element of the domain. The truth value of an arbitrary sentence is then defined inductively using the T-schema
The T-schema ("truth schema", not to be confused with " Convention T") is used to check if an inductive definition of truth is valid, which lies at the heart of any realisation of Alfred Tarski's semantic theory of truth. Some authors refer to it ...

, which is a definition of first-order semantics developed by Alfred Tarski. The T-schema interprets the logical connectives using truth tables, as discussed above. Thus, for example, is satisfied if and only if both φ and ψ are satisfied.
This leaves the issue of how to interpret formulas of the form and . The domain of discourse forms the range for these quantifiers. The idea is that the sentence is true under an interpretation exactly when every substitution instance of φ(''x''), where ''x'' is replaced by some element of the domain, is satisfied. The formula is satisfied if there is at least one element ''d'' of the domain such that φ(''d'') is satisfied.
Strictly speaking, a substitution instance such as the formula φ(''d'') mentioned above is not a formula in the original formal language of φ, because ''d'' is an element of the domain. There are two ways of handling this technical issue. The first is to pass to a larger language in which each element of the domain is named by a constant symbol. The second is to add to the interpretation a function that assigns each variable to an element of the domain. Then the T-schema can quantify over variations of the original interpretation in which this variable assignment function is changed, instead of quantifying over substitution instances.
Some authors also admit propositional variable
In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is an input variable (that can either be true or false) of a truth function. Propositional variables are the basic building-blocks of propos ...

s in first-order logic, which must then also be interpreted. A propositional variable can stand on its own as an atomic formula. The interpretation of a propositional variable is one of the two truth values ''true'' and ''false.''
Because the first-order interpretations described here are defined in set theory, they do not associate each predicate symbol with a property (or relation), but rather with the extension of that property (or relation). In other words, these first-order interpretations are extensional not intensional.
Example of a first-order interpretation

An example of interpretation $\backslash mathcal$ of the language L described above is as follows. * Domain: A chess set * Individual constants: a: The white King b: The black Queen c: The white King's pawn * F(x): x is a piece * G(x): x is a pawn * H(x): x is black * I(x): x is white * J(x, y): x can capture y In the interpretation $\backslash mathcal$ of L: * the following are true sentences: F(a), G(c), H(b), I(a) J(b, c), * the following are false sentences: J(a, c), G(a).Non-empty domain requirement

As stated above, a first-order interpretation is usually required to specify a nonempty set as the domain of discourse. The reason for this requirement is to guarantee that equivalences such as $$(\backslash phi\; \backslash lor\; \backslash exists\; x\; \backslash psi)\; \backslash leftrightarrow\; \backslash exists\; x\; (\backslash phi\; \backslash lor\; \backslash psi),$$ where ''x'' is not a free variable of φ, are logically valid. This equivalence holds in every interpretation with a nonempty domain, but does not always hold when empty domains are permitted. For example, the equivalence $$;\; href="/html/ALL/s/forall\_y\_(y\_=\_y)\_\backslash lor\_\backslash exists\_x\_(\_x\_=\_x).html"\; ;"title="forall\; y\; (y\; =\; y)\; \backslash lor\; \backslash exists\; x\; (\; x\; =\; x)">forall\; y\; (y\; =\; y)\; \backslash lor\; \backslash exists\; x\; (\; x\; =\; x)$$Interpreting equality

The equality relation is often treated specially in first order logic and other predicate logics. There are two general approaches. The first approach is to treat equality as no different than any other binary relation. In this case, if an equality symbol is included in the signature, it is usually necessary to add various axioms about equality to axiom systems (for example, the substitution axiom saying that if ''a'' = ''b'' and ''R''(''a'') holds then ''R''(''b'') holds as well). This approach to equality is most useful when studying signatures that do not include the equality relation, such as the signature forset theory
Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concer ...

or the signature for second-order arithmetic
In mathematical logic, second-order arithmetic is a collection of axiomatic systems that formalize the natural numbers and their subsets. It is an alternative to axiomatic set theory as a foundation for much, but not all, of mathematics.
A precur ...

in which there is only an equality relation for numbers, but not an equality relation for set of numbers.
The second approach is to treat the equality relation symbol as a logical constant that must be interpreted by the real equality relation in any interpretation. An interpretation that interprets equality this way is known as a ''normal model'', so this second approach is the same as only studying interpretations that happen to be normal models. The advantage of this approach is that the axioms related to equality are automatically satisfied by every normal model, and so they do not need to be explicitly included in first-order theories when equality is treated this way. This second approach is sometimes called ''first order logic with equality'', but many authors adopt it for the general study of first-order logic without comment.
There are a few other reasons to restrict study of first-order logic to normal models. First, it is known that any first-order interpretation in which equality is interpreted by an equivalence relation
In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric and transitive. The equipollence relation between line segments in geometry is a common example of an equivalence relation.
Each equivalence relation ...

and satisfies the substitution axioms for equality can be cut down to an elementarily equivalent interpretation on a subset of the original domain. Thus there is little additional generality in studying non-normal models. Second, if non-normal models are considered, then every consistent theory has an infinite model; this affects the statements of results such as the Löwenheim–Skolem theorem, which are usually stated under the assumption that only normal models are considered.
Many-sorted first-order logic

A generalization of first order logic considers languages with more than one ''sort'' of variables. The idea is different sorts of variables represent different types of objects. Every sort of variable can be quantified; thus an interpretation for a many-sorted language has a separate domain for each of the sorts of variables to range over (there is an infinite collection of variables of each of the different sorts). Function and relation symbols, in addition to having arities, are specified so that each of their arguments must come from a certain sort. One example of many-sorted logic is for planarEuclidean geometry
Euclidean geometry is a mathematical system attributed to ancient Greek mathematician Euclid, which he described in his textbook on geometry: the '' Elements''. Euclid's approach consists in assuming a small set of intuitively appealing axioms ...

. There are two sorts; points and lines. There is an equality relation symbol for points, an equality relation symbol for lines, and a binary incidence relation ''E'' which takes one point variable and one line variable. The intended interpretation of this language has the point variables range over all points on the Euclidean plane
In mathematics, the Euclidean plane is a Euclidean space of dimension two. That is, a geometric setting in which two real quantities are required to determine the position of each point ( element of the plane), which includes affine notions ...

, the line variable range over all lines on the plane, and the incidence relation ''E''(''p'',''l'') holds if and only if point ''p'' is on line ''l''.
Higher-order predicate logics

A formal language for higher-order predicate logic looks much the same as a formal language for first-order logic. The difference is that there are now many different types of variables. Some variables correspond to elements of the domain, as in first-order logic. Other variables correspond to objects of higher type: subsets of the domain, functions from the domain, functions that take a subset of the domain and return a function from the domain to subsets of the domain, etc. All of these types of variables can be quantified. There are two kinds of interpretations commonly employed for higher-order logic. ''Full semantics'' require that, once the domain of discourse is satisfied, the higher-order variables range over all possible elements of the correct type (all subsets of the domain, all functions from the domain to itself, etc.). Thus the specification of a full interpretation is the same as the specification of a first-order interpretation. ''Henkin semantics'', which are essentially multi-sorted first-order semantics, require the interpretation to specify a separate domain for each type of higher-order variable to range over. Thus an interpretation in Henkin semantics includes a domain ''D'', a collection of subsets of ''D'', a collection of functions from ''D'' to ''D'', etc. The relationship between these two semantics is an important topic in higher order logic.Non-classical interpretations

The interpretations of propositional logic and predicate logic described above are not the only possible interpretations. In particular, there are other types of interpretations that are used in the study ofnon-classical logic Non-classical logics (and sometimes alternative logics) are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done, including by way of e ...

(such as intuitionistic logic
Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by more closely mirroring the notion of constructive proof. In particular, systems o ...

), and in the study of modal logic.
Interpretations used to study non-classical logic include topological model
In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing ...

s, Boolean-valued models, and Kripke models. Modal logic
Modal logic is a collection of formal systems developed to represent statements about necessity and possibility. It plays a major role in philosophy of language, epistemology, metaphysics, and natural language semantics. Modal logics extend othe ...

is also studied using Kripke models.
Intended interpretations

Many formal languages are associated with a particular interpretation that is used to motivate them. For example, the first-order signature for set theory includes only one binary relation, ∈, which is intended to represent set membership, and the domain of discourse in a first-order theory of the natural numbers is intended to be the set of natural numbers. The intended interpretation is called the ''standard model'' (a term introduced by Abraham Robinson in 1960). In the context of Peano arithmetic, it consists of the natural numbers with their ordinary arithmetical operations. All models that areisomorphic
In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word i ...

to the one just given are also called standard; these models all satisfy the Peano axioms
In mathematical logic, the Peano axioms, also known as the Dedekind–Peano axioms or the Peano postulates, are axioms for the natural numbers presented by the 19th century Italian mathematician Giuseppe Peano. These axioms have been used nearly ...

. There are also non-standard models of the (first-order version of the) Peano axioms, which contain elements not correlated with any natural number.
While the intended interpretation can have no explicit indication in the strictly formal syntactical rules, it naturally affects the choice of the formation and transformation rules of the syntactical system. For example, primitive signs must permit expression of the concepts to be modeled; sentential formulas are chosen so that their counterparts in the intended interpretation are meaningful declarative sentences; primitive sentences need to come out as true sentences
''The Four Books of Sentences'' (''Libri Quattuor Sententiarum'') is a book of theology written by Peter Lombard in the 12th century. It is a systematic compilation of theology, written around 1150; it derives its name from the '' sententiae'' ...

in the interpretation; rules of inference
In the philosophy of logic, a rule of inference, inference rule or transformation rule is a logical form consisting of a function which takes premises, analyzes their syntax, and returns a conclusion (or conclusions). For example, the rule of i ...

must be such that, if the sentence $\backslash mathcal\_j$ is directly derivable from a sentence $\backslash mathcal\_i$, then $\backslash mathcal\_i\; \backslash to\; \backslash mathcal\_j$ turns out to be a true sentence, with meaning implication, as usual. These requirements ensure that all provable sentences also come out to be true.
Most formal systems have many more models than they were intended to have (the existence of non-standard models is an example). When we speak about 'models' in empirical science
In philosophy, empiricism is an epistemological theory that holds that knowledge or justification comes only or primarily from sensory experience. It is one of several views within epistemology, along with rationalism and skepticism. Empir ...

s, we mean, if we want reality
Reality is the sum or aggregate of all that is real or existent within a system, as opposed to that which is only imaginary. The term is also used to refer to the ontological status of things, indicating their existence. In physical terms, r ...

to be a model of our science, to speak about an ''intended model''. A model in the empirical sciences is an ''intended factually-true descriptive interpretation'' (or in other contexts: a non-intended arbitrary interpretation used to clarify such an intended factually-true descriptive interpretation.) All models are interpretations that have the same domain of discourse
In the formal sciences, the domain of discourse, also called the universe of discourse, universal set, or simply universe, is the set of entities over which certain variables of interest in some formal treatment may range.
Overview
The doma ...

as the intended one, but other assignments for non-logical constants.
Example

Given a simple formal system (we shall call this one $\backslash mathcal$) whose alphabet α consists only of three symbols $\backslash $ and whose formation rule for formulas is: : 'Any string of symbols of $\backslash mathcal$ which is at least 6 symbols long, and which is not infinitely long, is a formula of $\backslash mathcal$. Nothing else is a formula of $\backslash mathcal$.' The singleaxiom schema In mathematical logic, an axiom schema (plural: axiom schemata or axiom schemas) generalizes the notion of axiom.
Formal definition
An axiom schema is a formula in the metalanguage of an axiomatic system, in which one or more schematic variables ...

of $\backslash mathcal$ is:
: " $\backslash blacksquare\; \backslash \; \backslash bigstar\; \backslash ast\; \backslash blacklozenge\; \backslash \; \backslash blacksquare\; \backslash ast$ " (where " $\backslash ast$ " is a metasyntactic variable standing for a finite string of " $\backslash blacksquare$ "s )
A formal proof can be constructed as follows:
# $\backslash blacksquare\; \backslash \; \backslash bigstar\; \backslash \; \backslash blacksquare\; \backslash \; \backslash blacklozenge\; \backslash \; \backslash blacksquare\; \backslash \; \backslash blacksquare$
# $\backslash blacksquare\; \backslash \; \backslash bigstar\; \backslash \; \backslash blacksquare\; \backslash \; \backslash blacksquare\; \backslash \; \backslash blacklozenge\; \backslash \; \backslash blacksquare\; \backslash \; \backslash blacksquare\; \backslash \; \backslash blacksquare$
# $\backslash blacksquare\; \backslash \; \backslash bigstar\; \backslash \; \backslash blacksquare\; \backslash \; \backslash blacksquare\; \backslash \; \backslash blacksquare\; \backslash \; \backslash blacklozenge\; \backslash \; \backslash blacksquare\; \backslash \; \backslash blacksquare\; \backslash \; \backslash blacksquare\; \backslash \; \backslash blacksquare$
In this example the theorem produced " $\backslash blacksquare\; \backslash \; \backslash bigstar\; \backslash \; \backslash blacksquare\; \backslash \; \backslash blacksquare\; \backslash \; \backslash blacksquare\; \backslash \; \backslash blacklozenge\; \backslash \; \backslash blacksquare\; \backslash \; \backslash blacksquare\; \backslash \; \backslash blacksquare\; \backslash \; \backslash blacksquare$ " can be interpreted as meaning "One plus three equals four." A different interpretation would be to read it backwards as "Four minus three equals one."
Other concepts of interpretation

There are other uses of the term "interpretation" that are commonly used, which do not refer to the assignment of meanings to formal languages. In model theory, a structure ''A'' is said to interpret a structure ''B'' if there is a definable subset ''D'' of ''A'', and definable relations and functions on ''D'', such that ''B'' is isomorphic to the structure with domain ''D'' and these functions and relations. In some settings, it is not the domain ''D'' that is used, but rather ''D'' modulo an equivalence relation definable in ''A''. For additional information, seeInterpretation (model theory) In model theory, interpretation of a structure ''M'' in another structure ''N'' (typically of a different signature) is a technical notion that approximates the idea of representing ''M'' inside ''N''. For example every reduct or definitional expan ...

.
A theory ''T'' is said to interpret another theory ''S'' if there is a finite extension by definitions ''T''′ of ''T'' such that ''S'' is contained in ''T''′.
See also

* Free variables and Name binding * Herbrand interpretation *Interpretation (model theory) In model theory, interpretation of a structure ''M'' in another structure ''N'' (typically of a different signature) is a technical notion that approximates the idea of representing ''M'' inside ''N''. For example every reduct or definitional expan ...

*Logical system
A formal system is an abstract structure used for inferring theorems from axioms according to a set of rules. These rules, which are used for carrying out the inference of theorems from axioms, are the logical calculus of the formal system.
A form ...

* Löwenheim–Skolem theorem
*Modal logic
Modal logic is a collection of formal systems developed to represent statements about necessity and possibility. It plays a major role in philosophy of language, epistemology, metaphysics, and natural language semantics. Modal logics extend othe ...

*Conceptual model
A conceptual model is a representation of a system. It consists of concepts used to help people know, understand, or simulate a subject the model represents. In contrast, physical models are physical object such as a toy model that may be assem ...

*Model theory
In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which th ...

* Satisfiable
*Truth
Truth is the property of being in accord with fact or reality.Merriam-Webster's Online Dictionarytruth 2005 In everyday language, truth is typically ascribed to things that aim to represent reality or otherwise correspond to it, such as beliefs, ...

References

External links

Stanford Enc. Phil: Classical Logic, 4. Semantics

{{Metalogic Semantics Model theory Formal languages Philosophy of mind Philosophy of language Interpretation (philosophy)