-
Period: 384 BCE to 332 BCE
Aristoteles
Se funda la lógica como ciencia. Establece correspondencias reciprocas entre entre pensamiento lógico y estructura ontológica.
Dijo que el hombre es el único hombre que tiene logos. Logos lo define como palabra, razón, lenguaje y pensamiento. Aristoteles también el uso de variables, proposiciones desarrollo del silogismo, formalizaciones y el raciocinio. -
Period: 380 BCE to 350 BCE
Teofrasto y Eudemo
Aportaron los silogismos hipotéticos condicionales. -
Period: 476 to 1453
Edad Media
Se retomo el pensamiento de Aristoteles con el cual se llego a la siguiente afirmación: "de dos premisas contradictorias se puede deducir cualquier conclusión" -
Period: 650 to 300
Inicio de la lógica
Protagonizado por Platon, Aristoteles y Euclides. Se empiezan a proponer ideas y abstracciones. -
Period: 1453 to
Edad Moderna
Se marca el inicio de la lógica matemática. Se introdujo el calculo lógico. También se desarrollo el calculo de la lógica proposicional -
Period: to
Guillermo G. Leibniz
Fue uno de los precursores de la lógica en la edad moderna. Introdujo el calculo lógico llamado “Mathesis Universalis” -
Period: to
Euler
Introdujo los diagramas para ilustrar geometricamente los silogismos. -
Period: to
Edad Contemporanea
Se caracteriza por el nivel de abstracción que alcanzó la lógica matemática. También se destaca la lógica simbólica en el área matemática. -
Period: to
Augusto de Morgan
Considera que la base de la lógica radica en la relación de la inclusión y la exclusión ya sea parcial o total entre clases. -
Period: to
George Boole
Construye la teoría de clases. Desarrolla el álgebra de Boole, estructura algebraica que esquematiza las operaciones lógicas. -
Period: to
John Venn
Aclara los procedimientos de Boole por medio de diagramas a los que denomino Diagramas de Venn. Sus diagramas fueron un gran aporte a la lógica ya que son representaciones gráficas de las proposiciones y silogismos. -
Period: to
Giussepe Peano
Creo un lenguaje simbólico para demostraciones matemáticas y propuso un modo de simbolizar los cuantificadores. -
Period: to
Bertrand Russell
Realizó una obra la cual titulo “Los Principios de la matemática” donde propone que las matemáticas puedan reducirse a una rama de la lógica explicando en su obra investigaciones sobre la inferencia y sus respectivas aplicaciones. -
Period: to
R. Carnap
bajo la influencia formalista y logicista. Ademas dio un viraje en su filosofar orientándose hacia preocupaciones lógico. -
Period: to
Siglo XX
Por otro lado se fue alejando el excesivo formalismo y simbolismo. Se inician acercamientos a la lógica de la lingüística y la epistemología.