La Naturaleza de las Matemáticas

Aunque del mismo autor, 'Lenguaje, lógica y ciencia' se aleja del enfoque puramente fundacional de las matemáticas para adentrarse en la epistemología y filosofía de la ciencia en un sentido más amplio, mostrando el pensamiento de Carnap sobre la construcción del conocimiento científico a través del lenguaje, lo cual es tangencial a 'La Naturaleza de las Matemáticas'. La conexión es ver cómo la lógica que aplica a las matemáticas se expande a la ciencia en general.

Si bien 'Los fundamentos de la aritmética' es canónico en la filosofía de las matemáticas, su inclusión como 'nonobvious' aquí se debe a que, a diferencia de los textos más contemporáneos o post-positivistas a los que Carnap suele asociarse, Frege representa la raíz lógica del proyecto que Carnap luego reinterpretaría. Es una exploración de las bases mismas, pero desde una fase anterior que ilumina el contexto histórico-filosófico de Carnap sin ser una respuesta directa a él.

'La Naturaleza de las Matemáticas' de Carnap se inscribe en una visión acumulativa y fundacionalista del conocimiento. Kuhn, por otro lado, ofrece una visión radicalmente diferente de cómo progresa la ciencia, incluyendo indirectamente las matemáticas como parte de los 'paradigmas'. Ambos libros cuestionan la certeza del conocimiento, pero desde perspectivas opuestas: Carnap busca cimentarla con lógica, Kuhn la muestra como algo contingente a una estructura social y conceptual compartida.

Aunque Carnap y Husserl pertenecen a tradiciones filosóficas distintas (analítica vs. fenomenológica), 'Investigaciones lógicas' comparte con 'La Naturaleza de las Matemáticas' una preocupación fundamental por las bases del conocimiento y la estructura de la verdad, especialmente en lo que respecta a la lógica. Ambos buscan una "base cero" para la comprensión, uno a través del análisis lógico-lingüístico de las matemáticas y el otro a través de la experiencia subjetiva y la intencionalidad. Las preguntas sobre la objetividad y la certeza subyacen a ambos proyectos.

Agazzi, un filósofo italiano de la ciencia, presenta un análisis sofisticado y exhaustivo de los fundamentos de las matemáticas. Su enfoque es menos conocido en el ámbito anglófono que otros autores de la tradición analítica, pero dialoga profundamente con las problemáticas que aborda Carnap, ofreciendo una perspectiva más reciente y comparativa sobre las distintas escuelas fundacionales.

Piaget, psicólogo suizo, es un nombre conocido pero su obra específica sobre la construcción del concepto de número en el desarrollo infantil (fundamental para la epistemología genética) es menos abordada en comparación con los textos puramente filosóficos sobre los fundamentos de las matemáticas. Si Carnap se pregunta 'qué son' las matemáticas, Piaget responde 'cómo se forman' en el desarrollo cognitivo, ofreciendo una perspectiva empírica y psicológica a una pregunta que tiene implicaciones filosóficas. No es una obra puramente de filosofía de las matemáticas, pero su objeto de estudio es cómo construimos ese mismo objeto que estudia Carnap.

El 'Tractatus' comparte con 'La Naturaleza de las Matemáticas' una estructura argumentativa profundamente analítica y lógica, aunque aplicada a problemas existenciales. Ambos utilizan un lenguaje preciso y buscan desentrañar la estructura fundamental del pensamiento y el conocimiento a través del análisis lógico de sus componentes. La forma en que ambos libros proceden por proposiciones y enunciados concisos para construir un argumento global es un paralelo estructural notable.

Aunque Popper critica directamente el positivismo lógico de Carnap, su obra comparte una estructura lógica rigurosa y un enfoque meticuloso en la fundamentación de las proposiciones y el método del conocimiento. 'La Lógica de la Investigación Científica' es también un tratado sobre los fundamentos y la naturaleza de un campo (la ciencia, en este caso), presentado con una coherencia y una argumentación sistemática que recuerdan la claridad de Carnap al abordar las matemáticas. Ambos autores se centran en la estructura de la justificación.