ATLAS DER SPRACHE

AT-NAV-G01-024 · ATLAS 259

Implikation

»Implikation« bezeichnet in der Logik je nach Verwendung einen bedingten Satz oder eine Folgerungsbeziehung.

Teil des Themenwegs Argumentation, Logik und Diskurs

Warum dieser Begriff im Atlas?

G · Grundlagenbegriff R2 · Notwendige Grundlage

Implikation ist eine Grundlage, um bedingte Form, Folgerungsrelation und tatsächliches Schließen zu unterscheiden. Der Eintrag verhindert besonders, ein logisches wenn mit einer Ursache oder einem alltagssprachlichen Konditional gleichzusetzen. Die unterschiedlichen logischen Verwendungen benötigen dabei eine sichtbare Trennung statt einer vereinheitlichenden Kurzformel.

Farben und Aufnahmegründe

Die rechteckige Kennzeichnung benennt die Eintragsfunktion: F – sprachliche Figur oder Verfahren; A – Analysebegriff; G – Grundlagenbegriff; E – ausgewählter konkreter Fall. Die abgerundete Plakette benennt den Aufnahmegrund: R1 – eigener Erkenntnisbeitrag; R2 – notwendige Grundlage; R3 – begründeter exemplarischer Fall. Diese redaktionelle Begründung erklärt die heutige Auswahl, nicht eine nachträglich behauptete ursprüngliche Auswahlgeschichte.

Vertiefung

»Implikation« bezeichnet in der Logik je nach Verwendung einen bedingten Satz oder eine Folgerungsbeziehung. In der klassischen Aussagenlogik ist die materielle Implikation p → q genau dann falsch, wenn p wahr und q falsch ist. Daraus folgt keine zeitliche oder kausale Beziehung zwischen p und q. Die Rede von logischer Folgerung betrifft dagegen die Beziehung zwischen Voraussetzungen und Ergebnis über zulässige Interpretationen hinweg. Der Atlas muss diese Ebenen auseinanderhalten und darf nicht jedes alltagssprachliche »wenn« automatisch durch den materialen Operator ersetzen.

Denkbewegung

1. Klären, ob ein Satzoperator oder eine Folgerungsrelation gemeint ist. 2. Vordersatz und Nachsatz eindeutig bestimmen. 3. Die geltenden Wahrheitsbedingungen festhalten. 4. Die behauptete kausale oder pragmatische Zusatzbedeutung gesondert prüfen. 5. Nur die durch den gewählten Rahmen gedeckten Schlüsse ziehen.

Wissenschaftlicher Anwendungsfall

Logikdidaktik und semantische Analyse können Satzoperator, Folgerungsrelation und natürlichsprachliche Bedingung systematisch vergleichen.

Beispiel

Im festgelegten Modell gilt »Wenn die Karte rot ist, trägt sie einen Punkt«. Eine rote Karte ohne Punkt widerlegt diese Bedingung.

Gegenbeispiel

Dass zwei Zustände häufig gemeinsam auftreten, beweist keine Implikation. Aus p → q folgt außerdem nicht q → p.

Abgrenzung

Von Äquivalenz, Implikatur, Kausalität und Inferenz als Vollzug unterscheiden. Die materielle Implikation ist ein bestimmtes logisches Modell, keine vollständige Theorie jedes Konditionals.

Wirkung auf Denken und Wahrnehmung

Voraussetzungen und Konsequenzen werden präziser, während vorschnelle Kausalgeschichten zurücktreten.

Resonanz

Ein »wenn« öffnet einen bedingten Raum; sein »dann« muss innerhalb der gesetzten Regeln antworten.

Provenienz

Conditionals behandelt verschiedene Deutungen konditionaler Aussagen; Logical Consequence behandelt das Folgern aus Voraussetzungen. Der Entwurf trennt materiale Implikation, natürlichsprachliches Konditional und metasprachliche Folgerung. → Parallel corpus source review reconciled 2026-10-07

Diesen Eintrag zitieren

Reich, Michael (Hrsg./ed.): „Implikation“. Atlas der Sprache, AT-NAV-G01-024. ATLAS 259, Datenmodell 1.6.0. https://atlasdersprache.de/begriff/AT-NAV-G01-024

https://atlasdersprache.de/begriff/AT-NAV-G01-024

Die Adresse bleibt stabil; der Inhalt kann redaktionell fortgeschrieben werden. Redaktioneller Lesestand: 2026-10-15. Für genaue Nachweise zusätzlich das Abrufdatum angeben.