El pensamiento lógico-matemático reúne una serie de aspectos recurrentes que son identificables a lo largo de su historia. Desde los resultados incipientes de la aritmética pitagórica y de la geometría euclídea, hasta los desarrollos modernos de los correspondientes sistemas abstractos de la aritmética de Peano-Gödel y de la geometría de Hilbert, las ciencias deductivas exhiben una tradición de pensamiento sólidamente fundada en el valor epistémico de la prueba clásica. Esta progresión no ha estado exenta de crisis abruptas y convulsas derivadas de la tensión que origina el intento de expandir el conocimiento, como cuando un nuevo descubrimiento matemático pone en entredicho lo que hasta entonces era considerado verdadero. Paradojas tales como la derivada del descubrimiento de la inconmensurabilidad de la diagonal con el lado de un cuadrado en los tiempos pitagóricos, o las derivadas del descubrimiento de algunas contradicciones en la moderna teoría de conjuntos, dan cuenta también de esta tensión.

Consideramos de utilidad el análisis de la expresión "Historia de la Lógica" apelando a la teoría semántica de Frege, según la cual toda expresión lingüística dotada de sentido puede ser concebida como descompuesta en dos partes, una de las cuales está completa en sí misma (el argumento), mientras que la otra precisa de complemento; es no saturada (la función). A la Historia de la Lógica compete determinar la constitución-desaparación de categorías e ideas que en un proceso de desarrollo e influencia mutua han configurado la lógica y la symploké entre esas categorías e ideas constituyen su cuerpo. Para recomponerlo, hemos procurado actuar, según aconseja Platón, como un dialéctico: cortar por las juntas naturales. El resultado ahí está.

(1982)

El presente ensayo estudia temas que cursa quien se propone optar al titulo profesional en matemática. Epistemología de la matemática es conocimiento del conocimiento matemático. La matemática estudia relaciones (cada vez mas profundas) entre elementos de naturaleza no precisada. El resultado es una multiplicidad, por lo menos, con tres dimensiones. Longitudinal: donde se estudia génesis (¿Quiénes aportaron qué?), estructura (¿hasta donde llegaron?), método (¿Cómo?), función (¿para qué?), problemas (¿Qué hay por hacer?). Transversal: donde se ensaya captar lo que la matemática es tan esencialmente que hay quienes han intentado reducirla a algunos de estos atributos: caracterización (descripción en caracteres de existencia y unicidad), combinación (conjunto de partes según los caracteres considerados), condicionalización (coordinación de enunciados antecedentes y consecuentes de acuerdo con la lógica), cualificación (exploración de propiedades involucradas en los axiomas o postulados), cuantificación (todos, todos menos algunos, algunos, al menos uno, ninguno). La matemática, como otros grandes conceptos de la cultura, no se puede abarcar en ensayos descriptivos. Vertical: donde se contempla según el troquel de los tres grandes tipos estructuras al modo Bourbaki, propiedades de operadores sobre relaciones entre elementos de naturaleza tácita.