One who constructs a syntactical system usually has in mind from the outset some interpretation of this system. While this intended interpretation (called standard model in mathematical logic—a term introduced by Abraham Robinson in 1960) can have no explicit indication in the syntactical rules - since these rules must be strictly formal — the author's intention respecting interpretation naturally affects his choice of the formation and transformation rules of the syntactical system. For example, he chooses primitive signs in such a way that certain concepts can be expressed; he chooses sentential formulas in such a way that their counterparts in the intended interpretation can appear as meaningful declarative sentences; his choice of primitive sentences must meet the requirement that these primitive sentences come out as true sentences in the interpretation; his rules of inference must be such that if by one of these rules the sentence is directly derivable from a sentence, then turns out to be a true sentence (under the customary interpretation of → as meaning implication). 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 sciences, we mean, if we want reality 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 as the intended one, but other assignments for non-logical constants.
Read more about Intended Interpretation: Example
Other articles related to "intended interpretation, interpretation":
... 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." ...
Famous quotes containing the word intended:
“A virtuous expediency, then, seems the highest desirable or attainable earthly excellence for the mass of men, and is the only earthly excellence that their Creator intended for them.”
—Herman Melville (18191891)