Documenta el desarrollo de la lógica en varias culturas y tradiciones a lo largo de la
historia.
Aristoteles 384 aC - 332 aC Representan el primer
intento serio que funda la logica como ciencia.
Aristoteles no hace de la logica una disciplina
metafisica sino que establece correspondencias
reciprocas entre pensamiento logico y estructura
ontologica.
Kant, propone una lógica formal, en la cual ningún
contenido es objeto del conocimiento lógico, ya que de la
“cosa en sí", no podemos tener conocimiento; sólo
podemos hablar de la cosa como se me presenta. El
entendimiento en particular está sometido, en sus
acciones, a reglas que podemos investigar. Más aún, hay
que considerar el entendimiento como la fuente y facultad
de pensar reglas en general 1848-1925
Friedrich G. Frege Partiendo del analisis de los
fundamentos de la matematica lleva a cabo la mas
profunda renovacion y desarrollo de la logica clasica
hasta el momento. Es el primero en introducir los
cuantificadores u operadores y en elaborar una Teoria de
la Cuantificacion.
1872-1970 Bertrand Rusell Es uno de los
creadores de la logistica y uno de los pensadores
de mayor influencia en la filosofia cientifica
contemporanea.
Siguiendo ademas de los trabajos de Cantor,
a Peano y Frege, Rusell se propone
fundamentar y axiomatizar la matematica a
partir de conceptos logicos. Culmina con la
publicacion (1910-1913) de los monumentales
Principia Mathematica -en colaboracion con
Whitehead-, obra que, ademas, sienta las
bases de la moderna logica formal.
REVOLUCION LOGICA 1950
La logica evoluciona pues como un gen hacia la culminacion del
conocimiento libre que nace del rigor formal de la Matematica
griega; emerge renovadamente de etapas de persecucion tan
oscuras como la Edad Media y otros intentos mas recientes;
hasta el intercambio constante y continuo de datos en la
moderna era de estructura de redes que Internet proporciona a
modo neuronal a la Humanidad.
Del año 600 aC hasta 300 aC se
desarrollan en Grecia los principios
formales de las matematicas. Este
periodo clasico lo protagonizan
Platon, Aristoteles y Euclides. Platon
propone ideas o abstracciones.
Aristoteles resuelve el razonamiento
deductivo y sistematizado.
Euclides es el autor que establece el metodo axiomatico. En los
Elementos Euclides organiza las pruebas deductivas de que dispone
dentro de una estructura sistemática, rigurosa, altamente eficaz.
Las matematicas y la logica.
El nacimiento de la logica propiamente
dicho esta directamente relacionado con el
nacimiento intelectual del ser humano. La
logica emerge como mecanismo espontáneo
en el enfrentamiento del hombre con la
naturaleza, para comprenderla y
aprovecharla.
Poncairé 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.