-
Period: 3000 BCE to 476
Edad antigua.
Inicios del conocimiento de la lógica -
399 BCE
Socrates
Fue famoso por su habilidad para hacer preguntas esenciales y críticas que llevaban a sus oponentes a admitir una objeción -
384 BCE
Creacion de la lógica.
Fue definida por Aristóteles como la ciencia que estudian los razonamientos correctos -
347 BCE
Sostener la idea de la lógica
Platón, edifica su teoría del conocimiento con el fin de justificar el poder preeminente del filósofo y parte de los pensamientos socráticos: la búsqueda de conceptos y definiciones estables de las ideas abstractas -
322 BCE
Los tratados de la lógica.
Son creados por Aristóteles, también conocidos como conocidos c Organón, estos representan el primer intento de establecer a la lógica como ciencia. Aristóteles da una clasificación de todos los conceptos o nociones (sustancias, cantidad, relación, acción, pasión, diferencia, propiedad y accidente) y trata las reglas del razonamiento silogístico. -
300 BCE
Modalidades de la lógica
Diódoro de Cronos trató las modalidades de la lógica como posible, necesario e imposible relacionándolo con la verdad y el tiempo. -
206 BCE
Logica porporcional.
Crisipo de Soli fue uno de los mejores griegos lógicos, pues él estableció los cinco principios indemostrables de la inferencia hipotética. Dando paso así a la lógica proporcional. -
129 BCE
Aportacion pequeña.
El filosofo griego Galeno también contribuyo al desarrollo de la lógica, famoso por la introducción a la dialéctica. -
Period: 476 to 1456
Edad Media
-
804
Dialéctica
Carlomagno de Alcuino escribió uno de los primeros manuales de lógica en la época medieval titulado Dialéctica. -
1142
Lógica para los que ingresan
Pedro Abelardo en esta y en otras de sus obras como son: Si y no, y Lógica a petición de nuestros compañeros, analiza la cópula de las preposiciones y distingue la negación -
1180
Metalogicon
Jean Salisbury habla del Órganon aristotélico completo, además de una maquina lógica inventada por Guillermo de Soinsoons -
1230
Introducciones a la lógica.
Guillermo de Sherwood en sus introducciones a la lógica recopila las aportaciones medievales a la semántica llamando propiedades a diferentes términos. -
1280
Conversión de preposiciones.
Alberto Magno o "El grande" establece el procedimiento de convertir las preposiciones mediante un silogismo abreviado -
Period: 1456 to
Edad Moderna
-
1540
De la censura de lo verdadero
Juan Luis Vives en esta obra representa las funciones lógicas por medio de ángulos y triángulos. -
Lógica inductiva
El pionero de la lógica inductiva es Francais Bacon, filosofo ingles que en su obra El Novum Organon, expone las bases de la lógica inductiva y explica métodos parra determinar las razones de la causalidad. -
Computación lógica
Thomas Hobbes pensador ilustrado, ve el razonamiento como un cálculo de signos avanzado en la búsqueda de un cálculo lógico -
Dialectica Hegeliana
La lógica de Hegel pretende explicar el complejo movimiento de lo real en su devenir objetivo histórico. -
George Boole
El lógico y matemático George Boole (1815-1864) aplicó el cálculo matemático a la lógica, fundando el álgebra de la lógica, que en cierto modo realiza el sueño de Leibniz de una ''característica universal'' o cálculo del raciocinio. El empleo de símbolos y reglas operatorias adecuados permite representar conceptos, ideas y razonamientos mediante variables y relaciones (ecuaciones) entre ellas -
Augustus de Morgan
La mayor contribución de Augustus De Morgan en el estudio de la lógica incluye la formulación de las leyes de Morgan y su trabajo fundamenta la teoría del desarrollo de las relaciones y la matemática simbólica moderna o lógica matemática. De Morgan hizo su más grande contribución como reformador de la lógica -
Logística
Bertrand Rusell es uno de uno de los creadores de la logística y uno de los pensadores de mayor influencia en la filosofía científica contemporánea.somatizar la matemática a partir de conceptos lógicos. -
Friedrich G. Frege
Junto con Boole y Peano, el matemático y lógico Friedrich G. Frege inicio la corriente de pensamiento que, partiendo del análisis de los fundamentos de la matemática, llevó a cabo la mas profunda renovación y desarrollo de la lógica clásica. Fue el primero en introducir los cuantificadores u operadores y en elaborar una teoría de la cuantificación [9]. -
Investigaciones lógicas
Edmund Husserl ataca el psicologismo en la lógica y establece y establece la fenomenológica. -
Alan Turing
Matemático y lógico quien fue pionero en la teoría de la computación y contribuyó en importantes análisis lógicos de los procesos computacionales. Las especificaciones para la computadora abstracta que él ideó (llamada la Máquina de Turing) resultó ser una de sus mas importantes contribuciones a la teoría de la computación -
Lógica semantica matemática
Alfred Trotsky aporta a la fundamentación de la meta lógica y la metamatemática. -
EQUIPO 3- Grupo 461
Integrantes:
Fernández Lechuga Erick Sebastián
Hernández Martell Hannah Belén.
Sánchez Diego Guadalupe.