Tautologi (logikk)

En tautologi er et utsagn som med logisk nødvendighet er sant. Det betyr at tautologier ikke har noe empirisk innhold; de evner ikke å forklare noe fenomen i naturen, fordi deres sannhetsgehalt kan begrunnes rent formelt, uten referanse til verden.

Eksempler på tautologier er utsagn av typen
Hvis A, så A (sirkelslutninger)
eller
A eller ikke-A (loven om den ekskluderte tredje).

Utsagnet «det blir regn i dag, eller så blir det ikke regn i dag» handler for eksempel bare tilsynelatende om vær. Men fordi det alltid er sant, inneholder det ikke noen informasjon om verden.

Det motsatte av en tautologi er en kontradiksjon.

Se også
 Pleonasme, uttrykk med en overflødig gjentakelse («smør på flesk»)
 Selvreferanse

Logikk
Filosofiske begreper og metoder