Escribo un ejemplo de paradoja a partir de las siguientes disciplinas: lógica matemática, física y semántica.
Una paradoja es una afirmación o situación que, partiendo de premisas aceptadas como verdaderas, conduce a una conclusión aparentemente contradictoria o absurda. A continuación se propone un ejemplo para cada disciplina.
Lógica matemática
- Se formula la afirmación: "Esta frase es falsa" (paradoja del mentiroso).
- Si se supone que la frase es verdadera, entonces lo que ella afirma (que es falsa) debe cumplirse: contradicción.
- Si se supone que la frase es falsa, entonces su contenido ("esta frase es falsa") resulta verdadero: nuevamente contradicción.
- Aceptando la premisa de que toda proposición clara es verdadera o falsa (principio de bivalencia), se llega a la conclusión aparente P \iff \neg P, es decir, la proposición es verdadera si y solo si no lo es.
- Esto muestra que el lenguaje que puede referirse a sí mismo genera enunciados que desafían el principio de no contradicción: \neg(P \wedge \neg P).
Paradoja del mentiroso ("Esta frase es falsa"): si es verdadera es falsa y si es falsa es verdadera, violando el principio de no contradicción.
Física
- Se enuncia la paradoja de los gemelos de la relatividad especial de Einstein.
- Un gemelo viaja en una nave a velocidad cercana a la luz v \approx c mientras el otro permanece en la Tierra.
- Según la dilatación temporal, el tiempo propio del viajero se mide como \Delta t' = \Delta t \sqrt{1 - \frac{v^{2}}{c^{2}}}, por lo que el viajero envejece menos.
- La aparente contradicción: la relatividad es simétrica, desde la nave el gemelo en la Tierra también debería verse envejecer más lento; ambos deberían considerarse mutuamente más jóvenes.
- La paradoja se resuelve al considerar que el gemelo viajero acelera y desacelera (no está en un marco inercial todo el viaje), rompiendo la simetría; además hay que usar la transformación de coordenadas entre marcos inercales distintos.
Paradoja de los gemelos: por simetría ambos deberían verse más jóvenes, pero al final solo el gemelo que viajó a v \approx c es más joven, ya que no mantiene un marco inercial uniforme.
Semántica
- Se formula la oración: "Esta oración tiene cinco palabras".
- Se cuenta su longitud: "Esta(1) oración(2) tiene(3) cinco(4) palabras(5)" → efectivamente tiene cinco palabras, por lo que la oración parece verdadera.
- Si se acepta como verdadera, entonces cualquier oración que declare su propia longitud debería poder autoverificarse.
- Ahora se toma: "Esta oración tiene seis palabras". Al contarla se obtiene que tiene cinco palabras, no seis → la oración es falsa.
- La paradoja aparece porque el contenido semántico (el significado sobre su propia longitud) depende de la forma de la oración y de su propia formulación, generando una referencia autorreferencial que puede volverse indeterminada o contradictoria.
Paradoja autorreferencial de la longitud de la oración (relacionada con el mentiroso semántico): una oración que afirma algo sobre su propio número de palabras puede hacerse falsa al enunciarse, revelando que el sentido de un enunciado puede depender de sí mismo.
