An interpretation is a string of symbols of a language which expresses the assignment of meanings to symbols of some other language (called the object language). The term "interpretation" refers to both the symbols of the metalanguage which express truths about the object language, as well as to the concept represented by those symbols.[1]The interpretation is not part of the object language, which may have any number of different interpretations, but usually has some intended interpretation.

The formal languages used in mathematics, logic, and theoretical computer science are defined entirely in terms of the shapes and locations of their symbols, and as such do not have any inherent meaning until they are given some interpretation (also called semantics). The general study of interpretations of formal languages is called formal semantics. The most commonly studied formal languages are propositional logic and predicate logic, and for these there are standard ways of presenting an interpretation.

An interpretation can be expressed as a function 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 {a} (for "Abraham Lincoln"), signifying that under this function Abraham Lincoln is considered tall. The object language which is being interpreted is typically a formal language, i.e. a mere set of strings of symbols.

An interpretation often (but not always) provides a way to determine the truth values of sentences in a language. If a given interpretation assigns the value True to a sentence or theory, the interpretation is called a model of that sentence or theory.

Contents

Show All>>

 

The above information uses material from Wikipedia and is licensed under the GNU Free Documentation License.
Some facts may not have been fully verified for accuracy. [Disclaimers]
This page was last archived by our server on Sat Sep 12 02:42:05 2009. [ refresh local cache ]
Displaying this page or its contents does not use any Wikimedia Foundation's resources.
The owners of this site proudly support the Wikimedia Foundation.


Looking for History in All The Wrong Places - Desicritics.org
news.google.com
Looking for History in All The Wrong Places

Desicritics.org

This broad interpretation holds true for the collective human experience and rings ever so true for Pakistan. It is interesting to note how seamlessly the ...
Google News Search: Interpretation (logic),
Mon Aug 17 07:26:23 2009
Intuitive Logic
dwink.net
Intuitive Logic

d.w.

Mon, 07 Sep 2009 11:46:42 GM

And on top of that, a good portion of the skill in Go involves internalizing abstract shapes, letting the subconscious mind help you to analyze the board quickly through shape & pattern . interpretation.​ . Add to this the fact that because ...

Google Blogs Search: Interpretation (logic),
Thu Sep 10 15:55:39 2009