Das systematische Verfahren, ein Modell oder eine Struktur zu konstruieren, die eine Menge von Prämissen erfüllt, aber einen postulierten Satz oder eine Theorie falsifiziert, verwendet um semantische Nicht-Folgerung oder Ungültigkeit zu zeigen.

Prinzip

Eine Folgerung dadurch widerlegen, dass man eine Zeigerstruktur liefert, in der alle Annahmen wahr sind, die behauptete Konsequenz jedoch falsch ist; ein einziges Gegenmodell genügt, um semantische Nicht-Folgerung zu beweisen.

Demonstration

Gegeben die Prämissenmenge {p→q}, konstruiere eine Bewertung v mit v(p)=falsch und v(q)=falsch. Die Implikation p→q ist in v wahr, q ist jedoch falsch, also ist v ein Modell der Prämissen, das q falsifiziert und {p→q} ⊭ q beweist.

Fehlanwendung

Eine Struktur konstruieren, die die Sprache oder Signatur ignoriert (z. B. anderes Universum, fehlende Funktionssymbole) oder aus einem ungültigen Gegenbeispiel Nicht-Folgerung behaupten, das nicht alle Prämissen erfüllt.

Konsequenz

Ein gültiges Gegenmodell stellt die semantische Unabhängigkeit der Schlussfolgerung von den Prämissen fest, leitet Reparaturen der Theorie an und identifiziert notwendige zusätzliche Axiome oder Beschränkungen.

Umkehrung

Statt ein Gegenmodell zu konstruieren, versucht man zu beweisen, dass kein Gegenmodell existiert; das Vorhandensein eines Beweises für die Folgerung steht im direkten Gegensatz zur Gegenmodulkonstruktion.

Abgrenzung

Gilt für modelltheoretische Semantik in Aussagenlogik, Prädikatenlogik und anderen Logiken; die Praktikabilität hängt von Entscheidbarkeit und verfügbaren Modellbaumethoden ab und ersetzt nicht notwendigerweise syntaktische Beweissysteme, falls Vollständigkeit fehlt.

Semantische Spannung

Gegenmodulkonstruktion steht im Spannungsfeld zu syntaktischen Gegenbeispielen und Beweissuche: Das Gegenmodell ist semantisch und konstruktiv, während eine syntaktische Widerlegung den dualen Beweis durch Ableitung liefert.

Synthese

Gegenmodulkonstruktion ist die Methode, eine konkrete Interpretation zu erzeugen, die die Prämissen erfüllt und die Schlussfolgerung verletzt, womit semantische Nicht-Folgerung nachgewiesen und Theorieanpassungen ermöglicht werden.