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 be the set of natural numbers. However, there are always other unintended interpretations in which either the domain of discourse or the non-logical symbols are not given their intended meanings.
In the context of Peano arithmetic, the intended interpretation is called the standard model of arithmetic. It consists of the natural numbers with their ordinary arithmetical operations. All models that are isomorphic to the one just given are also called standard; these models all satisfy the Peano axioms. There are also non-standard models of the Peano axioms, which contain elements not correlated with any natural number.
Read more about this topic: Interpretation (logic)
Famous quotes containing the word intended:
“The goods of fortune ... were never intended to be talked out of the world.—But as virtue and true wisdom lie in the middle of extremes,—on one hand, not to neglect and despise riches, so as to forget ourselves,—and on the other, not to pursue and love them so, as to forget God;Mto have them sometimes in our heads,—but always something more important in our hearts.”
—Laurence Sterne (1713–1768)