sta es una paradoja muy conocida. Fue propuesta por Bertrand Russell.

La paradoja consiste en lo siguiente: En una barbera hay un cartel que dice lo siguiente: Yo afeito a quienes no se afeitan a s mismos, y solamente a stos. La pregunta es: quin afeita al barbero?

Si el barbero se afeita l mismo, entonces forma parte de las personas que se afeitan a s mismas, por lo que no podra afeitarse a s mismo. Si no se afeita a s mismo, entonces formara parte de las personas que no se afeitan a s mismas, por lo que debera afeitarse l mismo.

Como se ve, el barbero no puede cumplir con lo que puso en el cartel. Esta paradoja surgi en la investigacin de conjuntos que Bertrand Russell llevaba a cabo. Bertrand Russell descubri que no puede existir un conjunto que se contenga a s mismo. As, por ejemplo, el conjunto de todas las cosas que no sean manzanas no puede existir, porque el mismo conjunto no es una manzana, por lo que debera entrar dentro del conjunto de cosas que no son manzanas. Esta paradoja tiene consecuencias muy profundas, tan profundas que dictaminan qu puede o no conocer la ciencia, qu puede o no conseguir la medicina, qu creencias nuestras son o no vlidas. Esta paradoja dictamina los lmites cognoscitivos del hombre. Esta paradoja nos muestra la caja tridimensional en la que nos encontramos. Ella nos muestra cun humildes debemos ser al juzgar las maravillas de la creacin! "Este precioso sistema solar, con sus planetas y sus cometas solamente puede ser fruto de la sabidura y el dominio de un Ser poderoso e inteligente. Este Ser lo gobierna todo, no como el aliento del mundo, sino como el Seor sobre todo lo que existe. Es debido a su Dominio que l merece ser llamado Seor Dios y Gobernador Universal." Sir Isaac Newton Hace unos das encontr la anterior paradoja en una pgina de la red. Reflexionando sobre las implicaciones de esta paradoja, me gustara compartir con ustedes algunas reflexiones. Pero antes, un poco de historia. Bertrand Russell fue uno de los archienemigos ms frreos del cristianismo organizado y de todo lo que tuviera que ver con un Ser Superior. Russell escribi un libro titulado "Por qu no soy Cristiano". Russell es ampliamente conocido como uno de los ms brillantes filsofos del Siglo XX. Su atesmo lleg a lmites extraordinarios. Pero a pesar de su fuerte conviccin atesta, en uno de sus escritos Russell dijo que "la ciencia no poda tiranizar a la filosofa y decirle a la filosofa que no exista significado alguno para la vida porque si uno acepta el punto de vista cientfico evolucionista, la vida careca de sentido." Al intentar penetrar en la segunda intencin de esta declaracin de Russel, uno no tiene qu hacer ms que asombrarse de que esta advertencia de Russell representa una clara admisin de la carencia de sentido del pensamiento evolucionista, especialmente si consideramos que Russell no tuvo par en su rebelin contra Dios. En otras palabras, ese reproche contra el evolucionismo materialista no provino de un Cristiano, sino de un ateo consumado. Russell tuvo varios matrimonios y divorcios. Fue acusado de 'adultero" y su fama de seductor era ampliamente conocida en los medios en los que se desarrollaba. En una oportunidad Russell fue invitado a quedarse en una casa y el segundo da de su estada en ese hogar ya estaba tratando de seducir a la hija de su amigo, quien tena tan slo 15 aos de edad! La paradoja Al reflexionar A qu conclusin llegamos? Colocando el significado de la paradoja que se atribuye a Russell y su reproche o advertencia al evolucionismo atesta, uno concluye que Russell se negaba volicionalmente a admitir la presencia de Dios, no porque no existieran evidencias obvias de su existencia, sino porque el Cristianismo que tanto odiaba le resultaba una piedra de tropiezo para su pernicioso y carnal vivir. El significado de la paradoja que colocamos al principio de este artculo es una evidencia de que Russell entenda muy bien la razn del reproche que le haca al evolucionismo. El evolucionismo despoja a la sociedad de estndares morales a los cuales seguir. Cualquier posicin filosfica atesta arroja al creyente en un abismo sin fondo en cuyas paredes se encuentran dibujadas las grotescas caras del materialismo, la perversin, la amoralidad y el humanismo... las que se ren a carcajadas del infeliz desobediente que se encuentra cayendo vertiginosamente en esta trampa llamada evolucionismo-atesta-materialista-humanista. "Si tan solo supiramos el porqu de las cosas tuviramos la mente de Dios." Stephen Hawking La paradoja anterior muestra que como somos la creacin de Dios, nosotros los humanos, sin importar lo inteligentes y doctos que podamos ser, no podremos NUNCA salirnos del conjunto del que somos parte intrnseca, pero del que Dios no es, ni ser nunca... claro est, en el sentido fsico y efmero de la vida humana. Sin embargo, Cristo es Dios hecho hombre, adentrado en nuestro conjunto y humillado para poder proporcionarnos una salida. Cmo osamos cuestionar la existencia del creador del conjunto del que somos parte, simplemente porque estamos atrapados por las leyes que rigen la existencia en el que tal conjunto ha sido creado? Dios trasciende nuestra realidad Bertrand Russell descubri que no puede existir un conjunto que se contenga a s mismo. Eso fue y es cierto si el conjunto a considerar es el conjunto nuestro el conjunto fsico no el conjunto espiritual, que es en el que Dios reside pero el cual trasciende! La paradoja nos indica que el conjunto de todas las cosas que no sean manzanas no puede existir, porque el mismo conjunto no es una manzana, por lo que debera entrar dentro del conjunto de cosas que no son manzanas. Lo mismo ocurre con los hombres que intentan estar, tanto dentro del conjunto como afuera del conjunto, para as juzgar lo que est dentro, pero al hacerlo No romperan una ley fsica? No se igualaran a Dios al ser omniscientes? Sin embargo, Dios no es ni ser nunca solamente parte del conjunto. Dios es el Creador del conjunto. Dios puede y en efecto existe dentro y fuera del conjunto. El hombre no! Dios es omnisciente el hombre no! "La sabidura del cuerdo es entender su camino; mas la locura de los locos es engao" Proverbios 14:8

Al proponer esta paradoja, Russell descubri que no puede existir un conjunto que se contenga a s mismo al menos no as en el mundo fsico! Sin embargo, pondere las posiciones en las que la Biblia nos indica que el mundo real existe:

Dios el Padre: Fuera del conjunto, pero en l por ser Omnisciente Dios el Hijo (en la persona de Jesucristo): Fuera del conjunto y nico camino hacia donde est el Padre. Jesucristo est fuera y dentro del conjunto por ser tambin Omnisciente. El Espritu Santo: Fuera y dentro del conjunto: Haciendo la voluntad del Padre y exaltando al Hijo, que se hizo carne para nacer y para formar parte temporal del conjunto. El Espritu Santo mantiene abierto el nexo de comunicacin entre el Padre y los integrantes del conjunto (hombres) a travs de la exaltacin y la aceptacin del sacrificio vicario del Hijo.

Dios, por amor a la humanidad se ha hecho hombre, ha proporcionado un Camino hacia l y nos ha dejado un Consejero para que nos gue en el camino hacia el que nos redimi de nuestros pecados. Aleluya! "Como son ms altos los cielos que la tierra, as son ms altos mis caminos que vuestros caminos, y mis pensamientos ms que vuestros pensamientos." Isaas 55:9 "Ninguna encuesta de opinin pblica har que Dios deje de existir." Dr. Paul E. Little

Las Paradojas de Russel La paradoja de Russell se basa en las contradicciones del concepto de conjunto elaborado por Cantor y Frege. Aunque no vamos a entrar en tecnicismos matemticos, s dir que los que hemos estudiado EGB hemos dado teoras de conjuntos cuando ramos pequeos hasta la saciedad. Russel ech por tierra gran parte del trabajo de los dos matemticos antes nombrados. Literariamente se explicara de esta manera: A) SOBRE LOS BARBEROS EN ALTA MAR Un barco sale lleno de marineros y se dirige a una misin que lo tendr muchos das en alta mar. El capitn advierte con disgusto que alguno de los integrantes del barco no se afeitan todos los das. Y como en el barco haba un marinero-barbero, lo convoca a su camarote y le da la siguiente instruccin: Desde maana, toda persona del barco que no se afeite a s misma, la afeita usted. A los que quieran afeitarse solos, no hay problemas. Usted ocpese de los que no lo hacen. Es una orden. El barbero se retir y a la maana siguiente, nada ms despertarse (an en su camarote), se dispuso a cumplir la orden del capitn. Pero antes, naturalmente, fue hasta el bao. Cuando se dispona a afeitarse, se dio cuenta de que no poda hacerlo, porque el capitn haba sido muy claro: l slo poda afeitar a los que no se afeitaban a s mismos. O sea, que en tanto que barbero no poda intervenir en afeitarse. Deba dejarse la barba para no infringir la norma de slo afeitar a los que no se afeitan a s mismos. Pero al mismo tiempo, advirti que no poda dejarse crecer la barba porque incumplira tambin la orden del capitn, que le dijo que no permitiera que ningn integrante del barco no se afeitara. l, entonces, tena que afeitarse. Desesperado porque ni poda afeitarse (porque el capitn le dijo que slo se ocupe de los que no se afeitaban a s mismos) ni poda dejarse la barba (ya que el capitn no lo hubiera tolerado), el barbero decidi tirarse por la borda (o tambin podra haberle pedido a alguien que le afeite a l) B) SOBRE QUIEN DEBA MORIR AHORCADO En una ciudad en donde las cosas erradas se pagaban caras, el rey decidi que una persona deba ser ejecutada. Y para ello, decidi ahorcarlo. Para darle un poco ms de sabor, colocaron en dos plataformas dos horcas. A una la llamaron altar de la verdad y a la otra, el altar de la mentira. Cuando estuvieron frente al reo, le explicaron las reglas: Tendrs oportunidad de decir tus ltimas palabras, como es de estilo. De acuerdo con que lo que digas sea verdad o mentira, sers ejecutado en este altar (sealando el de la verdad) o en el otro. Es tu decisin. El preso pens un rato y dijo que estaba listo para pronunciar sus ltimas palabras. Se hizo silencio y todos se prepararon para escucharlo. Y dijo: ustedes me van a colgar en el altar de la mentira. Es todo?, le preguntaron. S, respondi. Los verdugos se acercaron a esta persona y se dispusieron a llevarla al altar de la mentira. Cuando lo tuvieron al lado, uno de ellos dijo: Un momento por favor. No podemos colgarlo ac, porque si lo hiciramos sus ltimas palabras habran sido ciertas. Y para cumplir con las reglas, nosotros le dijimos que lo colgaramos de acuerdo con la validez de sus ltimas palabras. l dijo que lo colgaramos en el altar de la mentira. Luego, all no podemos colgarlo porque sus palabras seran ciertas. Otro de los que participaba arriesg: Claro. Corresponde que lo colguemos en el altar de la verdad. Falso, grit uno de atrs. Si fuera as, lo estaramos premiando ya que sus ltimas palabras fueron mentira. No lo podemos colgar en el altar de la verdad. Ciertamente confundidos, todos los que pensaban ejecutar al preso se trenzaron en una discusin eterna. El reo escap y hoy escribe libros de lgica. C) DIOS NO EXISTE Seguramente, de todas las maneras de presentar la paradoja de Bertrand Russell, sta es la ms llamativa. Se pretende probar que Dios no existe, nada menos. Pongmonos primero de acuerdo con lo que quiere decir Dios. Por definicin, la existencia de Dios est igualada con la existencia de un ser todopoderoso. En la medida en que nosotros podamos probar que nada ni nadie puede ser omnipotente, entonces, nadie podr adjudicarse el ser Dios. Vamos a probar esto por el absurdo; o sea, vamos a suponer que el resultado es cierto y eso nos va a llevar a una contradiccin. Supongamos que Dios existe. Entonces, como hemos dicho, en tanto que Dios, debe ser todopoderoso. Lo que vamos a hacer es probar que no puede haber nadie todopoderoso. O lo que es lo mismo: no puede haber nadie que tenga todos los poderes. Y hacemos as: si existiera alguien que tuviera todos los poderes, debera tener el poder de hacer piedras muy grandes. No le puede faltar este poder, porque si no, ya demostrara que no es todopoderoso. Entonces, concluimos que tiene que tener el poder de hacer piedras muy grandes. No slo tiene que tener el poder de hacer piedras muy grandes, sino que tiene que ser capaz de hacer piedras que l no pueda mover no le puede faltar este poder (ni ningn otro si vamos al caso). Luego, tiene que ser capaz de hacer piedras y que esas piedras sean muy grandes. Tan grandes, que eventualmente l no las pueda mover. sta es la contradiccin, porque si hay piedras que l no pueda mover, eso significa que le falta un poder. Y si tales piedras no las puede hacer, eso significa que le falta ese poder. En definitiva, cualquiera que pretenda ser todopoderoso adolecer de un problema: o bien le falta el poder de hacer piedras tan grandes que l no pueda mover, o bien existen piedras que l no puede mover. De una u otra forma, no puede haber nadie todopoderoso (y eso era lo que queramos probar).

En 1902 Russell envi una carta a Frege comunicndole "su" paradoja. Frege relat posteriormente que "para un escritor cientfico poco puede resultar ms desagradable que, tras haber terminado su trabajo, se tambaleen los cimeintos de su construccin".

La paradoja en trminos de conjuntos Supongamos un conjunto que consta de elementos que no son miembros de s mismos. Un ejemplo descrito es el que supone un conjunto que consta de "ideas abstractas". Dicho conjunto es miembro de s mismo porque el propio conjunto es una idea abstracta, mientras que un conjunto que consta de "libros" no es miembro de s mismo porque el conjunto en s no es un libro. Russell preguntaba (en carta escrita a Frege en 1902), si el conjunto de los conjuntos que no forman parte de s mismos (es decir, aquel conjunto que engloba a todos aquellos conjuntos que no estn incluidos en s mismos, como el de "libros" en el ejemplo anterior) forma parte de s mismo. La paradoja consiste en que si no forma parte de s mismo, pertenece al tipo de conjuntos que no forman parte de s mismos y por lo tanto forma parte de s mismo. Es decir, formar parte de s mismo slo si no forma parte de s mismo. Enunciemos la paradoja de otra forma: llamemos M al "conjunto de todos los conjuntos que no se contienen a s mismos como miembros". Es decir (1) Segn la teora de conjuntos de Cantor, la ecuacin (1) se puede representar por (2) Es decir "Cada conjunto es elemento de M si y slo si no es elemento de s mismo". Ahora, en vista de que M es un conjunto, se puede substituir x por M en la ecuacin (2), de donde se obtiene (3) Es decir que M es un elemento de M si y slo si M no es un elemento de M, lo cual es absurdo. [editar] La paradoja en trminos del barbero La paradoja de Russell ha sido expresada en varios trminos ms cotidianos, el ms conocido es la paradoja del barbero que se puede enunciar de la siguiente manera: En un lejano poblado de un antiguo emirato haba un barbero llamado As-Samet diestro en afeitar cabezas y barbas, maestro en escamondar pies y en poner sanguijuelas. Un da el emir se dio cuenta de la falta de barberos en el emirato, y orden que los barberos slo afeitaran a aquellas personas que no pudieran hacerlo por s mismas. Cierto da el emir llam a As-Samet para que lo afeitara y l le cont sus angustias: -- En mi pueblo soy el nico barbero. No puedo afeitar al barbero de mi pueblo, que soy yo!, ya que si lo hago, entonces puedo afeitarme por m mismo, por lo tanto no debera afeitarme! Pero, si por el contrario no me afeito, entonces algn barbero debera afeitarme, pero yo soy el nico barbero de all! El emir pens que sus pensamientos eran tan profundos, que lo premi con la mano de la ms virtuosa de sus hijas. As, el barbero As-Samet vivi para siempre feliz. En lgica de primer orden, la paradoja del barbero se puede expresar como: (4) Donde afeita(x,y) significa "x es afeitado por y". Lo anterior se leera como "Cada persona es afeitada por el barbero si y slo si no se afeita a s misma". Es importante notar la semejanza entre las ecuaciones (2) y (4). Al substituir x por barbero se obtiene (5) Es decir que el barbero se afeita a s mismo si y slo si no se afeita a s mismo, lo cual es una contradiccin. [editar] Explicacin de la paradoja Los conjuntos son reuniones de cosas, por ejemplo de coches, libros, personas, etc. y en este sentido los llamaremos conjuntos normales. La caracterstica principal de un conjunto normal es que no se contiene a s mismo. Pero tambin existen conjuntos de conjuntos, como 2M, que es el conjunto de subconjuntos de M. Un conjunto de conjuntos es normal salvo si podemos hacerlo que se contenga a s mismo. Esto ltimo no es difcil si tenemos el conjunto de todas las cosas que NO son libros y como un conjunto no es un libro, el conjunto de todas las cosas que NO son libros formar parte del conjunto de todas las cosas que NO son libros. Estos conjuntos que se contienen a s mismos se llaman conjuntos singulares. Est claro que un conjunto dado o bien es normal o bien es singular, no hay trmino medio, o se contiene a s mismo o no se contiene. Ahora tomemos el conjunto C como el conjunto de todos los conjuntos normales. Qu clase de conjunto es C? Normal o Singular? Si es normal, estar dentro del conjunto de conjuntos normales, que es C luego ya no puede ser normal. Si es singular, no puede estar dentro del conjunto de conjuntos normales, luego no puede estar en C, pero si no est en C entonces no es singular. Cualquier alternativa nos produce una contradiccin, sta es la paradoja. Sin embargo, tambin existe la frase: Si en una peluquera vemos el cartel:" yo afeito a quienes no se afeitan a si mismos, y solamente a estos". quin afeita al barbero? Que muestra una solucin ms sencilla pues ninguna de las afirmaciones expuestas muestra una idea de conjunto cerrado o estrictamente exclusivo.