Psychology Wiki

Interpretation (logic)

34,203pages on
this wiki
Add New Page
Talk0 Share

Assessment | Biopsychology | Comparative | Cognitive | Developmental | Language | Individual differences | Personality | Philosophy | Social |
Methods | Statistics | Clinical | Educational | Industrial | Professional items | World psychology |

Philosophy Index: Aesthetics · Epistemology · Ethics · Logic · Metaphysics · Consciousness · Philosophy of Language · Philosophy of Mind · Philosophy of Science · Social and Political philosophy · Philosophies · Philosophers · List of lists

For otheruses see:Interpretation (disambiguation)

In logic, an interpretation is the result of assigning meanings, or semantic values to the various formulae and other elements of formal languages.

An interpretation of a formal language designates

a) a non-empty set consisting of the domain of discourse (also called universe of discourse or domain of the interpretation.) This set forms the range of any variables that occur in any statements in the language; b) a unique name for each object in the domain, each of which denotes the particular object to which it refers; c) a function (or operation) for each function symbol which assigns a truth-value to the result of any sequence of arguments from the domain; d) a property or relation for each predicate variable which is consistent with the sequences of objects in the domain which satisfy the property or hold the relation to each other; and e) a truth-value for each sentential letter which represents a statement in the language.[1]

The formulas of first order logic that are tautologies under any interpretation are called valid formulas. A formula is called satisfiable if it takes at least one true value under some interpretation. A formula whose truth table contains only false under any interpretation is called unsatisfiable. [2]

The Löwenheim-Skolem theorem establishes that any satisfiable formula of first-order logic is satisfiable in a denumerably infinite domain of interpretation. Hence, domains with a cardinality of aleph-0 are sufficient for interpretation of first-order logic.[3]


A sentence is either true or false under an interpretation which assigns values to the logical variables. We might for example make the following assignments:

Individual Constants: These are the members of the domain of discourse (as described above in a), and b)).

\mathbb{D}: {a,b,c}
  • a: Socrates
  • b: Plato
  • c: Aristotle

Logical constants: The function for each function symbol as described in c) above .

Predicates: These are the relations that apply to the members of the domain of discourse (as described above in d)).

  • Fα: α is sleeping
  • Gαβ: α hates β
  • Hαβγ: α made β hit γ

Sentential variables:: (as described above in e))

  • p "It is raining."

Under this interpretation the sentences discussed above would represent the following English statements:

See also Edit

References Edit

  1. "interpretation." The Oxford Dictionary of Philosophy. Oxford University Press, 1994, 1996, 2005. 01 Dec. 2007.
  2. Alex Sakharov "Interpretation" From MathWorld--A Wolfram Web Resource.
  3. Alex Sakharov "Interpretation" From MathWorld--A Wolfram Web Resource.

This page uses Creative Commons Licensed content from Wikipedia (view authors).

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.

Also on Fandom

Random Wiki