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’
DEMOSTRACIÓN Y DEFINICIÓN
De este modo, parece ser que en el punto de partida de una teoría deductiva que haya sido pensada de modo que satisfaga las exigencias lógics, figurarán no sólo los tres principios tradicionales: definiciones, axiomas o postulados, sino de proposiciones no demostradas —que en forma indiferente podrán ser denominadas axiomas o postulados— y los términos no definidos. Continue reading ‘DEMOSTRACIÓN Y DEFINICIÓN’
LOS AXIOMAS
Al lado de los postulados se colocan, por lo general, los axiomas para completar los principios de la geometría. Son el otro nombre que se da a las “nociones comunes” y a las definiciones de Euclides. ¿Desde el punto de vista de la lógica tal ordenamiento queda justificado? La diferencia entre axioma y postulado ha sido, con frecuencia, poco clara. Continue reading ‘LOS AXIOMAS’
