Een paradox is een ogenschijnlijk tegenstrijdige situatie, die lijkt in te gaan tegen ons gevoel voor logica, onze verwachting of onze intuïtie. Ogenschijnlijk, omdat de vermeende tegenstrijdigheid veelal berust op een denkfout of een verkeerde redenering. Het is ook mogelijk dat de paradox een uitspraak is die verschillende semantische (betekenis) niveaus bevat.
Een beroemde paradox uit de logica is de paradox van Epimenides die in de brief aan Titus geciteerd wordt. Deze luidt (al heeft Epimenides het nooit zo gezegd of bedoeld):
“De Kretenzer Epimenides zegt: “Alle Kretenzers liegen altijd.”
Wanneer we deze uitspraak letterlijk interpreteren, dan is het inderdaad zo dat de uitspraak, die immers gedaan is door een Kretenzer, zichzelf tegenspreekt: de uitspraak zegt van zichzelf dat hij niet waar is, en kan dus niet waar zijn. De uitspraak “Alle Kretenzers liegen” kan onwaar zijn (en dus een leugen) als we aannemen dat Kretenzers soms liegen, echter in dit geval liegen ze dus niet altijd.
