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
Setningslogikk | ||||||||||||||||||||||||||||||||||||||||
Sannhetstabell (0 = usant, 1 = sant):
| ||||||||||||||||||||||||||||||||||||||||
Sannhetsfunksjoner: abjunksjon | inklusiv disjunksjon (adjunksjon) | bisubjunksjon (ekvijunksjon,ekvivalens) | eksklusjon | subjunksjon (implikasjon) | injunksjon | konjunksjon | eksklusiv disjunksjon (alternativ, antivalens, kontrajunksjon, kontravalens) | negasjon |