Semantische Implikation

Semantische Implikation (auch: (semantisches) Entailment / Konditional) ist ein sprachwissenschaftlicher Terminus zur Bezeichnung einer Implikation, bei der im Unterschied zur materialen Implikation der Logik die Teilaussagen in einer inhaltlichen Beziehung zueinander stehen. Die Geltung einer semantischen Implikation ist dabei nicht von den syntaktischen Beziehungen der Teilsätze in einem logischen Kalkül abhängig, sondern davon, dass jedes semantische Modell, das den Vordersatz erfüllt, auch den Folgesatz wahr macht, bzw. dass jedes Objekt, das durch ein bestimmtes Wort bezeichnet werden kann, auch mit einem anderen, implizierten Wort belegt werden kann.