Una paradoja era, originalmente, cualquier afirmación sorprendente, problemática, o contraintuitiva, especialmente una verdad contraintuitiva.

Para la lógica moderna, una paradoja es un concepto o proposición que crea problemas lógicos o semánticos derivados del hecho de que se niega a sí misma después de haberse afirmado a sí misma.

(v. paradojas de la implicación material)

Paradojas famosas
Paradoja de Zenón: Aquiles y la tortuga y su solución
Paradoja del mentiroso