Ein konkreter Fall, ein Beispiel oder ein konstruiertes Szenario, das den Vordersatz oder die Voraussetzungen einer allgemeinen Behauptung erfüllt, zugleich aber zeigt, dass die behauptete Folgerung falsch oder unvollständig ist; Zweck ist zu demonstrieren, dass die Allgemeinaussage in ihrer vorliegenden Form nicht universell gilt.

Prinzip

Ein einziges gültiges Gegenbeispiel genügt, um eine universelle oder kategoriale Verallgemeinerung der Form ‚für alle x, P(x) impliziert Q(x)‘ zu widerlegen; es widerlegt jedoch nicht automatisch qualifizierte, probabilistische oder domänengeschränkte Aussagen, sofern diese Einschränkungen nicht Teil der ursprünglichen Formulierung sind.

Demonstration

Illustratives Szenario → Aussage: ‚Jede auf [a,b] stetige Funktion ist auf (a,b) differenzierbar.‘ Erkennen: Gegenbeispiel f(x)=|x| auf einem Intervall, das 0 enthält. Handlung: Zeigen, dass f auf [−1,1] stetig, aber bei 0 nicht differenzierbar ist. Konsequenz: Die universelle Aussage ist falsch und muss mit zusätzlichen Bedingungen versehen oder im Geltungsbereich eingeschränkt werden.

Fehlanwendung

Ein Fall, der die ausdrücklich genannten Voraussetzungen nicht erfüllt, als Gegenbeispiel anführen (z. B. eine nicht stetige Funktion gegen einen Satz über stetige Funktionen). Der Fehler besteht darin, ein verfehltes Ziel anzugreifen statt der tatsächlichen universellen Behauptung.

Konsequenz

Ein legitimes Gegenbeispiel erzwingt die Modifikation, Einschränkung oder Aufgabe der behaupteten Verallgemeinerung, motiviert die Präzisierung von Definitionen oder Voraussetzungen und kann die theoretische Entwicklung in Richtung korrigierter oder engerer Aussagen lenken.

Umkehrung

Die widerlegende Wirkung eines Gegenbeispiels ist einzuschränken, wenn die ursprüngliche Aussage als defeasible, statistische oder implizit domänengeschränkte Behauptung gemeint war; in solchen Fällen signalisiert ein Einzelbeispiel eine Ausnahme statt einer vollständigen Falsifikation, und die angemessene Reaktion ist die Kalibrierung von Umfang oder Wahrscheinlichkeitsparametern.

Abgrenzung

Klar darin: Ein konstruiertes Beispiel, das alle angegebenen Voraussetzungen erfüllt und die Aussage falsifiziert. Randfall: Ein Beispiel, das die meisten, aber nicht alle formalen Voraussetzungen erfüllt und dessen Anwendbarkeit von der Auslegung der Voraussetzungen abhängt. Klar außerhalb: Ein vermeintliches Gegenbeispiel, das die expliziten Voraussetzungen der Aussage verletzt und daher die Aussage nicht adressiert.

Semantische Spannung

Allgemeinheit ↔ Ausnahme — der Einsatz von Gegenbeispielen bringt die Spannung zwischen dem Anspruch auf breite Verallgemeinerungen und der Berücksichtigung besonderer Ausnahmen zum Ausdruck; die Lösung erfordert eine explizite Festlegung von Reichweite, Modalität und Rahmenbedingungen.

Synthese

Gegenbeispiele sind entscheidende Prüfsteine für die Universalität von Aussagen: sie legen verborgen angenommene Voraussetzungen offen, zwingen zur klaren Festlegung von Domänen und Modalitäten und verwandeln unscharfe Verallgemeinerungen in präzise, verteidigungsfähige Aussagen.