-
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 -
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 -
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 -
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 -
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 -
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 -
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/ -
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 -
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 -
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 -
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 -
Aporto sobre la cuantificación de todo o alguno
Tomado de: ttp://logica.carpetapedagogica.com/2014/09/historia-de-la-logica.html -
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 -
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 -
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 -
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 -
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 -
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 -
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
A list shows items. A timeline shows sequence.
Use Timetoast to make dates, milestones, and turning points easier to understand in a clear visual format. Timetoast is a timeline maker for work, school, research, and stories.