Bertrand Russell

Bertrand Russell hizo aportaciones innovadoras a los fundamentos de las matemticas y al desarrollo de la lgica formal contempornea, as como a la filosofa analtica. Sus aportaciones en relacin con las matemticas incluyen el descubrimiento de la paradoja Russell, su defensa del logicismo (la visin de que las matemticas son, en algn sentido significativo, reducibles a la lgica formal), su introduccin a la teora de los tipos y su perfeccionamiento y divulgacin de la lgica de primer orden o clculo de predicados de primer orden. Generalmente se le considera, conjuntamente a Kurt Gdel, como uno de los dos logicistas ms destacados el siglo XX. Descubri la paradoja que lleva su nombre en mayo de 1901, mientras trabajaba en su libro Los Principios de las Matemticas (1903). La paradoja surgi en conexin con el conjunto de todos los conjuntos que no son miembros de s mismos. Por lo tanto a los ojos de muchos matemticos (incluyendo David Hilbert y Luitzen Brouwer), pareca que ninguna demostracin poda ser confiable una vez que se haba descubierto que la lgica aparentemente subordinada a las matemticas era contradictoria. Esto provoc una enorme cantidad de trabajo a lo largo de los primeros aos del siglo XX, en la lgica como en la teora de conjuntos y en la filosofa y los fundamentos de las matemticas. La paradoja de Russell surge como resultado de una teora de conjuntos simplista llamada axioma irrestricto de comprensin (o de abstraccin). Originalmente introducido por Georg Cantor, el axioma establece que cualquier expresin de predicado, P(x), que contenga a x como una variable sin restriccin, determinar un conjunto cuyos miembros sean exactamente aquellos objetos que satisfagan P(x). Por lo tanto, la mayora de los intentos por resolver la paradoja de Russell se han concentrado en varias maneras de restringir o abandonar este axioma.

La respuesta de Russell a la paradoja vino con la introduccin de su teora de los tipos. Su idea bsica era que la referencia a los conjuntos conflictivos (tales como el conjunto de todos los conjuntos que no son miembros de s mismos), podra ser evitada arreglando todas las oraciones en una jerarqua (comenzando con oraciones acerca de individuos al nivel ms elemental, oraciones acerca de conjuntos de individuos en el siguiente nivel bsico, oraciones acerca de conjuntos de conjuntos de individuos en el siguiente nivel bsico, etc.). Utilizando el principio del crculo vicioso tambin adoptado por Henri Poincar, junto con su llamada teora de clases 'de la no clase', Russell pudo entonces explicar por qu el axioma irrestricto de comprensin falla: funciones proposicionales, tales como la funcin 'x es un conjunto', no deberan ser aplicadas a s mismas ya que la aplicacin a s misma implicara un crculo vicioso. Desde este punto de vista, se deduce que es posible referirse a una coleccin de objetos para los cuales una condicin dada (o predicado) es vlida slo si todos los objetos estn en el mismo nivel o son del mismo 'tipo'. Aunque su teora de los tipos fue primeramente introducida por Russell en 1903 en su libro Los Principios de las Matemticas, la teora alcanza su expresin de madurez en su artculo Lgica Matemtica Basada en la Teora de los Tipos de 1908 y en el trabajo monumental que escribi conjuntamente con Alfred North Whitehead, Principia Matemtica (1910, 1912, 1913). Por consiguiente, en sus detalles, la teora admite dos versiones, la 'teora simple' y la 'teora ramificada'. Ambas versiones de la teora fueron atacadas posteriormente. Para algunos eran demasiado dbiles ya que no resolvan todas las paradojas conocidas. Para otros, eran demasiado fuertes ya que anulaban muchas definiciones matemticas, las cuales, aunque consistentes, violaban el principio del crculo vicioso. La respuesta de Russell a la segunda de estas objeciones fue introducir, dentro de la teora ramificada de tipos, el axioma de la reductibilidad. Aunque el axioma disminuy exitosamente el mbito de la aplicacin del principio del crculo vicioso, muchos sostuvieron que era simplemente demasiado ad hoc para ser justificado filosficamente.

El logicismo de Russell consista de dos tesis principales que defendi primero en su libro sobre los Principios y despus en ms detalle en su libro Principia Matemtica. La primera tesis propone que todas las verdades matemticas pueden ser interpretadas como verdades lgicas o, en otras palabras, que el vocabulario de las matemticas constituye un subconjunto propio de aqul de la lgica. La segunda tesis propone que todas las pruebas matemticas pueden ser reestructuradas como pruebas lgicas o, en otras palabras, que los teoremas de matemticas constituyen un subconjunto propio de aqullos de la lgica. Al igual que Gottlob Frege, la idea bsica de Russell para defender el logicismo, era que los nmeros pueden ser identificados con clases de clases y que las proposiciones numricotericas pueden ser explicadas en trminos de cuantificadores y la identidad. As tenemos que el nmero 1 sera identificado con la clase de todas las clases unitarias, el nmero 2 con la clase de todas las clases de dos miembros, y as sucesivamente. Proposiciones tales como 'hay dos libros' seran reestructuradas como 'hay un libro x y hay un libro y, y x no es idntico a y'. Continuaba proponiendo que las operaciones numrico-tericas podran ser explicadas en trminos de operaciones de teora de conjuntos tales como interseccin, unin y similares. En Principia Matemtica, Whitehead y Russell pudieron proporcionar detalladas derivaciones de muchos teoremas fundamentales dentro de la teora de conjuntos, de la aritmtica finita y transfinita, y de la teora de la medida1 bsica. Se plane un cuarto volumen acerca de geometra pero nunca fue completado. De la misma forma en que Russell deseaba utilizar la lgica para clarificar temas en los fundamentos de las matemticas, tambin deseaba utilizar la lgica para clarificar temas en filosofa. Como uno de los fundadores de la 'filosofa analtica', Russell es recordado por su trabajo al utilizar la lgica de primer orden para mostrar cmo un amplio rango de frases significativas podran reestructurarse en cuanto a predicados y variables cuantificables. Tambin se le recuerda por el nfasis que puso acerca de la importancia de la forma lgica para la resolucin de muchos problemas en relacin con la filosofa. La esperanza de Russell era que al aplicar la maquinaria lgica y los conocimientos, uno podra resolver problemas que de otra forma seran inextricables, tanto en la filosofa como en las matemticas.

Enlaces relacionados muy interesantes.

http://www.filosofos.net/russell/russell_gal.htm http://www.filosoficas.unam.mx/~tomasini/ENSAYOS/Russell-Pol.pdf http://letras-uruguay.espaciolatino.com/claps/bertrand_russell.htm http://www.henciclopedia.org.uy/autores/Gonzalez%20Alvarez%20J/BertrandRussell.htm http://html.rincondelvago.com/bertrand-russell.html