Antinomia de San Pablo

San Pablo, en la epstola a Tito (v1. 12-13), advierte a ste que los cretenses son siempre mentirosos; como testimonio de tal advertencia cita a un cretence: Epimnides. Anlisis: si Epimnides que es cretence afirma que todos los cretences son embusteros, l mismo se incluye dentr de la categora; por tanto, miente. Pero si miente, al decir que todos mienten l tambin miente, por tanto, los cretences no son unos embusteros. Pero entonces estos dicen la verdad; en particular, Epimnides tambin la dice. Este es un ejemplo de antinomia. Cualquier respuesta que se de, simpre nos atrapa en un callejn sin salida. Esa antinomia no la invent el apstol Pablo, sino que viene de muy antiguo. Segn Digenes Laercio, la invent Eublides.

Cmo se resuelve la paradoja o antinomia de San Pablo?

La antinomia de San Pablo, junto con muchas otras que pueden encontrarse en textos tan poco relacionados con las matemticas como El Quijote, se solucionan mediante la lgica, acudiendo a anlisis un tanto sutiles. En la paradoja de Epimnides, primero debemos suponer que el cerebro humano es un rgano que funciona correctamente y alguna explicacin tendr el que Epimnedes nos cause tantos problemas. Lo que nadie admitir es que nuestros hbitos de razonamiento sean equivocados. En efecto, nuestros hbitos son correctos, pero la formulacin semntica de la paradoja no es la correcta. Cuando hablamos de que los cretenses mienten, estamos en nuestro derecho. Pero al afirmar que uno de los miembros del club de embusteros miente, debemos explicar nuestro argumento de forma ms detenida. Un cretense puede mentir cuando se le antoje; pero si miente al referirse al enunciado particular que afirma que todos mienten, la contradiccin salta a la vista. Esto es, con mayor precisin, hay que distinguir varias categoras de embusteros: los cretenses vulgares que mienten sobre cuestiones vulgares salvo cuando dicen que mienten son cretenses de tipo 1 los cretensens que mienten incluso cuando afirman que los cretenses de tipo 1 mienten pero no mienten cuando dicen que ellos mienten, son cretenses de otro tipo, de tipo 2 los cretenses que mienten, incluso al afirmar que los cretenses de tipo 2 mienten, pero que no mienten si dicen que ellos mienten, son cretenses del tipo 3. Y as sucesivamente.

No es difcil ver que San Pablo redact mal su Epstola: debi decir primero a qu tipo de embusteros perteneca Epimnides. La explicacin anterior es un bosquejo de la explicacin ms detallada debida a Bertrand Russel (1872 - 1970), quien demostr que los sistemas consistentes son incapaces de demostrar su consistencia por ellos mismos. El mtodo general para afrontar esas paradojas, es el de distinguir entre lenguaje y metalenguaje. Fuente: Biblioteca Salvat de grandes temas. Tomo 70. La nueva matemtica. Salvat editores, Barcelona 1973. Adaptacin.