Tautologien sind sprachliche Ausdrücke, die allein aufgrund ihrer Form unter allen Umständen wahr (logisch wahr) sind.
Propositionen, die tautologischen Sätzen entsprechen, sind wahr in allen logisch möglichen Welten. Eine Tautologie liegt z. B. vor, wenn eine Proposition die logische Form p oder nicht p hat, wobei p durch einen beliebigen Satz realisiert werden kann (1).
Weil sie unter allen Umständen wahr sind, sind tautologische Sätze und die Propositionen, die von diesen Sätzen ausgedrückt werden, nicht informativ. Unter bestimmten Voraussetzungen werden sie jedoch eben deshalb zur Beantwortung von Entscheidungsfragen verwendet, um anzuzeigen, dass man die gewünscht Information nicht geben kann oder will (2).
Tautologie ist ein Begriff der Semantik bzw. der formalen Logik.
tautologie (französisch), tautologia (italienisch), tautologi (norwegisch), tautologia (polnisch), tautológia (ungarisch)