Paradoja

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éase paradojas de la implicación material).

En el campo de la lógica y en el de las matemáticas, designa una conclusión contradictoria en apariencia que se deriva de lo que se plantea como premisas válidas. Las paradojas se conocen desde la época del filósofo griego Zenón de Elea en el siglo V a.C. Muchas paradojas, tras ser sometidas a examen, resultan estar basadas sobre premisas o argumentos falsos, o sobre presuposiciones incompletas que subyacen en los sistemas lógicos o matemáticos implicados. Otras paradojas, de cualquier modo, han sido más difíciles de resolver y su estudio ha contribuido a la evolución de las matemáticas modernas. Las paradojas semánticas dependen de la estructura del lenguaje, y asimismo la paradoja se utiliza a menudo como un recurso retórico en epigramas, poesía y otras formas de la escritura literaria.