-
5 BCE
Demócrito
460 a.c.-370 a.c. Teoría Atomística: Si se divide la materia de forma sucesiva llegará un momento en que obtendremos una poción que no pueda dividirse mas, a este trozo de materia indivisible lo llamo átomo.
Tomado de: https://es.wikipedia.org/wiki/Atomismo -
4 BCE
Aristóteles
Se considera que Aristóteles fue el fundador de la lógica, su mérito radica el haber sistematizado la lógica formal codificando las formas de argumentación correcta que es donde radica la naturaleza de la lógica como ciencia. También fue el primero en formalizar razonamientos utilizando letras para representar términos.
Tomado de: http://logica.carpetapedagogica.com/2014/09/historia-de-la-logica.html
e-ducativa.catedu.es -
4 BCE
Platón
Platón en su obra Sofista trató también las afirmaciones y las negaciones, introduce la noción del método axiomático.
Tomado de: http://logica.carpetapedagogica.com/2014/09/historia-de-la-logica.html -
3 BCE
Euclides
Matemático alejandrino autor de la universal obra, los célebres Elementos. Uno de los textos matemáticos más relevantes de la historia del pensamiento científico hasta del siglo XIX.
Tomado de: http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica/Textos/Biblioteca/Libros/Libro_020/Breve_Historia_de_la_Logica.htm -
270
Porfirio
Porfirio describe cómo las cualidades atribuidas a las cosas pueden ser clasificadas, rompiendo con el concepto filosófico de substancia como una relación de género/especie.
Tomado de: https://www.youtube.com/watch?v=tl_wRb3m6ME -
Jan 20, 1250
Pedro Hispano
Estableció que "de dos premisas contradictorias, se puede deducir cualquier conclusión". Autor del Tractatus un importante manual de lógica que se utilizó en las universidades europeas desde el siglo XIII hasta el XVII.
Tomado de: http://logica.carpetapedagogica.com/2014/09/historia-de-la-logica.html
https://es.wikipedia.org/wiki/Petrus_Hispanus -
Francis Bacon
Se da cuenta de que el razonamiento deductivo resalta a expensas del razonamiento inductivo, su principal propósito era redactar una inmensa historia natural, que pudiera abrir el camino a una filosofía inductiva creando así la lógica inductiva.
Tomado de: http://blogs.ua.es/bacon/el-metodo-inductivo-de-bacon/ -
Rene Descartes
Establece un método deductivo, con el objetivo de crear una situación de legitimación social para la ciencia y establecer un método válido para todos los científicos. Modo o sistema para conocer. Es la duda universal, que consiste de prescindir de cualquier conocimiento previo que no queda confirmado por la evidencia
Tomado de: http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica/Textos/Biblioteca/Libros/Libro_020/Breve_Historia_de_la_Logica.htm -
Galileo Galilei
Contribuyó a reforzar la idea de separar el conocimiento científico de la autoridad, la tradición y la fe.
Tomado de: https://es.wikipedia.org/wiki/Galileo_Galilei -
Gottfried Leibniz
Precursor de la lógica matemática, introdujo el cálculo lógico y también desarrolló el cálculo proposicional. Enuncia la necesidad de un lenguaje riguroso, exacto y universal (un lenguaje puramente formal).
Tomado de: ttp://logica.carpetapedagogica.com/2014/09/historia-de-la-logica.html
http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica/Textos/Biblioteca/Libros/Libro_020/Breve_Historia_de_la_Logica.htm -
Leonhard Euler
Es otro de los precursores de la Lógica Matemática, introdujo los diagramas que llevan su nombre para ilustrar geométricamente los silogismos.
Tomado de:: https://es.wikipedia.org/wiki/Leonhard_Euler -
Hamilton
Aporto sobre la cuantificación de todo o alguno
Tomado de: ttp://logica.carpetapedagogica.com/2014/09/historia-de-la-logica.html -
Augusto de Morgan
Uno de los mayores representantes de la época contemporánea, considera que la base común de las cosas y de la lógica radica en las relaciones de inclusiones o exclusiones parcial o total de clases. Conocido por formular las llamadas leyes de Morgan.
Tomado de: tp://logica.carpetapedagogica.com/2014/09/historia-de-la-logica.html -
George Boole
Desarrolló un sistema de reglas que le permitían expresar, manipular y simplificar problemas lógicos y filosóficos cuyos argumentos admiten dos estados (verdadero o falso) por procedimientos matemáticos. Aplicó el cálculo matemático a la lógica, fundando el álgebra de la lógica.
Tomado de: https://es.wikipedia.org/wiki/George_Boole -
Bertrand Russell
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. En su obra "Los principios de la matemática" propone que las matemáticas pueden reducirse a una rama de la lógica generando es sus obras investigaciones sobre la inferencia y sus respectivas aplicaciones.
Referencia: ttp://logica.carpetapedagogica.com/2014/09/historia-de-la-logica.html -
Kurt Gödel
Tuvo múltiples contribuciones a la lógica matemática, destacando la demostración de la consistencia de la hipótesis cantoriana del continuo y el teorema y la prueba de incompletez semántica.
Tomado de: http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica/Textos/Biblioteca/Libros/Libro_020/Breve_Historia_de_la_Logica.htm -
Gerhard Gentzen
formuló la prueba de la consistencia de un sistema de aritmética clásica, en el cual el método no elemental es una extensión de inducción matemática a partir de una secuencia de números naturales a un cierto segmento de números ordinales.
Tomado de: http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica/Textos/Biblioteca/Libros/Libro_020/Breve_Historia_de_la_Logica.htm -
Norbert Weiner
publica su libro más famoso: ''Cibernética, o control y comunicación en el animal y la máquina''; en donde se utiliza por primera vez la palabra Cibernética ''Ciencia que estudia la traducción de los procesos biológicos a procesos de máquina''.
Tomado de: http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica/Textos/Biblioteca/Libros/Libro_020/Breve_Historia_de_la_Logica.htm -
Alan Turing
Fue pionero en la teoría de la computación y contribuyó en importantes análisis lógicos de los procesos computacionales.
Tomado de: http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica/Textos/Biblioteca/Libros/Libro_020/Breve_Historia_de_la_Logica.htm
