Paradoja (del griego para, contra, y doxa, opinión; literalmente “contrario a la opinión”) — Enunciado, argumento o situación que, a partir de premisas aparentemente aceptables y mediante un razonamiento aparentemente válido, conduce a una conclusión contradictoria, absurda o autocontradictoria. Las paradojas constituyen un campo privilegiado de investigación lógica y filosófica porque revelan tensiones ocultas en las intuiciones más básicas sobre el lenguaje, la verdad, la referencia y el infinito.

W.V.O. Quine, en The Ways of Paradox (1966), propone una tipología tripartita. Las paradojas veridicionales (veridical paradoxes) son aquellas cuya conclusión parece absurda pero es de hecho verdadera — como la paradoja de Banach-Tarski o la paradoja del cumpleaños en probabilidad. Las paradojas falsidicionaes (falsidical paradoxes) implican un razonamiento que parece válido pero contiene un error oculto — la conclusión es de hecho falsa. Las antinomias (antinomies) son las más graves: paradojas en las que el razonamiento parece igualmente válido en la dirección de la conclusión y en la dirección de su negación, generando una contradicción genuina en el sistema lógico o semántico.

Paradojas de Zenón de Elea (siglo V a.C.): Zenón formuló varios argumentos para defender la posición de Parménides de que el movimiento es ilusorio. El más famoso es el de Aquiles y la tortuga: Aquiles concede una ventaja inicial a la tortuga, pero cada vez que alcanza el punto donde estaba la tortuga, esta ha avanzado un poco más — y así ad infinitum. Zenón concluye que Aquiles jamás la alcanzará. La resolución moderna recurre al concepto matemático de serie convergente (la suma de infinitos términos puede ser finita), pero la paradoja sigue estimulando debates sobre la divisibilidad infinita del espacio y el tiempo.

Paradoja del Mentiroso (atribuida a Epimménides de Creta, siglo VI a.C.; formulación clásica posterior): “Esta proposición es falsa.” Si la proposición es verdadera, entonces es falsa (pues eso es lo que afirma); si es falsa, entonces es verdadera (pues lo que afirma es precisamente que es falsa). La antinomia es una antinomia semántica: implica autorreferencia y el predicado “verdadero” o “falso” aplicado a un enunciado que se refiere a sí mismo. Alfred Tarski, en Der Wahrheitsbegriff in den formalisierten Sprachen (1933), demostró que la solución rigurosa exige la distinción entre lenguaje-objeto (en el que se habla) y metalenguaje (en el que se habla sobre el lenguaje-objeto), eliminando la posibilidad de autorreferencia semántica irrestricta.

Paradoja de Russell (1901): Bertrand Russell descubrió una antinomia en el corazón de la teoría ingenua de conjuntos: sea R el conjunto de todos los conjuntos que no se contienen a sí mismos como miembros. ¿Se contiene R como miembro a sí mismo? Si es así, por definición no debería contenerse; si no es así, por definición debería contenerse. Russell comunicó la paradoja a Frege en una célebre carta (junio de 1902), destruyendo el programa logicista de Frege en el momento de su conclusión (Grundgesetze der Arithmetik, vol. II). La solución de Russell fue la teoría de tipos (theory of types), que prohíbe los conjuntos que se contienen a sí mismos como miembros mediante una jerarquía de tipos lógicos. Zermelo resolvió independientemente el problema a través de la axiomática de la teoría de conjuntos (separación restringida).

Paradoja de Grelling-Nelson (1908): Kurt Grelling y Leonard Nelson formularon una paradoja de autorreferencia semántica: un adjetivo es autológico si se aplica a sí mismo (por ejemplo, “corto” es corto; “polisílabo” es polisílabo) y heterológico si no se aplica a sí mismo (“largo” no es largo). La pregunta: ¿es “heterológico” heterológico? Si sí, entonces no se aplica a sí mismo, luego no es heterológico; si no, entonces sí se aplica a sí mismo, luego es heterológico. La antinomia es estructuralmente análoga a la paradoja de Russell.

Paradoja Sorites (del griego soros, montón): Atribuida a Eubúlides de Mileto (siglo IV a.C.). Un montón de arena con 1.000.000 de granos es un montón; quitar un grano no lo convierte en un no-montón; por inducción, 1 grano de arena es un montón. La paradoja expone la vaguedad de los predicados graduables: expresiones como “montón”, “calvo” o “alto” no tienen límites precisos de aplicación. Las respuestas filosóficas incluyen el supervaluacionismo y el revisionismo lógico con lógicas trivalentes.

← Glosario