Interpretation (Logik)

die Zuordnung eines konkreten Gegenstandsbereiches zu einem formalen System. Dabei werden den Individuenkonstanten des Systems Elemente des entsprechenden Gegenstandsbereiches zugeordnet und den n-stelligen Prädikaten n-gliedrige Folgen von Elementen (n ∊ ℕ). Diese Zuordnungen müssen eindeutig sein. In der Logik interessiert man sich v. a. für Interpretationen, mit deren Hilfe man