-
300 BCE
Fundación de la logica
Se considera que Aristóteles fue el fundador de la lógica, allá por el siglo IV a. C. Aristóteles definió la lógica como "ciencia que estudia los razonamientos correctos" -
300 BCE
Lógica de Aristóteles
Para Aristóteles existía un tipo de razonamiento especialmente útil para la ciencia: el silogismo. Un silogismo es un razonamiento de tipo deductivo que consta de dos premisas y una conclusión. -
1300
Edad Media
La Lógica Medieval se basa en el trabajo de Aristóteles, es recogida por los sacerdotes y cultivado mayormente en los conventos, escuelas y universidades de Europa Occidental. -
1300
Pedro Hispano y Jean Buridan
Establecieron que: “de Dos premisas contradictorias, se puede deducir cualquier conclusión”. -
Mathesis Universalis
Hace referencia a un hipotético modelo matemático previsto por Leibniz y Descartes, entre otros filósofos y matemáticos del siglo XVI y XVII. John Wallis utiliza la expresión para el título de un libro de texto sobre geometría cartesiana.
Leibniz intenta resolver las posibles conexiones entre el álgebra, cálculo infinitesimal, y el carácter universal en un tratado incompleto titulado "Mathesis universalis". -
Siglo XIX
Se caracteriza por el nivel de abstracción que alcanza la lógica matemática -
Nacimiento de una nueva lógica
La lógica se utilizará para estudiar la validez de las deducciones matemáticas y será sometida a un proceso de formalización simbólica.
En esta tarea destacaron autores como Frege, Russell y Whitehead. De esta forma nace la lógica moderna, también llamada lógica simbólica o matemática. -
Bertrand Russell
Bertrand Russell en su obra “Los Principios de la matemática” propone que las matemáticas puedan reducirse a una rama de la lógica generando en su obra investigaciones sobre la inferencia y sus respectivas aplicaciones. -
Siglo XX
En el siglo XX la lógica simbólica, que tanto debía a la matemática había desembocado, desde principio del siglo, en cuestiones irresolubles. Esto produjo un paulatino alejamiento de la lógica con respecto a la matemática, así como un deslindamiento de las competencias respectivas. -
INTEGRANTES
GRUPO: 464
Integrantes:
López Andrade Edgar Alejandro
Lilian Alejandra Callejas Gonzáles
Sanchez Santiago Jessica Lorena
David Alejandro López Soriano
