-
Use Cases
-
Resources
-
Pricing
1200 - 1600
La lógica medieval, también llamada lógica escolástica, se desarrolló en Europa entre aproximadamente 1200 y 1600 como una continuación y elaboración de la lógica aristotélica.
Fuente de la imagen: Filosofía medieval
1200 - 1600
Durante el periodo escolástico, los pensadores europeos desarrollaron la lógica aristotélica en contextos universitarios y teológicos, convirtiéndola en una parte central de la educación medieval.
Fuente de la imagen: Escolástica
1287 - 1347
William de Ockham, cuya vida se sitúa entre 1287 y 1347, fue una figura destacada de la tradición lógica medieval.
Fuente de la imagen: Guillermo de Ockham
1287 - 1347
Jean Buridan aparece asociado a la tradición de la lógica medieval y a los desarrollos escolásticos de la lógica aristotélica.
Fuente de la imagen: Jean Buridan
1323
En 1323 se publicó la influyente Summa Logicae de William de Ockham, una obra importante de la lógica medieval.
1323
La Summa Logicae se convirtió en una referencia influyente dentro de la tradición lógica escolástica y contribuyó a sistematizar sus conceptos.
1548 - 1617
Las Disputaciones metafísicas de Francisco Suárez, cuya vida transcurrió entre 1548 y 1617, figuran entre las grandes obras relacionadas con esta tradición intelectual.
Fuente de la imagen: Francisco Suárez
1589 - 1644
La Lógica de Juan Poinsot, conocido también como Juan de Santo Tomás, constituye otra obra destacada de la tradición escolástica. Poinsot vivió entre 1589 y 1644.
1824
George Boole fue otro de los importantes lógicos del siglo XIX vinculados a la recepción occidental de la lógica india.
1824
Augustus De Morgan figura entre los pensadores del siglo XIX cuya obra se relaciona con la influencia recibida por la lógica india.
1824
La atención occidental a la lógica india influyó en importantes lógicos y matemáticos del siglo XIX, entre ellos Charles Babbage.
1824
Desde 1824, la lógica india atrajo la atención de numerosos estudiantes occidentales y pasó a formar parte de los debates históricos sobre el desarrollo de la lógica.
1847
En 1847, George Boole publicó el breve tratado El análisis matemático de la lógica, una contribución fundamental a la formalización algebraica del razonamiento.
Fuente de la imagen: George Boole
1847
En 1847, Augustus De Morgan publicó Lógica formal, obra en la que introdujo las leyes de De Morgan e intentó generalizar la noción de silogismo.
Fuente de la imagen: Augustus De Morgan
1847
La obra Lógica formal de Augustus De Morgan, publicada en 1847, introdujo las leyes de De Morgan, que se convirtieron en principios importantes de la lógica y el álgebra.
Fuente de la imagen: Leyes de De Morgan
1847
En su obra de 1847, De Morgan también intentó ampliar la noción tradicional de silogismo mediante un tratamiento más general de las formas inferenciales.
1854
En 1854, George Boole publicó Las leyes del pensamiento, su obra más importante, en la que desarrolló una interpretación algebraica de las operaciones lógicas.
Fuente de la imagen: Leyes del pensamiento
1881
En 1881, John Venn publicó su libro Lógica simbólica, una contribución importante a la exposición y representación visual del razonamiento lógico.
Fuente de la imagen: John Venn
1881
La Lógica simbólica de John Venn introdujo los famosos diagramas de Venn, destinados a representar visualmente relaciones entre conjuntos y proposiciones.
Fuente de la imagen: Diagrama de Venn
1879
La Conceptografía de Frege ofreció por primera vez un sistema completo de lógica de predicados, proporcionando herramientas para representar cuantificación y relaciones.
1879
En su trabajo de 1879, Frege extendió la lógica formal más allá de la lógica proposicional mediante constructores como “todo” y “algunos”.
Fuente de la imagen: Gottlob Frege
1879
En 1879, Gottlob Frege publicó la Conceptografía, conocida en alemán como Begriffsschrift, una obra decisiva para la lógica formal moderna.
1885
En un artículo magistral de 1885, Charles Peirce introdujo el término “lógica de segundo orden”, ampliando el alcance conceptual de la lógica de predicados.
1885
El trabajo de Peirce de 1885 proporcionó gran parte de la notación lógica moderna, incluidos símbolos prefijados para la cuantificación universal y existencial.
Fuente de la imagen: Charles Sanders Peirce
1885
El artículo de Peirce fue leído por Giuseppe Peano, Ernst Schröder y otros autores, conectando sus innovaciones con el desarrollo posterior de la lógica matemática.
1889
En 1889, Giuseppe Peano publicó la primera versión de una axiomatización lógica de la aritmética, estableciendo una base formal para sus propiedades fundamentales.
Fuente de la imagen: Giuseppe Peano
1893 - 1903
Entre 1893 y 1903, Frege publicó en dos volúmenes Las leyes de la aritmética, donde intentó deducir toda la matemática a partir de la lógica.
1893 - 1903
El intento de Frege de fundamentar toda la matemática en la lógica, expuesto en Las leyes de la aritmética, se conoce como proyecto logicista.
1910
En 1910, Bertrand Russell y Alfred North Whitehead publicaron Principia mathematica, una obra monumental que derivó gran parte de la matemática a partir de la lógica.
Fuente de la imagen: Principia Mathematica
1910
Principia mathematica logró fundamentar gran parte de la matemática evitando las paradojas que habían afectado al proyecto de Frege.
1936 - 1938
Entre 1936 y 1938, Alonzo Church realizó trabajos incluidos en la historia moderna de la lógica formal y sus fundamentos matemáticos.
1901
Los documentos relevantes sobre los descubrimientos lógicos de Leibniz no fueron publicados hasta 1901, lo que retrasó su incorporación plena a la historia de la lógica.
Fuente de la imagen: Gottfried Leibniz
1962
En 1962, William y Martha Kneale publicaron una historia de la lógica que se convirtió en una referencia para el estudio del desarrollo de la disciplina.
1980 - 1989
La comprensión actual del alcance de los descubrimientos de Leibniz no comenzó a desarrollarse de manera significativa hasta la década de 1980.
2000
En 2000, Ivor Grattan-Guinness publicó The Search for Mathematical Roots 1870–1940, una obra historiográfica sobre las raíces matemáticas de la lógica moderna.
Fuente de la imagen: Ivor Grattan-Guinness
2004
En 2004, Dov Gabbay y John Woods editaron una obra dedicada a la historia de la lógica y a la investigación especializada sobre sus distintas tradiciones.
2004
La referencia titulada “British logic in the Nineteenth century” presenta la lógica británica del siglo XIX como un capítulo específico de la historia general de la disciplina.
Fuente de la imagen: Historia de la lógica
2008 - 2011
Entre 2008 y 2011, Apostolos Doxiadis y Christos Papadimitriou escribieron Logicomix, con dibujos de Alecos Papadatos y Annie Di Donna, una obra de divulgación sobre la historia de la lógica y sus protagonistas.
O explora el directorio completo de líneas de tiempo históricas, con más de 2.500 temas.
Esta línea de tiempo de Historia de la Lógica se generó con ayuda de IA, a partir de información encontrada en internet.
Trabajamos para mantener estas líneas de tiempo precisas, pero algunos errores se nos escapan. Si encuentras uno, escríbenos a [email protected] y lo corregiremos para los próximos visitantes.
Export your timeline, add your own events, edit or remove AI-generated events, and much more
No credit card required.
Cancel anytime.
Cancel anytime.
You can create an unlimited number of timelines with up to 10 events on each one, customize how they look, export them to PDF, PNG, PowerPoint, CSV, and Excel, and share them with a link. Paid plans raise the event limit and add features like spreadsheet imports and collaborators.
Yes. You can cancel your subscription from your account page at any time, and you will not be charged again. Your subscription stays active for the rest of the period you already paid for.
Yes. We will email you a reminder before the annual renewal, and we will also email you a receipt.
Yes. You can email us within 15 days of any payment, and we will issue you a full refund.
Check out our pricing docs or send us an email anytime: [email protected].