A. La Verdad en la Matemática
La Verdad en la Matemática
1.- Lean las citas siguientes:
A. “De acuerdo con otra posición propugnada especialmente por John Stuart Mill, la matemática es una ciencia empírica que difiere de otras ramas como la astronomía, la física, la química, etc., principalmente en dos aspectos: su objeto es más general que el de cualquier otro campo de investigación científica, y sus proposiciones han sido probadas y conformadas más ampliamente que las más firmemente establecidas de la astronomía o la física.” (Hempel, C. G., La Naturaleza de la Verdad Matemática, 1945)
B. “El enunciado “3 + 2 = 5”, entonces, es verdadero por razones similares, digamos, a las de la aserción “ningún sexagenario tiene 45 años de edad”. Ambos son verdaderos simplemente en virtud de definiciones (…) que determinan el significado de los términos clave puestos en juego. (…) Su validez, naturalmente, no requiere ninguna prueba empírica.” (Hempel, C.G., La Naturaleza de la Verdad Matemática, 1945)
C. [Por su parte, considerando la suma 7 + 5 = 12, Kant escribió:] “Que 7 tenía que ser añadido a 5 ya lo había pensado yo, ciertamente, en el concepto de una suma 7 + 5 = X; pero no que esa suma fuese igual al número 12. (…) Lo que se torna más nítido cuando se toman números un poco mayores…” (Kant, I., Crítica de la Razón Pura, Buenos Aires, Colihue, 2007 (1ª ed. 1781, 2ª ed. 1787))
2.- Teniendo en cuenta el contenido de las citas, reflexionen a partir de las preguntas propuestas más abajo:
i.- Lo más probable es que todos ustedes estén de acuerdo en que 2 + 2 = 4. También es probable que estén de acuerdo en que la entrada principal del CNBA queda sobre la calle Bolivar. Más aún, es probable que digan que ambas proposiciones son “verdaderas”. Ahora bien, ¿Qué quiere decir “verdadero” en cada caso? ¿Estamos hablando de la misma verdad, o de verdades diferentes? ¿Tendría sentido hablar de diferentes tipos de verdad?
ii.- ¿Traería algún problema identificar la verdad de las proposiciones matemáticas con la verdad de proposiciones empíricas como la que afirma que la entrada del nacional queda sobre Bolivar? ¿Qué conclusiones sacaríamos si, buscando probar empíricamente que 2 + 2 = 4, resultara que 2 bacterias en un recipiente + 2 bacterias en el mismo recipiente = 5 bacterias?
iii.- ¿Qué puede querer decir que 2 x 4 = 8 es verdadero “en virtud de definiciones”? ¿Qué términos habría que definir y cómo se los definiría? ¿Podría probarse que 2 x 4 = 8 partiendo de esas definiciones?