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’
DEL RAZONAMIENTO AL CÁLCULO
Se piensa que resultaría prácticamente imposible satisfacer exigencias tan estrictas si se continuara expresándose en el lenguae habitual, con su falta de precisión y sus numerosas irregularidades. Es de hecho, por esto, que la formalización supone la simbolización. Una axiomática formalizada aparece de este modo como un conjunto de signos, unos que son propios a la teoría y otros que son anteriores, provistos del enunciado de las reglas que se aplicarán al manejo de tales signos. Continue reading ‘DEL RAZONAMIENTO AL CÁLCULO’
LAS DEFINICIONES POR POSTULADOS
El estatuto lógico de los postulados queda bastante claro, no quedan afirmados a título de verdades generadoras de otras verdades, sino que sólo se les coloca a título de hipótesis que permiten deducir un conjunto dado de proposiciones o de las que uno se propone investigar las consecuenciasque implican. Continue reading ‘LAS DEFINICIONES POR POSTULADOS’
