Les Principes Fondamentaux de l'Arithmétique: Exposés Récemment par M. G. Peano

Mientras Poincaré critica un sistema formal específico, Bernal ofrece una visión macroscópica de cómo los sistemas de pensamiento científico, incluyendo los matemáticos, surgen, se desarrollan y son influenciados por su contexto. La conexión no es tanto la matemática en sí, sino la reflexión sobre la naturaleza y el impacto de los sistemas de conocimiento, a menudo infravalorando la crítica epistémica interna.

Poincaré cuestiona la validez de un sistema axiomático particular, análogo a cómo Bacon cuestiona la validez de los sistemas de conocimiento predominantes en su época. La conexión reside en el desafío a las "bases" establecidas y la búsqueda de un fundamento más sólido o conceptualmente riguroso para la comprensión del mundo, aunque uno lo haga deductivamente y el otro inductivamente para la ciencia.

Mientras Poincaré critica el sistema de Peano desde una perspectiva intuicionista y práctica de la demostración matemática, Frege aborda los fundamentos de la aritmética desde una perspectiva logicista, intentando darle una base aún más fundamental que la de Peano. Ambos están profundamente preocupados por la validez y el origen de los conceptos matemáticos, aunque con diferentes propuestas y críticas.

Poincaré cuestiona los cimientos de la aritmética (Peano), mientras Riemann hace lo mismo con la geometría. Ambos trabajos comparten una profunda reflexión filosófica sobre la naturaleza de los axiomas y los "principios fundamentales" de una rama de las matemáticas, abriendo la puerta a múltiples sistemas y formas de entender estos campos, más allá de las convenciones establecidas.

La crítica de Poincaré a Peano se centra en la validez inherente de los principios y la forma en que se construye el conocimiento matemático. Meinong, desde la filosofía austriaca, aborda la existencia y subsistencia de los "objetos" de nuestro pensamiento, lo que tangencialmente se conecta con la cuestión de qué tipo de "objetos" (números, conjuntos) definen los principios aritméticos y si estos objetos tienen o no una "existencia" independiente del sistema axiomático. Es una discusión oscura pero fundamental sobre la ontología de las entidades abstractas.

Poincaré se involucra en una crítica fundamental de la lógica aplicada a los fundamentos de la aritmética. Scholz, un lógico y filósofo alemán menos conocido en el mundo anglosajón, ofrece una perspectiva profunda sobre la estructura y los límites de la lógica formal. Su trabajo, aunque más panorámico, contextualiza el tipo de rigorismo y formalismo que Peano intentó aplicar y que Poincaré cuestionó, proporcionando una rara visión de la disciplina desde una tradición filosófica específica.

Similar al formato de un tratado matemático o lógico, el 'Tractatus' utiliza una estructura axiomática y numerada para presentar sus argumentos de forma rigurosa y escalonada. Aunque el tema difiere (lenguaje y límite del pensamiento vs. crítica de la aritmética), comparten la ambición de abordar los fundamentos del conocimiento mediante una exposición formalmente estructurada, casi como una prueba o demostración.

Los 'Principios Fundamentales de la Aritmética' de Peano, que Poincaré critica, es un trabajo axiomático. 'Principia Mathematica' es el intento más ambicioso y formal de fundamentar la matemática a través de una estructura axiomática rigurosa. La crítica de Poincaré al intento de Peano de reducir la aritmética a axiomas es pertinente para entender la ambición y los desafíos inherentes a la estructura de una obra como la 'Principia', que busca una base axiomática similar pero más extensa para todas las matemáticas. Ambos son ejemplos de la búsqueda de la formalización estricta.