Professional Documents
Culture Documents
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.
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.