Die Modelltheorie ist die Untersuchung der Beziehungen zwischen formalen Sprachen (Signaturen und Sätzen) und mathematischen Strukturen (Modellen), die sie interpretieren: sie analysiert die Erfüllbarkeitsrelation, Klassen von Strukturen, die gegebene Theorien erfüllen, und die Verbindungen zwischen syntaktischen Eigenschaften von Theorien und semantischen Eigenschaften ihrer Modelle (z. B. Vollständigkeit, elementare Äquivalenz, Einbettungen), wobei berücksichtigt wird, wie Änderungen in Sprache oder Signatur das Ausdrückbare und Erfüllbare beeinflussen.

Prinzip

Die Wahrheit eines Satzes ist relativ zu einem Modell über die Erfüllbarkeitsrelation; modelltheoretische Methoden charakterisieren, welche Sätze oder Theorien in welchen Strukturen gelten und wie syntaktische Manipulationen von Theorien sich in semantische Folgen über Klassen von Modellen übersetzen.

Demonstration

Illustratives Szenario — Situation: Eine Sprache hat ein einstellige Prädikat P und eine Struktur interpretiert die Domäne und P als Teilmenge. Erkennung: Einen Satz wie ‚∃x P(x)‘ bewertet man, indem man überprüft, ob die Teilmenge, die P interpretiert, in der Struktur nicht leer ist. Handlung: Feststellen, welche Sätze der Theorie in dieser Struktur wahr sind. Folge: Die Analyse lokalisiert, welche Modelle die Theorie erfüllen, und kann nicht-isomorphe Modelle identifizieren, die dieselben Sätze erfüllen (elementare Äquivalenz), oder Einbettungen zwischen Modellen, die die Wahrheitsbedingungen von Formeln erhalten.

Fehlanwendung

Davon auszugehen, dass die Existenz eines formalen Modells eine empirische Instanziierung oder ontologische Verpflichtung impliziert; der Fehler besteht darin, die mathematische Existenz einer Struktur (die Axiome erfüllt) mit Behauptungen über die empirische Welt zu verwechseln, ohne getrennte Rechtfertigungsschritte.

Konsequenz

Modelltheoretische Analysen können Theorien nach dem Verhalten ihrer Modelle klassifizieren, die Ausdrücklichkeitsgrenzen einer Sprache aufdecken und Konstruktionen (z. B. Erweiterungen, Redukte, Ultraproducte) liefern, die zeigen, dass bestimmte semantische Phänomene möglich oder unmöglich sind; diese Folgen informieren darüber, was formal beweisbar ist und wie Semantik syntaktische Methoden einschränkt.

Umkehrung

Modelltheoretische Schlussfolgerungen hängen von der gewählten Sprache/Signatur, der erlaubten Klassen von Strukturen und der Logik (erste Ordnung vs. höhere Ordnungen) ab; Ergebnisse in einem Rahmen (z. B. Kompaktheit in der ersten Ordnung) können in anderen scheitern oder ihre Bedeutung ändern, sodass die Anwendbarkeit durch diese Wahl zu qualifizieren ist.

Abgrenzung

Klar innerhalb: Untersuchung, welche Strukturen eine gegebene prädikatenlogische Theorie erster Ordnung erfüllen, und Studium elementarer Einbettungen, Äquivalenz und Definierbarkeit. Randfall: Einsatz modelltheoretischer Werkzeuge auf informelle ‚Modelle‘ in den Sozialwissenschaften, bei denen die mathematische Erfüllbarkeitsrelation metaphorisch verwendet wird. Klar außerhalb: rein beweistheoretische oder rechnerische Analysen, die keine Strukturen zur Interpretation der Sprache betrachten.

Semantische Spannung

Expressivität ↔ Existenz von Modellen — reichere Sprachen erlauben feinere Unterscheidungen, können jedoch dazu führen, dass erwünschte meta-theoretische Eigenschaften (wie Kompaktheit oder Vollständigkeit) verloren gehen oder das Modellverhalten sich ändert; die Sprachwahl ist ein Abwägen zwischen Ausdruckskraft und Erhalt meta-theoretischer Eigenschaften.

Synthese

Die Modelltheorie verbindet syntaktische Axiome mit Klassen semantischer Strukturen und macht deutlich, welche Aspekte einer Theorie durch die Form bestimmt und welche durch Interpretationen variabel sind; ihre Einsichten sind sprach- und logikabhängig und müssen als systemrelative Abbildungen zwischen Syntax und möglichen Strukturen gelesen werden.