-
650 BCE
Lógica antigua
-
550 BCE
Parménides
Parménides de Elea fue un filósofo griego. Nació entre el 530 a. C. y el 515 a. C. en la ciudad de Elea, colonia griega de Magna Grecia. Parménides escribió una sola obra: un poema filosófico en verso épico del cual nos han llegado únicamente algunos fragmentos conservados en citas de otros autores. -
500 BCE
Epiménides
Mediante la paradoja del mentiroso muestra que existen afirmaciones que no son ni verdaderas ni falsas, en contra del supuesto fundamental de la lógica megárico-estoica. -
400 BCE
Euclides de megara
Euclides de Mégara fue un filósofo socrático Griego que vivió alrededor de 400 a. C. y fundó la escuela megárica. Los traductores medievales a menudo le confundieron con el matemático Euclides de Alejandría. Euclides nació en Mégara, pero -
322 BCE
Aristóteles
Crea seis obras lógicas, posteriormente compiladas por miembros del Liceo en el siglo I a.C bajo el título Órganon, destacan su doctrina de los individuos y los términos.
Desarrolla dos teorías en base a cuatro juicios (particulares,universales, afirmativos y negativos): teoría de la inferencia inmediata y teoría de la conversión.
Utiliza el modo axiomático para validar 19 silogismos auténticos. -
300 BCE
Filón de megara
Según Megara, para que un condicional sea verdadero basta con que no se dé el caso de que el antecedente sea verdadero y el consecuente sea falso. -
50 BCE
Ciceron
Marco Tulio Cicerón fue un jurista, político, filósofo, escritor y orador romano. Es considerado uno de los más grandes retóricos y estilistas de la prosa en latín de la República romana. -
304
Porfirio
escribe una Isagoge (“Introducción”) a la lógica de Aristóteles en el III d.C. con intención de aclarar y desarrollar algunos puntos oscuros de las Categorías. -
400
Lógica medieval
-
430
San Agustín
Dice al comienzo de su
inacabada De dialectica que la dialéctica es la ciencia de bien argumentar: dialectica est
bene disputandi scientia.
En esta afirmación parece asumir que la lógica era una parte de la dialéctica -
500
Alta edad media
-
525
Boecio
Tradujo Categorías, Sobre la interpretación e Isagoge de Porfirio a finales del siglo V y principios del VI, siendo estas las principales obras de lógica que conocieron en la Edad Media hasta que a mediados del siglo XII. -
1249
Guillermo de Shyreswood
su summulae contiene una exposición completa de la silogística -
1277
Pedro Hispano
Las Summulae de Pedro Hispano destacan como manual de lógica en el cual se recoge el
conocimiento considerado estándar sobre esta materia en la Baja Edad Media. -
1300
Baja edad media
-
1349
guillermo de ockham
-
1358
Jean Buridan
-
1390
Alberto de Sajonia
-
1500
Logica renacentista y moderna
-
La Lógica o el Arte de Pensar de los jansenistas Antoine Arnauld y Pierre Nicole
asistir al hombre para que éste pueda distinguir lo verdadero de lo falso. Doctrina del concepto. Doctrina del juicio. Doctrina del razonamiento.Doctrina del método. -
Logica simbolica o matematica
-
George Boole
Utilizo ecuaciones algebraicas para representar afirmaciones lógicas. Formalizó la lógica proposicional a través de proposiciones simples que él nombró “categóricas”. La proposición categórica es “una sentencia que afirma o niega”, la compleja que él llamó “hipotética” es la que “se define como dos o más categóricas unidas por una cópula”. Para representarlas y deducirlas creó dos cuadros con las principales claves. -
Ernest Schröder
Recopiló todos los avances de la segunda mitad del siglo XIX en Lecciones sobre el álgebra de la lógica dividido en tres volúmenes. -
PUBLICACIÓN DE PRINCIPIA MATHEMATICA
Escrita por Bertrand Russell y Alfred N. Whitehead, su sistema lógico era muy complejo -
CHARLES SANDERS PEIRCE
Lógico más importante a comienzos del siglo XIX. Reconoció una limitación de la lógica de Aristóteles. Hizo que los lógicos además de ver al individuo y la clase de individuo al que pertenece, notaran las relaciones que puede haber en individuos. Abordó la lógica con herramientas matemáticas. -
GOTTLOB FREGE
En 1879 publica una obra llamada Conceptografía. Un lenguaje de fórmulas, semejante al de la aritmética, para el pensamiento puro. Cuantifico las variables, además consiguió unificar la lógica de enunciados, predicados y relaciones, mediante una sintaxis que toma en cuenta la estructura interna de las oraciones y las conexiones entre ellas. Formalizó los cuatro juicios de Aristóteles. Definió un cálculo para la lógica de predicados. -
PUBLICACIÓN DE ELEMENTOS DE LA LÓGICA TEÓRICA
Escrito por David Hilbert y Wilhem Ackermann. Fue el primer manual de lógica simbólica que puede considerarse contemporáneo. Distingue entre lógica de primer orden y lógica de segundo orden. -
Józef Maria Bocheński
dividió la lógica en 5 grandes periodos