LA AXIOMATIZACIÓN DE LA LÓGICA
Problemas y dificultades análogos a los que conocía la metamatemática se encontraban, al mismo tiempo, en el terreno de la lógica. Por lo demás, ambos órdenes de investigación se encuentran actualmente asociados íntimamente. Cuando aún la axiomática se encontraba en sus comienzos, la condición de la lógica podía parecer, debido a su situación inicial, como privilegiada. Una teoría axiomatizada retiraba su significación y su verdad usuales a los términos y postulados sobre los que se edificaba, mas para esta edificación hacía un llamado a teorías anteriores cuya verdad y sentido ya se encontraban presupuestos. Y en el punto de partida de estas teorías previas, anteriores a todas las otras, se encontraba la lógica.
Continue reading ‘LA AXIOMATIZACIÓN DE LA LÓGICA’
EL LÍMITE DE LAS DEMOSTRACIONES DE NOCONTRADICCIÓN
Sin embargo, se hace necesaria una condición: cualesquiera que sean la complejidad e inseguridad de la teoría matemática estudiada y de las fórmulas simbólicas en donde se expresa, la demostración metamatemática que descansa sobre esta teoría deberá, bajo pena de caer en un círculo vicioso o de petición de principio, no hacer sino encadenamientos deductivos muy simples y no discutidos, de forma que logren en forma irresistible la adhesión de un espíritu atento. Continue reading ‘EL LÍMITE DE LAS DEMOSTRACIONES DE NOCONTRADICCIÓN’
LA METAMATEMÁTICA
Con este cambio en el punto de vista que hace pasar, por lo menos de momento, los caracteres del rango de medio al de fin, surgen nuevas posibilidades especulativas. El pensamiento se encuentra ahora en presencia de otro sistema de objetos regulados para combinarse y disociarse de acuerdo co leyes bien determinadas y que experimentan así transformaciones que no son, sin recordar al matemático, las que éste tiene por costumbre estudiar sobre figuras o, mejor aún, en los problemas de combinatoria. Continue reading ‘LA METAMATEMÁTICA’
