Implizieren

Implizieren ist ein deutsches Verb, das bedeutet, dass etwas indirekt angedeutet oder vorausgesetzt wird, ohne es ausdrücklich zu sagen. Im Alltag verwendet man es, um eine Folgerung zu kennzeichnen, die aus einer Aussage logisch oder sinnvoll folgt. Beispiel: „Es regnet“ impliziert, dass die Straßen nass werden könnten; oder „Wir haben nicht genug Zeit“ impliziert, dass wir früher beginnen sollten.

In der Logik bezeichnet Implikation einen binären Zusammenhang zwischen zwei Aussagen: Aus P folgt Q. Die gängige Schreibweise ist P → Q. In der klassischen, materialen Implikation ist der Ausdruck wahr, solange P falsch ist oder Q wahr ist; nur wenn P wahr und Q falsch ist, ist er falsch. Diese Wahrheitsdefinition weicht in der alltäglichen Sprache von der Intuition ab und ist Gegenstand vieler Diskussionen in der Logik und Informatik.

Der Begriff unterscheidet sich von Implikatur: Eine Implikatur ist eine pragmatische Folgerung, die der Sprecher durch Kontext, Tonfall oder konventionelle Erwartungen nahelegt, ohne sie ausdrücklich zu sagen. Implizite Bedeutung wird so oft durch Kommunikation, nicht durch formale Aussagen festgelegt.

In Wissenschaften wie Philosophie, Linguistik, Informatik und Mathematik dient das Konzept der Implikation als verbindender Begriff zwischen Behauptungen, Befunden oder Programmcodes. Die zugehörigen Substantive sind Implikation (logischer Zusammenhang) und Implikatur (kontextgebundene Bedeutung).