Publicaciones de BLANCHÉ, Robert

La axiomática

La geometría clásica, bajo la forma que le dio Euclides, fue durante mucho tiempo un modelo insuperable de teoría deductiva: todo se define o se demuestra a excepción de los principios o proposiciones primeras. El geómetra procede por demostración basándose en las leyes de la lógica, logrando un sistema donde todas las proposiciones se relacionan entre sí. Sin embargo, el aparato lógico en el que se apoya la geometría euclidiana tenía muchos defectos, y cada vez se marcó más la distancia entre esta geometría y una teoría deductiva ideal. Se hicieron esfuerzos por rectificarla y el resultado fue la presentación axiomática de la teoría. Un sistema axiomático es la forma acabada que toma, hoy, una teoría deductiva. Este libro presenta ese sistema. Introduce primero los defectos del aparato euclidiano, luego expone las primeras axiomáticas, luego las axiomáticas formalizadas, el método axiomático de la ciencia y, finalmente, el alcance filosófico de la axiomática.

Traductor:Federico Osorio Altúzar y Bernabé Navarro
Editorial:Instituto de Investigaciones Filosóficas
Colección:Cuadernos Temas:Lógica Edición:1ª edición, México, 1965