Interpretation (Logik) - LinkFang.de





Interpretation (Logik)


Dieser Artikel oder Abschnitt bedarf einer Überarbeitung.

Eine Interpretation (von lat. interpretatio: Auslegung, Erklärung, Deutung) im Sinn der Modelltheorie ist eine Struktur, die auf eine logische Formel bezogen wird. Unter der Interpretation kann die Formel dann wahr oder falsch sein. Eine Interpretation, unter der eine Formel wahr ist, heißt Modell der Formel. Falls sie in jeder möglichen Interpretation wahr ist, nennt man sie allgemeingültig.

Überblick

Folgende Aspekte der Interpretation können unterschieden werden:

  • Interpretationen der Symbole (Signatur) einer formalen (logischen) Sprache,
  • Interpretationen einer Menge von Aussagen (Axiomen) über dieser Sprache,
  • Interpretationen von Formeln mit Variablen über dieser Sprache.

Interpretation der Symbole einer Sprache

Die Gesamtheit der zu interpretierenden Symbole hängt von der Sprache ab. Speziell im Sinn der Prädikatenlogik erster Stufe kann die Sprache Konstanten-, Relations- und Funktionssymbole enthalten, z. B. die Konstantensymbole "0" und "1", das (zweistellige) Relationssymbol "<" und das (zweistellige) Funktionssymbol "+". Ohne eine Interpretation sind dies sinnleere Zeichen; eine Interpretation definiert, für welchen Wert aus welcher Gesamtmenge eine Konstante steht, wann eine Relation gilt und wie die Funktion Werte abbildet. Somit besteht eine Interpretation aus einem Wertebereich (auch Universum, Domäne, Wertemenge, Individuenmenge, Individuenbereich oder Gegenstandsbereich genannt) und Interpretationen der Konstanten-, Relations- und Funktionssymbole über diesem Universum. Variablen stehen für nicht festgelegte Werte aus dem Universum. (Statt Relationssymbol wird auch der Begriff Prädikat verwendet.)

Man beachte, dass der Wertebereich (das Universum) Teil der Interpretation ist; daher können zwei Interpretationen unterschiedlich sein, auch wenn sie sich in der Interpretation der Konstanten-, Relations- und Funktionssymbole nicht unterscheiden. (Beispielsweise, wenn eine Interpretation eine Erweiterung der anderen ist).

Je nach Interpretation ergibt sich eine unterschiedliche Struktur; Aussagen in der Sprache können nur die in der Struktur enthaltenen Elemente und Beziehungen betreffen.

Interpretation einer Menge von Aussagen

Die Definition der Interpretation bestimmt unmittelbar den Wahrheitswert atomarer Aussagen. Der Wahrheitswert einer zusammengesetzten Aussage über einer Struktur (Interpretation) lässt sich aus dem Wahrheitswert der atomaren Ausdrücke mittels Wahrheitstabellen ableiten.

Ist eine Menge von Aussagen (ein Axiomensystem) gegeben, ist in der Regel eine Interpretation gesucht, die alle diese Axiome gleichzeitig erfüllt, d. h. wahr macht. Die Axiome des Systems werden dann zu wahren Aussagen über das Universum, in dem das System interpretiert werden soll. Eine solche Struktur nennt man ein Modell des Axiomensystems. Im allgemeinen hat ein Axiomensystem mehrere Modelle.

Beispiele:

  • Die Aussage "Jeder hat eine Mutter" gilt, wenn wir als Universum alle Menschen annehmen, die je gelebt haben, aber nicht, wenn das Universum nur alle lebenden Menschen umfasst.
  • Die Aussage [math]\forall x \exists y\colon y = x+1[/math] hat mehrere Modelle, z. B. die natürlichen, die ganzen und die reellen Zahlen mit der Standard-Addition, aber auch die Menge der Zeichenfolgen, wenn die Funktion "+" als Konkatenation interpretiert wird und die Konstante 1 als Ziffer.

Die Umformungsregeln des formalen Systems werden damit zu Regeln über die Gewinnung bzw. Umwandlung von Aussagen bzw. Ausdrücken über das betreffende Sachgebiet.

Interpretation von Formeln mit Variablen

Sobald freie Variablen in einer logischen Formel auftauchen, hängt der Wahrheitswert davon ab, welche Werte man für die Variablen einsetzt. Von einer Interpretation im engeren Sinn werden Variablen (im Gegensatz zu Konstanten) nicht mit Werten belegt. Damit Aussagen überprüfbar sind, muss eine Belegung der Variablen hinzukommen. Manchmal spricht man aber auch von einer Interpretation einer Formel, wenn man genaugenommen eine Kombination aus Interpretation und Belegung meint.

In der theoretischen Informatik werden Aussagen mit freien Variablen oft als "Constraints" (von Englisch constraint = Einschränkung) über diesen Variablen bezeichnet; in diesen Kontexten ist die Interpretation (Semantik) der Symbole meist gegeben. Dann wird eine Variablenbelegung oder "Interpretation" gesucht, die zu den Constraints passt, d. h. diese simultan erfüllt.

Beispiele:

  • x ist kleiner als y, x + y = 3. (Eine mögliche Lösung ist x=1, y = 2; je nach Universum auch x=0, y=3.)
  • x ist oberhalb von y, y ist rechts von z, z ist oberhalb von x. (Diese Constraintmenge ist nicht erfüllbar.)

Eine Belegung, die alle Constraints erfüllt, wird oft als Modell bezeichnet (siehe Constraint Satisfaction Problem).

Bedeutung

Eine solche Interpretation bezieht sich immer auf ein zugrunde gelegtes Universum. Indem den Konstanten und Funktionen des Axiomensystems Individuen aus diesem Universum, den Prädikaten Eigenschaften von bzw. Beziehungen zwischen diesen Individuen zugeordnet werden, erhalten sie eine Bedeutung (Semantik). Dadurch kann man über die Struktur Aussagen treffen.

Ein abstraktes Axiomensystem, das keine einzige Interpretation zulässt, ist im allgemeinen wertlos, und die Beschäftigung damit hat nur den Charakter einer Zeichenspielerei. Von besonderem Interesse sind Systeme, die mehrere Interpretationen zulassen, wie etwa die Boolesche Algebra:

Deren Signatur [math]\mathcal S[/math] enthält die Konstantensymbole "0" und "1", die zweistelligen Funktionssymbole [math]\vee, \wedge[/math] und das einstellige Funktionssymbol [math]\neg[/math]. Sie können beispielsweise als Teilmengen einer Menge interpretiert werden oder als logische Wahrheitswerte oder als Zahlen des Einheitsintervalls [math][0,1][/math], und je nachdem bezeichnet "0" beispielsweise die leere Menge, den Wert [math]\mathrm{falsch}[/math] oder die Zahl 0.

Hat ein Axiomensystem Interpretationen in zwei verschiedenen Gebieten [math] G_1 [/math] und [math] G_2 [/math], so lassen sich Untersuchungen von [math] G_2 [/math] durch solche des anderen Gebiets und Uminterpretation der Ergebnisse ersetzen.

Formale Definition

Interpretation einer Sprache der Logik erster Stufe

Sei [math]\mathcal S[/math] die Signatur einer Sprache. Formal besteht eine [math]\mathcal S[/math]-Interpretation [math]\mathcal{I}[/math] im Sinn der Logik erster Stufe aus einer nichtleeren Menge [math]U[/math] (Domäne, auch Universum, Wertemenge, Individuenbereich genannt), und Zuordnungen für Konstanten-, Funktionen- und Relationssymbole:

  • Jedem Konstantensymbol [math]c[/math] wird ein Wert [math]c^{\mathcal{I}} \in U[/math] zugewiesen,
  • jedem [math]k[/math]-stelligen Funktionssymbol [math]f[/math] eine Funktion [math]f^{\mathcal{I}}\colon U^k \to U[/math]
  • und jedem [math]k[/math]-stelligen Relationssymbol [math]R[/math] wird eine Funktion [math]R^{\mathcal{I}}\colon U^k \to \{\mbox{wahr, falsch}\}[/math] zugewiesen. Manchmal findet man auch die Formulierung, dass jedem [math]k[/math]-stelligen Relationssymbol [math]R[/math] eine Teilmenge [math]R^{\mathcal{I}} \subseteq U^k[/math] zugeordnet wird. Letzteres ist so zu verstehen, dass genau dann [math]R^{\mathcal{I}}(x_1,\ldots , x_k) = \mbox{wahr}[/math] gilt, wenn [math](x_1,\ldots, x_k)\in U^k[/math] vorliegt.

Dadurch wird eine [math]\mathcal S[/math]-Struktur [math]\mathcal{A} = (U; c_1^{\mathcal{I}}, c_2^{\mathcal{I}}, ..., f_1^{\mathcal{I}}, ..., R_1^{\mathcal{I}},... )[/math] definiert. In ihr sind die Wahrheitswerte für alle Aussagen ableitbar.

Beispiele:

  • Die atomare Aussage [math]{\mathcal{A}}\models c_1 = c_2[/math] gilt genau dann, wenn [math]c_1 [/math] durch denselben Wert interpretiert wird wie [math]c_2 [/math].
  • Die atomare Aussage [math]{\mathcal{A}}\models R(c, f(c))[/math] gilt genau dann, wenn [math]f^{\mathcal{I}}[/math] den Wert [math]c^{\mathcal{I}}[/math] auf einen abbildet, der mit ihm in der Relation [math]R^{\mathcal{I}}[/math] steht. Wird über den ganzen Zahlen beispielsweise [math]f^{\mathcal{I}}[/math] als Verdopplungsfunktion interpretiert und [math]R^{\mathcal{I}}[/math] als Relation [math]\le[/math], so gilt diese Aussage für [math]c^{\mathcal{I}}=1[/math] und[math]c^{\mathcal{I}}=0[/math], aber nicht für [math]c^{\mathcal{I}}=-1[/math].

Mit den Junktoren [math]\neg, \wedge, \vee, \rightarrow, \leftrightarrow[/math] zusammengesetzte Aussagen werden gemäß der Wahrheitstabellen aus diesen abgeleitet. Für die Ableitung der Wahrheitswerte bei Quantorenausdrücken muss die Gültigkeit der Formelausdrücke unter möglichen Belegungen der Variablen ausgewertet werden.

Die Interpretation (im weiteren Sinn) für eine Formel [math]\varphi[/math] mit freien Variablen ist ein Paar [math]\mathcal{I}=(\mathcal{A},\beta)[/math] bestehend aus einer σ-Struktur [math]\mathcal{A}= (U; c_1^{\mathcal{I}}, c_2^{\mathcal{I}}, ..., f_1^{\mathcal{I}}, ..., R_1^{\mathcal{I}},... )[/math] und einer Belegung [math]\beta\colon Var(\varphi) \rightarrow U[/math], die allen Variablen aus [math]\varphi[/math] einen Wert des Universums zuordnet.

Siehe auch

Literatur

  • Hans-Dieter Ebbinghaus, Jörg Flum und Wolfgang Thomas: Einführung in die mathematische Logik. Vierte Auflage. Spektrum Akademischer Verlag, Heidelberg 1996, ISBN 3-8274-1691-4.
  • Chin-Liang Chang and Richard Char-Tung Lee: Symbolic Logic and Mechanical Theorem Proving. Academic Press, San Diego 1987, ISBN 0-12-170350-9.
  • Stephen Cole Kleene: Mathematical Logic. Dover, Mineola N. Y. 2002, ISBN 0-486-42533-9.
  • Elliott Mendelson: Introduction to Mathematical Logic. 4th Edition. Chapman & Hall, London 1997, ISBN 0-412-80830-7.

Weblinks


Kategorien: Logik

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Interpretation (Logik) (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.