1

CONTENIDO

RESEA ( 5 )

EL LOGICISMO DE BERTRAND RUSSELL ( 6 )

CONCLUSIONES . ( 9 )

FUENTES ...... ( 10 )
 RESEA

El propsito de este trabajo es dar a conocer los aportes de Bertrand Russell y como su

fascinacin por la lgica hace que derrumbe un a teora sin percatarse o sin prever que

alguien ms vendra despus de unos aos a derrumbar su teora tambin. Todo

comienza con una inocente carta, que, al parecer, no fue tan inocente.
 EL LOGICISMO DE BERTRAND RUSSELL

Antes de comenzar, les explicar que viene a ser el logicismo, as como el vanguardismo,
atesmo, idealismo, materialismo y todos los ismos, el logicismo viene a ser una leve
exageracin del uso de la lgica, es un enfrascamiento que propone reducir toda la
explicacin de la matemtica al uso de la lgica. Y es este uno de los campos en el que
nuestro amigo matemtico, filsofo y lgico (valga la redundancia) Bertrand Russellrealizo
aportes importantes dedicando gran parte de su vida a este estudio, en fin, vayamos al
grano.

Cuando las paradojas de la Teora de clases emergieron, el proyecto logicista de Gottlob

Frege entr en una crisis que el mismo fue incapaz de resolver. No se trataba para Frege de
un problema tcnico, sino de un cuestionamiento de toda la visin que tena sobre la
aritmtica.
Y es por todo esto que Gottlob Frege dedic gran parte de su carrera al proyecto logicista.
Sus dos obras principales al respecto se titularon Conceptografa (1879) y Los fundamentos
de la aritmtica (1884). Sin embargo, a principios del siglo XX, Bertrand Russell descubri
una inconsistencia grave en los principios de los que Frege haba partido, hoy conocida
como la paradoja de Russell. Al realizar dicho descubrimiento, Russell le enva una carta a
Frege, la cual deca:

"Me parece que una clase a veces es, y a veces no es, un miembro de s misma. La clase de
las cucharitas de t, por ejemplo, no es otra cucharita de t, pero la clase de cosas que no
son cucharitas de t es una de las cosas que no son cucharitas... [esto] me condujo a
considerar las clases que no son miembros de s mismas; y stas, pareca, deban formar
una clase. Me pregunt si esta clase es o no un miembro de s misma. Si es un miembro de
s misma, debera poseer las propiedades que definen a dicha clase, que consisten en no ser
miembros de s mismas. Si no es un miembro de s misma, no debe poseer la propiedad
definitoria de la clase, y por tanto debe ser un miembro de s misma. As cada alternativa
lleva a su opuesta y existe una contradiccin."

En pocas palabras, haba descubierto que considerar el conjunto de los conjuntos que no
son miembros de s mismos lleva a una contradiccin. Otra forma de exponer la misma idea
es mediante la paradoja del barbero, tambin de Russell: en un pueblo haba un barbero
que solo afeitaba a aquellos que nunca se afeitaban a s mismos. Se afeitaba el barbero a
s mismo?
La primera consecuencia que Russell haba derrumbado con esta carta todo el trabajo de
Frege, que como mencionamos antes, le haba tomado varios aos de su vida, ya que este
sostena que un conjunto no poda llegar a ser miembro de si mismo.

Mientras tanto, todo esto era tomado por Russell como una simple curiosidad en la teora
de conjuntos, hasta que quiso resolver dicho acertijo y se top con que no era tan sencillo
como l crea, haba dado con un enunciado que el mismo no era capaz de resolver y/o
explicar.

6
As como apareci la paradoja del barbero, a lo largo de la historia han venido apareciendo
nuevas paradojas, todas relacionadas con esta historia, menciono algunos para que puedan
apreciarlo:

PARADOJA DEL BARBERO:

Hace muchos aos, en un lejano reino, haba pocas personas que su oficio fuera ser barbero.
Para solucionar el problema, el rey dictamin que los barberos solo podan afeitar a las
personas que no podan afeitarse por s mismas.
Uno de esos barberos, era el nico en su comarca y le entr la siguiente duda: Como
barbero no puedo afeitar al barbero de mi comarca, que soy yo, porque entonces podra
afeitarme a m mismo. Pero entonces, algn barbero debe de afeitarme, pero como soy el
nico que hay, entonces no me puedo afeitar.

PERROS BLANCOS Y NEGROS:

En cierto planeta hay una poblacin estable de perros inmortales. Algunos perros son
blancos y otros son negros, no hay perros de otro color. Todos los perros tienen nombre
(perros diferentes tienen nombres diferentes) y adems todos los perros llevan atados al
cuello un cartel que contiene los nombres de algunos perros.

Todos los perros blancos incluyen en su cartel su propio nombre (ms eventualmente
algunos otros), los perros negros tienen prohibido tener su propio nombre en su cartel.

Fido es un perro cuyo cartel contiene exactamente los nombres de todos los perros negros
de qu color es Fido?

CATLOGO DE LIBROS:

Imaginemos que queremos hacer un Supercatlogo donde aparezcan todos los catlogos
que "no" se incluyen a s mismos y solamente ellos. A primera vista, parece sencillo. Pero
no es tan as. Porque... qu hacemos con el propio Supercatlogo? Lo incluimos o no lo
incluimos?
Y, NO. Porque si lo incluimos en el ndice, el Supercatlogo se convierte en un catlogo de
libros que se contiene a s mismo, y, por ende, NO debe figurar.
Entonces, no lo incluimos. Pero si no aparece en nuestro Supercatlogo es un catlogo que
"no" se contiene a s mismo y entonces S debe figurar.

Entre otras paradojas que podemos encontrar e incluso hacerle pequeas modificaciones,
pero bueno, continuando con la historia, hasta aqu como resumen sabemos que en 1902
Russell le manda la famosa carta al pobre Frege y se pone manos a la obra para encontrar
una solucin. Pareca claro que las dificultades aparecan con los conjuntos que son
miembros de s mismos. Tras enormes sufrimientos intelectuales y varios aos de trabajo,

7
Russell propone su teora de tipos que, simplificando, consisten en organizar los conjuntos
en niveles. Por ejemplo, los gatos seran objetos de primer nivel, los conjuntos de gatos de
segundo (el conjunto de los siameses, el conjunto de los gatos negros), los conjuntos de
conjuntos de gatos de tercero (el conjunto de las razas de gatos), y as sucesivamente. En
esta jerarqua solo se puede decir que un objeto de nivel n es miembro de otro objeto solo
si este es de nivel n+1. Un conjunto de gatos, por ejemplo, los siameses, puede ser
miembro de un conjunto de conjuntos de gatos, por ejemplo, el conjunto de las razas de
gatos, pero no puede ser miembro de otro conjunto de gatos, pues estos solo contienen
gatos.

Bertrand Russell logr resolver as la paradoja que l mismo haba descubierto, sin embargo,
los problemas para el logicismo no haban hecho otra cosa que comenzar. De hecho, pronto
se constatara que lo conseguido por Russell y Whitehead no era reducir la matemtica a la
lgica, sino a la lgica ms la teora de conjuntos.

Fue el lgico Kurt Gdel el encargado de darle el golpe de gracia al sueo de Frege, quien
demostr con su teorema de incompletitud que los sistemas formales del tipo de los
descritos en los Principia Mathematica o son incompletos (no pueden demostrar todos los
teoremas ciertos) o son inconsistentes (contienen contradicciones). En todo caso, la
matemtica no dice toda la verdad o no miente por completo, pero ya este es cuento de
otro libro.

8
 CONCLUSIONES

Como conclusin puedo decir que en nuestro trabajo como profesores de

matemtica usamos una y otra vez el trmino conjunto e incluso nos atrevemos a

definirlo, a nuestro modo y usando nuestro entorno obviamente, pero de aqu en adelante

deberamos recordar que un conjunto es ms que la reunin de ciertos objetos y/o

elementos con una caracterstica en comn, y cuando queramos definirlo, acotar que la

definicin que brindamos es vlida para el campo en el cual trabajaremos mencionado

tema.

9
 FUENTES

http://cibernacho.blogspot.pe/2007/09/paradoja-de-los-catlogos.html

http://www.epsilones.com/paginas/historias/historias-006-frege-russell.html

https://es.wikipedia.org/wiki/Bertrand_Russell

Russell y los problemas del logicismo (ngel Ruiz)

10