Breve relación sobre história de la Lógica

El nacimiento de la logica propiamente dicho esta directamente relacionado con el nacimiento intelectual del ser humano. La logica emerge como mecanismo espontaneo en el enfrentamiento del hombre con la naturaleza, para comprenderla y aprovecharla. Poncaire destaca cinco etapas o revoluciones en ese proceso que se presentan entre dos grandes topicos: del rigor y la formalidad, a la creatividad y el caos. Las etapas se identifican como: Revolucion Matematica, Revolucion Cientifica, Revolucion Formal y Revolucion Digital ademas de la proxima y prevista Revolucion Logica.

La logica matematica cuestiona con rigor los conceptos y las reglas de deduccion utilizados en matematicas lo que convierte la logica en una especie de metamatematica. Una teoria matematica considera objetos definidos -enteros, por ejemplo- y define leyes que relacionan a estos objetos entre si, los axiomas de la teoria. De los axiomas se deducen nuevas proposiciones -los teoremas-, y a veces, nuevos objetos. La construccion de sistemas formales -formalizacio n, piedra angular de la logica matematica-, permite eliminar la arbitrariedad en la eleccion de los axiomas y definir explicita y exhaustivamente las reglas de la deduccion matematica.