Der Teilbereich der mathematischen Logik, der formale Sprachen und deren Interpretationen (Modelle) untersucht und sich auf die Beziehungen zwischen syntaktischen Theorien und semantischen Strukturen konzentriert: Erfüllbarkeit, elementare Äquivalenz, Definierbarkeit, Typen und modelltheoretische Eigenschaften wie Vollständigkeit, Kompaktheit und Stabilität.

Prinzip

Formale Theorien (Mengen von Sätzen in einer Sprache) über die Erfüllungsrelation mit Klassen von Strukturen verknüpfen; analysieren, welche Eigenschaften von Strukturen in einer gegebenen Sprache ausdrückbar sind und wie modelltheoretische Invarianten Theorien und Strukturen klassifizieren.

Demonstration

Betrachte die Gruppensprache und die Theorie der abelschen Gruppen; die Modelltheorie untersucht, welche Gleichungen oder Eigenschaften definierbar sind, vergleicht nicht-isomorphe Modelle, die dieselben Aussagen erster Ordnung erfüllen (elementare Äquivalenz), und studiert Phänomene wie Ultraproducts und elementare Einbettungen.

Fehlanwendung

Modelltheoretische „Modelle“ mit statistischen oder empirischen Modellen zu verwechseln; modelltheoretische Schlussfolgerungen aus der ersten Ordnung ungeprüft auf höherstufige Logiken oder nicht-logische Rahmen zu übertragen, ohne Spracheigenschaften wie Kompaktheit zu prüfen, führt zu Fehlern.

Konsequenz

Stellt Werkzeuge bereit, um Ausdrucksstärke und Grenzen formaler Sprachen zu bestimmen, Eigenschaften zwischen Modellen zu übertragen (elementare Einbettungen, Back-and-Forth-Argumente) und Theorien zu klassifizieren (stabil, o-minimal, entscheidbar), was oft tiefe strukturelle Einsichten in Algebra, Geometrie und Kombinatorik ermöglicht.

Umkehrung

Den Fokus auf die Beweistheorie verlagern, die syntaktische Ableitbarkeit und formale Beweise betont, statt die semantische Klassifikation von Strukturen; oder kategoriale Semantik verwenden, die Morphismen und Funktoren betont statt elementweiser Erfüllung.

Abgrenzung

Befasst sich primär mit formalen Sprachen und mathematischen Strukturen; die Modelltheorie erster Ordnung besitzt spezielle Sätze (Kompaktheit, Löwenheim–Skolem), die in höherstufigen Logiken nicht gelten. Sie befasst sich nicht direkt mit empirischer Modellauswahl oder probabilistischer Modellierung außerhalb des logischen Rahmens.

Semantische Spannung

„Modell“ in der Modelltheorie (eine Struktur, die eine Theorie erfüllt) versus „Modell“ in der angewandten Statistik (ein parametrisiertes stochastisches Modell); dasselbe Wort bezeichnet unterschiedliche Praktiken und Angemessenheitskriterien.

Synthese

Die Modelltheorie untersucht systematisch, wie Sprachen Strukturen beschreiben und wie semantische Begriffe (Modelle, Erfüllung, Definierbarkeit) mit syntaktischen Theorien zusammenwirken; durch Klassifikation von Theorien und Untersuchung von Konstruktionen wie elementaren Erweiterungen verbindet sie logische Ausdruckskraft mit strukturellem Verhalten in der Mathematik.