Klimoysky, Gregorio: Las ciencias formales y el método
axiomdtico, Buenos Aires, A-Z editora, 2000.
Liliana Caramuti.
Concebido‘originariamente como un capitulo del libro Las desventuras del
conocimiento cientifico pero reemplazado finalmente por uno més breve.
el texto de Klimovsky se emancipé en una obra que examina el método
axiomitico a la luz de su importancia epistemol6gica, revolucionatio de las
concepciones de las ciencias formales.
En el primer capitulo, el autor plantea cinco preguntas de diversa
naturaleza:
(ontolégica) {Cudles son los «objetos» que estudia la matemética?,
{epistemolégica) ;Cual es el fundamento de Ia verdad de las
afirmaciones de los mateméticos?
(metodolégica) {Cémo se logran nuevos conocimientos en el seno de
esa disciplina?
(educativa) {Cémo se debe ensafiar la matemética? y
(pragmatica) ;Cémo se vinculan los conocimientos mateméticos con
las necesidades y objetivos de orden préctico?,
{que le permitiran ir recorriendo, en el capitulo siguiente (11 la historia
de sus respuestas, quedando caracterizadas las diversas concepciones de
la matemitica en distintos perfodos hist6ricos.
Dicho recorrido se inicia con Ahmés y el papiro de Rhind como -
quizis- la opinién més antigua acerca de la matemitica, prosigue con el
«genial y un tanto pintoresco» filésofo y cientifico griego Pitégoras, con
‘Atistoteles y su método demostrativo, con Buclides y su Elementos, para
terminar con la postura de Kant.
El capitulo III presenta la revolucién producida por la aparicién de las
‘geometrias no euclideanas de Lobachevsky y Bolyai, a partir del problema
derivado de la falta de evidencia y simplicidad del quinto postulado («de
las paralelas») de Euclides y el consiguiente intento de demostrarlo a partir
de los otros cuatro axiomas. Aparece entonces una metodologia conocida
‘como método axiomdtico formal, o simplemente, método axiondtico,
~ objeto de estudio del capitulo siguiente (IV), en el cual se analiza la
205vineulacién entie el método de as ciencias ficticas y el dévenido’a partir’
de la obra de Lobacheysky y Bolyai, resultando que los sistemas hipotético
deduictivos son, en definitiva, sistemas axiomaticos interpretados. Es eri este
anélisis donde las nociones de significacién y modelo adquieren tna
importancia insoslayable, y a partir del cual se advierte que «lo que ge stele
llamar ‘matematica’ (a secas) es, en realidad, una actividad bastante
compleja y diversificada, en la cual hay que distinguir estratos segin e]
propésito y el alcance de la investigacién que se lleva a cabo». Estas
diferentes formas de abordar la matemética Klimovsky las presenta como:
matemitica «formalisima» o «purisima> (consistente en tomar sistemas
sintécticos y desarrollarlos deductivamente para obtener teoremas en tales
sistemas);
matemética «pura» (utiliza sistemas sintécticos para aplicarlos a
modelos relativos, es decir, a otros sistemas sintécticos);
matemética «bastante pura» (se emplean modelos mateméticos -0
Iégico-mateméticos- y se habla de objetos determinados acerca de los cuales
se ofrecen conocimientos); y
‘matemiética «aplicada» (se consideran modelos hipotético deductivos,
en Jos cuales los axiomas se transforman en hipétesis de una teorfa fictica
aceptada y utilizada por la comunidad cientifica y originando una
«