Actividad 1 Sandra Lazzer

Actividad 1
Introducción: Los orígenes del método axiomático (primera parte)

SANDRA LAZZER

Disponible a partir del 13/04/2020

El objetivo de esta actividad es reflexionar acerca de la naturaleza de los que se

denomina “método axiomático”, comenzado por sus orígenes, para luego ver, en las
subsiguiente actividades, como en la lógica moderna se ha aplicado la técnica de
axiomatización como una forma de presentar un sistema lógico-formal alternativo a ya
conocido por ustedes como es la ​deducción natural​. Comenzaremos en esta actividad
considerando la aparición del método en la antigüedad clásica:

Pregunta 1: Aristóteles es considerado el padre del método axiomático ya que fue el

primero en sistematizar una teoría partiendo de un conjunto de principios verdaderos
que se conocen por sí mismos. Esta idea de "verdades autoevidentes" le permitió
sortear dificultades relacionadas con la noción de "demostración". ¿Cuáles son estas
dificultades y por qué lo son?

Pregunta 2: ¿Cuáles son las características definitorias del método axiomático

aristotélico? ¿Qué elementos lo conforman?

Pregunta 3: ¿Por qué la teoría silogística resulta insuficiente o limitada analizada desde
el punto de vista actual?

Pregunta 4: El sistema axiomático de Euclides fue el primer ejemplo de axiomatización

satisfactorio que se utilizó durante siglos. ¿Qué elemento original y distintivo de la
axiomatización aristotélica propuso? ¿qué limitaciones tiene?

Pregunta 5: ​Aristóteles y Euclides son considerados como los fundadores del método
axiomático. Desarrollar brevemente similitudes y diferencias de sus propuestas.

***********************************************************************
TAREA: Lea con atención el Capítulo I del texto de Cassini, A.: ​El Juego de los Principios
e intente construir una respuesta para cada una de las anteriores preguntas. Tenga
además en cuenta las siguientes observaciones complementarias. ​Sugerencia​: revise
nuevamente el concepto de “Sistema lógico-formal” Capítulo II Falguera & Martínez
***********************************************************************

Observaciones complementarias:

1.- Tanto el método axiomático como sus eventuales realizaciones, los sistemas
axiomáticos, han tenido gran predicamento en la historia intelectual de Occidente. En
la Grecia clásica, la silogística de Aristóteles (384-322 a.C.) en sus ​Primeros Analíticos​,

1
Actividad 1 Sandra Lazzer

la geometría de Euclides (fl. 300 a.C.) en sus Elementos y –en menor medida– la
mecánica de Arquímedes (mediados del III a.C.) eran teorías axiomáticas. Se
aproximaban mucho al ideal de una ciencia en la cual a partir de un reducido grupo de
verdades iniciales (los axiomas) se derivan todas las verdades de esa ciencia (los
teoremas). De forma un poco menos explícita, también se buscaba que a partir de
unos pocos conceptos primitivos se pudieran definir todos los demás. Según este ideal,
para desarrollar una ciencia bastaba en principio con tener sus axiomas. Más
importante aún, para penetrar en el significado último de una ciencia todo lo que
había que hacer era examinar uno a uno sus axiomas, razón por la cual tales axiomas
eran objeto de especial reverencia.

2.- En cuanto a su significado técnico, los matemáticos y filósofos griegos consideraban

que un axioma era una proposición autoevidente y necesariamente verdadera;
asimismo, consideraban que ciertos conjuntos de axiomas podían contener una ciencia
entera en el sentido de que podían demostrarse todas sus verdades a partir de los
axiomas y siguiendo razonamientos lógicos. En la actualidad no hay una única
caracterización del método axiomático, pero podemos destacar tres actividades que
siempre se mencionan en sus definiciones habituales: (i) proceso por el cual se
axiomatiza una teoría, (ii) estudio de la teoría axiomatizada, (iii) utilización de dicha
teoría. El primer proceso es una búsqueda intelectual no sujeta a reglas
predeterminadas, que se lleva a cabo por especialistas de la teoría en cuestión; los
otros dos procesos interesan solamente a los lógicos y a aquellos filósofos que
teorizaron sobre la ciencia. En cualquier caso, la definición más común dice que el
método axiomático consiste en la axiomatización de teorías. Axiomatizar una teoría es
convertirla en la teoría de un sistema axiomático. Y un sistema axiomático puede ser
visto como un mecanismo capaz de generar una teoría.

3.- Aunque nos quedamos con la caracterización anterior, advertimos que los matices y
los problemas interpretativos son muchos. Aristóteles, en ​Segundos Analíticos,​ I, 10,
tras aclarar que cada ciencia habla sobre su propio género de entidades, distingue
entre los principios peculiares de una ciencia (que a su vez pueden ser hipótesis o
definiciones) y los principios que son comunes a todas las ciencias. Estos últimos son
los axiomas, aquéllos las tesis. Pero los axiomas no tienen una misma formulación para
todas las ciencias: dice de ellos que son principios “comunes por analogía”, de modo
que por un lado trascienden a cada ciencia y por otro lado se integran en ella. Aparte
de tesis y axiomas, se desprende de ​Segundos Analíticos,​ I, 2, 72a15, que estarían los
principios metafísicos como el de no-contradicción. El mismo Aristóteles, en los
Primeros ​Analíticos, organiza la lógica de acuerdo al método axiomático, derivando
todos los silogismos válidos a partir de los cuatro silogismos de la primera figura, que
cumplen la función de axiomas; es cierto que no sigue al pie de la letra todas las
prescripciones de sus ​Segundos Analíticos​, mas ello se debe a que no consideraba que
la lógica fuera una ciencia, sino una herramienta de la razón para todas las demás
ciencias, conque no había motivos para aplicar allí todas las recomendaciones

2
Actividad 1 Sandra Lazzer

metodológicas de los ​Segundos Analíticos.​ Más fiel a dicha metodología es Euclides en

Elementos​, libro I, donde distingue principios de dos tipos. Sus postulados parecen
ejemplificar en geometría lo que Aristóteles llamaba hipótesis, ejemplo: “puede
prolongarse continuamente una recta finita en línea recta”, sus definiciones se ajustan
a las definiciones aristotélicas, ejemplo: “punto es lo que no tiene partes”, mientras
que sus nociones comunes parecen adaptar al caso geométrico lo que Aristóteles
llamaba axiomas, ejemplo: “si de dos cosas iguales se quitan cosas iguales, los restos
son iguales”.