Historia de la lógica

Historia de la lógica

1. Documenta el desarrollo de la lógica en varias culturas y tradiciones a lo largo de la historia.

2. 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.