Philosophical Foundations of Set Theory

Aunque no es un tratado formal de teoría de conjuntos, el libro de Hofstadter aborda la autorreferencia, la recursión y la incompletitud, temas centrales que subyacen a las paradojas y limitaciones que la teoría de conjuntos busca resolver, expandiendo estas ideas a dominios sorprendentemente amplios.

Mientras Rado explora los fundamentos de la 'colección' o 'conjunto' en matemáticas, Nancy se pregunta por los fundamentos de una 'colección' mucho más fundamental: el cuerpo. Ambos examinan la constitución y los límites de una entidad a partir de sus componentes y relaciones, pero desde perspectivas radicalmente diferentes.

Este es el pináculo del logicismo, el programa filosófico que buscaba reducir las matemáticas a la lógica. La teoría de conjuntos de Zermelo-Fraenkel, que Rado explora, surgió en gran medida como respuesta a los desafíos y paradojas descubiertas en los primeros intentos logicistas, como los de Russell, compartiendo la misma ambición de fundamentación rigurosa.

Rado se ocupa de cómo se construyen los 'mundos' abstractos de los conjuntos matemáticos a partir de sus elementos y relaciones. Uexküll explora cómo se construyen los 'mundos' experienciales de los seres vivos, ofreciendo una perspectiva complementaria sobre la formación y la estructura de los dominios perceptivos, ligando a la idea fundamental de cómo un sistema de elementos crea un todo coherente.

Cavaillès, un filósofo y resistente francés, ofrece una perspectiva histórica y epistemológica sobre la génesis de las estructuras matemáticas que complementa el análisis lógico de Rado. Su trabajo es menos conocido en el ámbito anglófono, pero es crucial para entender la filosofía continental de las matemáticas y la crítica al intuicionismo.

Mientras Rado analiza cómo los conjuntos —objetos abstractos— se constituyen y sus propiedades fundamentales, Ingarden, un fenomenólogo polaco, aborda una pregunta ontológica más amplia: cómo se 'constituye' cualquier objeto en la realidad, desde los ideales hasta los materiales. Ambos exploran la estructura fundamental de la existencia, ya sea matemática o general.

El 'Tractatus' y la obra de Rado comparten una estructura subyacente de análisis fundacional y reducción a los principios más elementales. Así como Rado busca los axiomas fundamentales de la teoría de conjuntos, Wittgenstein busca los principios lógicos subyacentes que estructuran el significado. Ambos emplean un método de análisis que descompone problemas complejos en sus componentes más simples y lógicamente interrelacionados, buscando la claridad y la precisión absoluta en la formulación de sus 'fundamentos'.

Frege y Rado comparten la misma aspiración de una fundamentación rigurosa de las matemáticas. Ambos autores proceden de una manera similar, construyendo un sistema desde los postulados más básicos (ya sea la lógica para Frege o un conjunto de axiomas para Rado) y derivando cuidadosamente las consecuencias, explorando los límites y las paradojas inherentes a tales construcciones con una meticulosa atención a la precisión conceptual.