Kontradiktionen sind sprachliche Ausdrücke, die allein aufgrund ihrer logischen Form unter allen Umständen falsch sind.
Propositionen, die kontradiktorischen Sätzen entsprechen, sind falsch in allen logisch möglichen Welten. Eine Kontradiktion liegt z. B. vor, wenn eine Proposition die logische Form p und nicht p hat, wobei p durch einen beliebigen Satz realisiert werden kann (1).
Kontradiktion ist ein Begriff der Semantik bzw. der formalen Logik.
Widerspruch