EL CONCEPTO DE NUMERO SEGUN BERTRAND RUSSELL1

Joaqu n Luna Torres

Escuela de Matem aticas. Universidad Sergio Arboleda.

jlunator@latino.net.co

Datos biogr acos de B. Russell.

El 18 de Mayo de 1872 naci o en Trellech, en el seno de una famlia aristocr atica inglesa, Bertrand Arthur William Russell. Sometido a un afectuoso pero severo r egimen de vida, fue educado en un clima austero en el que se combinaron puritanismo, liberalismo y tradiciones escosesas, aparte de una orientaci on germana en la misma, dado que los liberales ingleses de entonces se inclinaban m as por Alemania que por Francia, hasta el punto de que Russell conoci o pronto el alem an tan bien como su propio idioma. El car acter introvertido de la familia paterna lo atemper o con el esp ritu abierto y alegre heredado de los Stanley. Inici o sus estudios de geometr a a los 11 a nos de edad, Las matem aticas eran lo que m as me gustaba. Mi primera lecci on de matem aticas la obtuve de mi hermano Frank, quien me inici o en Euclides y me pareci o la cosa m as bonita que hubiera visto en mi vida. Hasta entonces no sab a que exist a en el mundo algo tan bonito. Pero tambi en recuerdo que mi primera clase fue una desilusi on porque me dijo: Ahora empezamos con los axiomas . Yo dije: Qu e son ellos? , y me dijo: Ah, son cosas que tienes que admitir, aunque no las que dije : Por qu e las debo admitir si podemos probar . As no las puedo probar? y me dijo: Bueno, si no lo haces no a ver c omo iba a seguir, as podemos seguir adelante . Yo quer 2 que lo admit pro tem
Este trabajo es un avance del proyecto de investigaci on Fundamentos matem aticos de la did actica matem atica, auspiciado por Colciencias y la U. Sergio Arboleda. 2 B Russell, The future of science with a self-portraid of the author, New York, 1959.
1

Memorias XIII Encuentro de Geometr a y I de Aritm etica

A pesar de su terrible insatisfacci on por el hecho de tener que aceptar los axiomas como si fueran verdades sin tener prueba alguna, se encontraba fascinado por las demostracioes geom etricas. Desde entonces se interes o por la validez de los fundamentos de la geometr a hasta la edad de treinta y ocho a nos. Posiblemente, la primera lectura los oca de Russell fue El sentido com un de las ciencias exactas escrita por William Cliord (1885). All comprendi o c omo era posible que las geometr as no euclidianas fueran l ogicamente consistentes e independientes de la euclidiana. Cliord consideraba que la naturaleza de la noci on de n umero era independiente del proceso de contar, idea que no provoc o una respuesta inmediata en Russell, pues este la vino a desarrollar en 1903 cuando public o Los principios de las matem aticas. A los 18 a nos ingres o en el Trinity College de Cambridge, que cont o con nombres tan famosos como Moore, Whitehead y Ramsey. Tuvo como profesores de losof a a Ward, Stout y Sidgwick. All encontr o el ambiente intelectual libre que hab a extra nado por tantos a nos y que lo convertir a en un esc eptico rebelde y apasionado, admirado y criticado por sus colegas. Permaneci o convencido que la u nica manera de obtener cualquier tipo de conocimiento cierto era a trav es del estudio de las matem aticas. El ambiente intelectual de Cambridge lo mare o; pod a dar a conocer sus ideas sin se nal alguna de rechazo o perjuicio. Desgraciadamente, la burocracia envuelta en el estudio de las matem aticas lo asquearon. La descripci on de una clase t pica suger a que los estudiantes pasaban la clase completa escribiendo respuestas a preguntas escritas y resolviendo problemas tediosos. La u nica excepci on eran las clases de Whitehead. Decidi o escribir su tesis de beca en la Universidad de Cambridge (bajo fuerte inuencia neohegeliana) Un ensayo sobre los fundamentos de la geometr a. El libro estaba dirigido en primer plano a l osofos y no a matem aticos. El tema central del libro era la epistemolog a. El prop osito de Russell era establecer qu e conocimiento geom etrico se requer a l ogicamente para una ciencia del espacio y qu e conocimiento era l ogicamente necesario para la posibilidad de la experiencia. A nales de 1896, cuando viaj o a Estados Unidos, conoci o las matem aticas alemanas. Pronto adopt o el punto de vista de que la escolaridad germana era muy superior a la brit anica, no u nicamente en matem aticas, sino que casi cualquier otra disciplina. De regreso a Inglaterra cuando escribi o una rese na del libro de Hannequin, 36

mero Segu n Bertrand Russell El Concepto De Nu

La hip otesis de los a tomos, Russell conoci o las traducciones francesas de la obra de Cantor publicadas en el Acta Mathematica. El primer encuentro con la teor a de los n umeros transnitos de Cantor le dej o una imagen muy negativa de las ideas cantorianas. No obstante, cuando ley o nuevamente a Cantor a mediados de 1899, Russell adopt o la conceptualizaci on de Cantor y us o algunos de sus resultados. Russell estaba convencido de que las ideas cantorianas eran fundamentales para una explicaci on consistente de los principios del c alculo y la teor a de los irracionales, pero no me puedo persuadir de que la teor a [de Cantor] resuelve algunas dicultades los ocas del innito, o convierte a la antinomia del n umero innito en algo un poco menos formidable. En resumen, hubo importantes cambios entre sus manuscritos de 1900, terminados un par de semanas antes de que asistiera al primer congreso internacional de losof a: en donde conoci o a Peano y donde se dio cuenta de la importancia de la l ogica matem atica. A pesar de que segu a dudando del fundamento los oco de la teor a de Cantor, emple o sus ideas para explicar la naturaleza compleja de ciertos conocimientos matem aticos b asicos tales como los de orden , sucesiones , continuidad e innitud . Posteriormente comenz o la composici on de Los principios de las matem aticas a nales de 1900. Realmente, durante este a no escribi o las etapas III, IV, V y VI del libro. El resto lo desarroll o entre 1901 y 1902. Russell present o en Mayo de 1901, por primera vez, un argumento relacionado con su contradicci on de la clase de todas las clases que no son miembros de s misma. En esa epoca empez o a tratar inconsisitencias matem aticas en el trabajo de Cantor como contradicciones en lugar de falacias o errores. Posteriormente se dedica, con Whitehead, a su obra cumbre Principia Mathematica. Si a Russell le llev o a Cambridge su inter es por la matem atica, pronto deriv o hacia los temas sociol ogicos, habiendo inuido mucho en este cambio el losofo McTaggart. Permaneci o en el Trinity College de 1.890 a 1.894. Se doctor o en losof a en 1.895, y de 1.910 a 1.916 estuvo en la Universidad de Cambridge como profesor. Escritor fecundo (su primera obra apareci o en 1.896, y hasta 1.946 puede decirse que pr acticamente public o un libro cada a no), tambi en fue conferenciante, publicista y ejerci o la docencia en multitud de instituciones y univer37

Memorias XIII Encuentro de Geometr a y I de Aritm etica

sidades. En su evoluci on los oca -muy compleja dada la inquietud de su esp ritu, que le llev o a adentrase en los terrenos m as diversos-, tuvo una fase de clara inuencia matem atica. Considerabaa que la matem atica era el ideal del saber, inujo heredado en parte de Plat on, de quien entonces era partidario. A esta fase corresponden sus c elebres obras Los principios de la matem atica y la Principia Mathematica, esta u ltima en colaboraci on con Whitehead. Despu es Russell va derivando hacia el positivismo. En su realismo se aleja de Plat on para acercarse a David Hume. En realidad, pese a los cambios que se le atribuyen, puede decirse que el u nico que tuvo fue el que le hizo pasar del idealismo al realismo. Al dejar a un lado el primero -en el que estuvo inuido por Bradley-, encontr o en el segundo a G. E. Moore y a Peano, con quien estuvo en contacto en 1900 y cuyo inujo fue grande en el. Aparte de las cuestiones de losof a de las matem aticas, Russell se adentr o tambi en en los dominios de los temas hist orico-sociales. Sigui o en ellos el liberalismo t pico de la tradici on los oco-pol tica inglesa, si bien aten ua su tendencia al radicalismo los oco decimon onico con el concepto que tiene de la sociedad de masas, lo que le lleva a conjugar socialismo e individualismo, pesimismo y progresismo, libertad y orden. Es tambi en muy importante en este aspecto su tesis sobre la inuencia ejercida en la ciencia por los fen omenos hist orico-sociales. Sostiene Russell que los saberes formales (por ejemplo la l ogica y las matem aticas) est an menos sujetos a la evoluci on hist orico-social que los que se consideran menos formales (por ejemplo, metaf sica, religi on o sociolog a).

Sobre el pensamiento de Russell.

Siguiendo a Jos e Barrio Gutierrez, autor del pr ologo de [1], presentamos a continuaci on una breve exposici on del pensamiento de Russell en las diferentes materias abordadas a lo largo de sus obras: En el campo psicol ogico, Russell sostiene que los fen omenos siol ogicos y ps quicos est an generalmente ligados. Es m as: aquellos dependen de estos. La teor a de Russell, que niega el alma sustancial, sostiene que no existe materia o esp ritu. Simplemente, datos sensibles que se agrupan obedeciendo a determinadas leyes. Cuando los datos sensibles de los diferentes objetos se observan desde un punto de vista u nico constituyen el esp ritu. Los datos 38

mero Segu n Bertrand Russell El Concepto De Nu

sensibles de los distintos observadores constituyen la materia. Tienen ambos - esp ritu y materia- leyes diferentes. Y lo ps quico obedece al determinismo mn emico , que tiene su origen probablemente en el determinismo del tejido nervioso. Toda la teor a psicol ogica de Russell est a comprendida en su obra An alisis de la mente. En el terreno moral, Russell considera que las ciencias de la naturaleza, de las que se nutre el saber, son tambi en base de toda actividad etica. Partidiario del pesimismo antropol ogico, motivado en parte por la deciente estructura de la sociedad, introduce algunas atenuaciones en su concepto peyorativo del ser humano. El hombre, al que estima parte insignicante de la naturaleza considerado en el orden del ser, adquiere un pleno signicado en el orden de los valores, en el cual trasciende la naturaleza. En la moral de Russell, el hombre, libre de escoger un ideal, debe cifrarlo en una buena vida, cuyo motor es un amor efectivo, que se ayuda del saber. Admite que las reglas pr acticas son necesarias para regular la vida, pero estima que estas suelen apoyarsed en bases falsas de creencias supersticiosas. Considera que la felicidad se obtiene con el perfeccionamiento del individuo, y este se consigue vigorizando el animo por la educaci on y desterrando el temor. En el campo los oco, Russell pertenece a la escuela neorrealista. Para el, la losof a debe basarse en las ciencias de la naturaleza - ya hemos visto que las considera las fuentes del saber-. Es decir, ha de ser cient ca, descartando todo cuanto pueda ser misticismo o romanticismo. M as a un, considera la losof a como la que, planteando cuestiones a un no abordadas por la ciencia, preparan el camino para que lleguen a serlo. La losof a, m as que resolver problemas -competencia de la ciencia -, debe plantearlos. Su labor tiene por objeto esclarecer las exposiciones y conceptos de la ciencia. Es, pues, su tarea m as cr tica que otra cosa. M as tarde, Bertrand Russell se declarar a agn ostico, profesando que la ciencia es el u nico camino para hallar la verdad, adentr andose en la l nea de Mill y de Hume, es decir, dentro de la tradici on positivista y empirista. Russell, que sigue sobre todo el camino de Moore, niega la existencia de las relaciones internas. Solo se dan las externas, a nadidas a las cosas existentes, y, por serlo, aquellas no dependen de estas. Rechaza as la teor a y principales consecuencias de Bradley. Y admite el pluralismo. Hace este que el mundo est e compuesto de innidad de a tomos ligados por relaciones externas independientes entre s . De aqu pas o Bertrand Russell a la teor a de los datos sensibles, ya expuesta, y, por ende, al atomismo l ogico. Se pronuncia a favor del realismo inmediato, realismo que se funda en que 39

Memorias XIII Encuentro de Geometr a y I de Aritm etica

lo conocido no est a en el campo de la conciencia, sino fuera de ella, y es diferente del sujeto, en tanto que ese idealismo que rechaza nos dice que solo es posible conocer el contenido de la conciencia, es decir, las ideas. Para Russell, la materia -real- no es accesible al conocimiento de modo directo; es conocida esta por los datos sensibles, que enlazan entre s de una manera l ogica. La aplicaci on del pluralismo fue muy importante para la teor a del conocimiento, y Russell lleg oa el estudiando a Leibniz, estudios que expone en la l ogica matem atica y en los que parece considerar que el an alisis l ogico despejaba las mayores inc ognitas de la teor a del conocimiento. Es muy conocida su tesis de que la l ogica es base de toda losof a, y dentro de esta direcci on hay que situar su ya citado atomismo l ogico. De Russell han dicho sus cr ticos que, pese a su gran inteligencia, no ha conseguido evitar las contradicciones ni permitido encontrar una constante en toda su obra. Y a esta imputaci on ha contestado Russell: No me averg uenzo de haber cambiado en mis opiniones. Qu e f sico activo desde 1900 podr a so nar en vanagloriarse de que no hayan cambiado sus opiniones? Trabajador infatigable que profundiz o en todos los caminos que le sugiri o la inquietud de su esp ritu, inquietud que ya le hac a escribir en la prisi on de Brixton, en 1918: Me gustar a estar situado en la orilla del mundo y mirar m as all a de la oscuridad y ver un poco m as de lo que los otros hayan visto de las extra nas formas del misterio que habitan en lo desconocido... Deseo traer luego al mundo de los hombres una muestra de la nueva sabidur a. Hay una peque na sabidur a en el mundo: Her aclito, Spinoza, y una palabra aqu y all a. Deseo a nadir algo a esto, por poco que sea... Resumiendo, podr amos decir que como matem atico, Bertrand Russell fu e, ante todo, un l ogico renovador de la l ogica formal y promotor de la log stica e inuy o notablemente sobre el positivismo l ogico del C rculo de Viena; como l osofo, se preocup o por la teor a del conocimiento; y como pol tico, defendi o el individualismo. Fil osofo muy discutido y le do, que ha inuido notablemente en el curso de la losof a moderna, este apasionado esc eptico - como lo deni o Alan Wood -, que por su enorme labor recibi o el Premio Nobel en 1950, escribi o de s mismo: Me gustar a morir mientras todav a puedo trabajar, conociendo que otros pueden conseguir lo que yo no podr e ya hacer y satisfecho de pensar que he 40

mero Segu n Bertrand Russell El Concepto De Nu

dejado hecho cuanto me ha sido posible.

El concepto de n umero en B. Russell.

Muchos autores sostienen que tanto el concepto de n umero como los n umeros en particulares son indenibles, pero Russell, siguiendo a Peano y a Padoa, recuerda que la denibilidad es una palabra que en matem aticas tiene un sentido preciso con respecto a una serie de nociones previamente establecidas: Dada cualquier serie de nociones, un t ermino es denible mediante ellas cuando, y solo cuando, es el u nico t ermino que tiene con alguna de ellas una cierta relaci on que por s misma es una de las citadas nociones. 3 A diferencia de Peano y sus disc pulos, Russell sostiene que Toda la matem atica pura (incluyendo la Geometr a e incluso la Din amica racional), contienen un solo conjunto de indenibles, es decir, los conceptos l ogicos fundamentales discutidos en la parte 4 I (de esta obra) Para Russell, todos los conceptos indenibles de la matem atica pura son de este tipo y tambi en arma que la presencia de culquier otro indenible indica que el problema corresponde a la matem atica aplicada. De los tres tipos de denici on admitidos por Peano: La denici on nominal, la denici on 5 por postulados y la denici on por abstracci on , solo acepta la nominal. Hagamos una disquisici on breve sobre estos tipos de denici on: en primer lugar, Russell admite que los n umeros son aplicables esencialmente a las clases ( particularmente a los conjuntos). Si bien es cierto que cuando un n umero es nito, sus elementos pueden enumerarse para formar el n umero dado y adem as pueden contarse uno por uno sin hacer menci on del concepto de clase, tambi en lo es que todas las colecciones nitas forman clases, as que, en u ltimas, lo que resulta es el n umero de una clase. Ahora bien, cuando el n umero es innito no siempre es posible enumerar sus elementos y, en consecuencia, debemos acudir a alguna propiedad com un en virtud de la
3 4

B Russell, The Principles of Mathematics, p ag. 111 Se reere a la primera parte de The Principles of Mathematics 5 Burali-Forti Sur les di erentes d enitions du nombre r eel, Congr` es, III, p ag. 294

41

Memorias XIII Encuentro de Geometr a y I de Aritm etica

cual forman una clase. Esta consideraci on es la que ha hecho posible buena parte de la teor a del innito ya que nos libera de la necesidad de enumerar los individuos cuyo n umero se desea considerar. Pero aqu se presenta un problema. En qu e condiciones podemos asegurar que dos clases tienen el mismo n umero?. La respuesta cl asica es que tienen el mismo n umero cuando entre sus elementos hay una correspondencia biun voca. Al respecto, Russell arma Dos clases tienen el mismo n umero cuando entre sus t erminos hay una relaci on uno a uno, de modo que a un t ermino cualquiera de una clase corresponda un t ermino y solo uno de la otra. Esto requiere que exista una relaci on uno a uno cuyo dominio sea una clase y cuyo dominio rec proco sea la otra. 6 Recordemos que una relaci on de una clase X en otra clase Y es uno a uno 1. Si tanto x como x se relacionan con y , entonces x = x . 2. Si x se relaciona con y y tambi en x se relacione con y , necesariamente y=y. Es interesante notar que de esta manera es posible denir, sin la noci on de unidad, lo que se entiende por una relaci on uno a uno. Pero, para incluir el caso en que las clases no tengan elementos, Russell propone modicar ligeramente la denici on anterior de la manera que sigue: Dos clases tienen el mismo n umero cuando, y solo cuando, existe una relaci on uno a uno cuyo dominio incluye a la primera clase, y que es tal que la clase de los correlacionados de los t erminos de 7 la primera clase es id entica con la otra clase De esta noci on se deriva, naturalmente, que dos clases vac as tienen siempre el mismo n umero de t erminos. Cuando dos clases tienen el mismo n umero, se dicen semejantes. En apariencia es completamente innecesario acudir a una denici on para expresar lo que se entiende cuando se arma que dos clases tienen el mismo n umero, pues bastar a con contar ambas clases. No obstante, cuando queremos precisar lo que signica contar
6 7

Op. cit. p ag. 113 Op. cit. p ag 113

42

mero Segu n Bertrand Russell El Concepto De Nu

Corrientemente solo conseguimos respuestas psicol ogicas irrelevantes, como la de que contar consiste en actos sucesivos de atenci on. Para contar hasta 10, supongo que se requieren 10 actos de atenci on... En realidad contar tiene un signicado exacto que no es psicol ogico. Pero este signicado es sumamente complejo; solamente es aplicable a clases bien ordenadas, que no son todas las clases; y solo da el n umero de la clase cuando este n umero es nito -un caso raro y excepcional-. 8 De la denici on arriba anotada se sigue que la relaci on de semejanza entre clases es en realidad una relaci on de equivalencia: es reexiva, sim etrica y transitiva. Estas tres propiedades condujeron a Peano a indicar que cuando se tiene la relaci on entre dos t erminos, estos dos t erminos tienen una cierta propiedad com un y viceversa. Esta es la denici on de n umero por abstacci on. Russell arma Pero esta denici on por abstracci on, y en general el proceso empleado en tal denici on, adolece de un defecto formal absolutamente fatal: no muestra que solo un objeto satisfaga la deici on. Asi, en lugar de obtener una propiedad com un para clases semejantes, que es el n umero de las clases en cuesti on, obtenemos una clase de tales propiedades, sin ninguna manera de decidir cuantos t erminos contiene esta clase. 9 Una consecuencia de esta observaci on es que cada clase puede tener varios n umeros y la denici on es inconsistente cuando habla de el n umero de la clase, lo que, desde un punto de vista l ogico, invalida la denici on por abstracci on, ya que puede suceder que existan muchos predicados comunes a una cierta colecci on de objetos y a ninguna otra. La segunda opci on: la denici on por postulados, al decir de Russell, convierte a la aritm etica en una ciencia independiente en lugar de considerarla, como el lo hace, en un mero desarrollo de la l ogica general. Para salir de la encrusijada, Russell nos dice En resumen: Matem aticamente, un n umero no es otra cosa que una clase de clases semejantes: esta denici on nos permite la
8 9

Op. cit. p ag. 114 Op. cit. p ag. 114

43

Memorias XIII Encuentro de Geometr a y I de Aritm etica

deducci on de todas las propiedades usuales de los n umeros, ya sean nitos o innitos, y es la u nica que es posible (hasta donde conozco) expresar en t erminos de los conceptos fundamentales de la l ogica general. 10 Es facil concluir que Russell presenta toda la teor a de los n umeros cardinales como una rama especial de la l ogica. Encuentra contradicciones fundamentales en la denici on por abstracci on mostrando que la consideraci on de un n umero como una clase de clases conduce a una paradoja completamente indefendible: Un concepto-clase no es en s mismo una colecci on, sino una propiedad mediante la cual se dene una colecci on. Su meta respecto al planteamiento de Peano fue la de probar, de acuerdo con la l ogica general, que existe un signicado constante que satisface sus cinco postulados y que este signicado constante debe llamarse n umero cardinal nito.

Bibliograf a.
[1] Bertrand Russell Obras completas II: Ciencia y losof a 1897-1919, Aguilar, 1973. [2] Bertrand Russell The Principles of Mathematics, George Allen & Unwen, Ninth impression 1972. [3] Bertrand Russell Introducci on a la Filosof a Matem atica, Paidos Studio b asica, Barcelona, 1988. [4] Bertrand Russell La evoluci on de mi pensamiento los oco, Alianza Editorial, Madrid, 1976. [5] Alejandro Garciadiego Dantan Bertrand Russell y los or genes de las paradojas de la teor a de conjuntos, Alianza Universidad, 1992.
10

Op. cit. p ag. 116

44