LAS PARADOJAS DE RUSSELL
Desde un punto de vista logicista, la matemática es una rama de la lógica: todo concepto matemático deriva de fundamentos lógicos y de proposiciones básicas de la lógica. Esta idea fue formulada por Frege durante las dos décadas finales del siglo XIX, cuando se propuso desarrollar el llamado programa logicista , consistente en deducir toda la matemática de la lógica para darle una base más sólida, a partir de dos puntos: definir los conceptos matemáticos en función de la lógica y demostrar los teoremas matemáticos usando únicamente la lógica (la teoría de conjuntos). En 1902, Frege tiene en imprenta su libro Las leyes fundamentales de la Aritmética . Recibe una carta de Bertrand Russell en la que le informa del descubrimiento de una contradicción en la teoría de conjuntos, es decir, en la misma base lógica de la matemática. Este descubrimiento echa por tierra todo el trabajo de 20 años de Frege. El caso es que Russell era también seguidor del programa logicista. De hecho, encon...