Está en la página 1de 2

Qu es una paradoja?

Una paradoja es una proposicin en apariencia verdadera que conduce


a una contradiccin lgica o a una situacin que va contra el sentido comn.En este sentido la
famosa paradoja de Russell demuestra que la teora original de conjuntos formulada por
Cantor y Frege es contradictoria.

Los conjuntos pueden ser de dos tipos: los que se contienen a s mismos como miembros y los
que no. Un ejemplo de los primeros, llamados conjuntos singulares, sera el conjunto de los
objetos matemticos, pues a su vez es un objeto matemtico. Un ejemplo de los segundos
sera el conjunto de los msicos, pues el conjunto en s no es un msico y, por tanto, no
pertenece como miembro.

La paradoja de Russell consiste en lo siguiente: si consideramos el conjunto de todos los


conjuntos que no se contienen a s mismos, est ese conjunto contenido en s mismo como
miembro? Si lo est, por definicin no se contiene a s mismo, luego no lo est. Pero si no lo
est, por definicin, debe estar.

Esto que parece un galimatas puede explicarse de una forma algo ms clara. Imaginemos una
biblioteca que contiene un nmero determinado de libros. Algunos de estos libros son
relaciones de otros que se encuentran en la biblioteca; los llamaremos catlogos. Por ejemplo,
habr un catlogo que contenga una relacin de todos los libros de matemticas, otro que
contenga los poemarios, otro las biografas, etc. Consideramos el conjunto de todos esos
catlogos y lo denominamos de tipo A; sern catlogos de libros que no se incluyen a s
mismos. Un catlogo de libros de poesa no es un libro de poesa, y por lo tanto es
autoexcluyente, y ser del tipo A.

Ahora vamos a considerar como otro conjunto un catlogo general que contenga todos los
catlogos de la biblioteca. Lo denominaremos de tipo B. La funcin de este catlogo es dar una
lista de todos los catlogos de tipo A. Todo parece correcto, pero si lo vemos detenidamente el
conjunto que recoge todos los catlogos del tipo A es paradjico. No se ve con claridad?
Podemos verlo mejor si formulamos la siguiente pregunta El catlogo general es del tipo A o
del tipo B? Si es del tipo A entonces no se incluye a s mismo, porque como hemos dicho, los
catlogos del tipo A son autoexcluyentes (libros que referencian otros de distinta ndole). Pero
hemos definido el catlogo general como una lista de los catlogos autoexcluyentes (tipo A),
por lo tanto ha de estar en la lista... Pero eso no puede ser, porque el catlogo general (tipo B)
slo da una relacin de los catlogos del tipo A, por tanto no se puede incluir a s mismo en la
lista si es del tipo B (catlogos que no son autoexcluyentes), y si no se incluye es del tipo A y
debera estar incluido... Como se ve, llegamos a una contradiccin.

Hay otra forma ms amable y clara de representar esta paradoja:

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 (todas las personas deban ser
afeitadas por el barbero o por ellas 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. Si me afeito, entonces puedo afeitarme por m mismo,
por lo tanto no debera de afeitarme el barbero de mi pueblo que soy yo! Pero si por el
contrario, no me afeito, entonces algn barbero me debe afeitar 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 por siempre feliz.

Como vemos, el barbero del cuento se encuentra en la misma situacin que el catlogo de la
primera explicacin: el intento de cumplir una de las condiciones lo lleva a incumplir la otra.

Comentarios (1)

Bu