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.