n. (Logic) 1. an allocation of significance to the terms of a purely formal system; an assignment of ranges to the bound variables, denotations to the individual constants, and extensions to the predicate constants of a formal calculus, so that the closed well-formed formulae of the calculus have a truth-value in the interpretation. 2. a function from the formal calculus to possible worlds that yields such an assignment. See also structure.