LINEA DE

TIEMPO
HISTORIA DE LA LOGICA
MATEMATICA
 EPOCA
ANTIGUA Protágoras:
-Fue el primero en
Parménides de usar las oraciones
Elea: en el plano
-Principio de
Sintáctico y
identidad.
Semántico”.

515 ac. 460ac. 411ac.

Demócrito: Sócrates:
Zenón de Elea:
-Principio de Razón -Creador del Método
-Método Dialéctico de
Suficiente. de la Mayéutica.
Reducción al absurdo.
-Investigó en la
-Obras: “Comentarios
Discusión Racional.
de los Escritos de
Empédocles”,”De la
Naturaleza”.
 EPOCA
ANTIGUA
Megáricos:
Platón:
-Representantes: Filón de
-Principio de No
Megara y Diodoro Cronos.
Contradicción.
-Aportes a la Lógica Modal.
-Obra: “El Sofista”.

384ac. 301 ac.

Estoicos:
Aristóteles:
-Salen de la Escuela Megárica
Obra: “El Organon”
debido al movimiento Separatista
-Creador de la Teoría del Silogismo.
de Zenón el estoico.
-Principio del Tercio Excluido.
-Representante: Crisipo de Soli.
-Introdujo el uso de variables.
-Estudiaron por primera vez la
-Desarrollo la Lógica de Predicados.
Lógica de Proposiciones.
-Realizaron la interpretación del
Condicional.
 EPOCA Guillermo de Shyreswood:
MEDIEVAL -1230, termina el manual de la
lógica escolástica más antiguo,
donde formuló el esquema
Boecio:
“Árbol de Porfirio”
-Desarrollo el Cuadro
-Enunció los versos
de Boecio.
nemotécnicos.

Siglo IV d.C
Pedro Abelardo: Pedro Hispano:
-Considera que la verdad -Redactó la obra de lógica
y falsedad son medieval más aceptada
intercambiadas en una “Summulae Logicales”.
misma proposición.
 Raimundo Lulio:
-1315 se publicó su libro “Ars
Magna” donde elaboró un
lenguaje completo para el
razonamiento.
-Planteó que la razón puede y
debe demostrar todo.
Raimundo, Pedro H., y Guillermo
de Ockham:
-Establecieron reglas de
inferencias.
EPOCA
MODERNA
Siglo XVI
Francis Bacon:
-En su obra “Novum Organum”
hace la primera formulación del
método científico, establece de
manera explícita y sistemática
la inducción experimental.
-Padre de la Lógica Inductiva.
 EPOCA
MODERNA Leonhard Euler:
-Introdujo los diagramas de
-Introdujo el símbolo de integral y Euler para ilustrar
de diferencial de una variable. geométricamente
-Desarrollo el Cálculo de la Lógica los silogismos.
Proposicional.

1700 1748

Leibniz Gotifried:
Obra : Introducción al Análisis de
Fundó la Academia de
los Infinitos.
Ciencias de Berlín.
-Realizó el primer tratamiento
-Ley de la Tautología. analítico completo del álgebra.
-Ley de la Razón Suficiente.
 EPOCA
George Boole:
COMTEMPORANEA Obra :Investigación de
las leyes de
pensamiento
Obras: Análisis - Construye una teoría de clases. Venn desarrollo los
matemático de la - Relaciona lógica de clases y principios de la
lógica la lógica proposicional.
George Boole - Elaboró el álgebra booleana. Lógica Empírica.

Fin de 1847 1854 1881 1889

siglo XVII
Augustus de Morgan: John Venn
-En 1847 publica su obra “la lógica Obra: Lógica Simbolica
formal o el cálculo de inferencias Aclaró los procesos
necesarias y probables” algebraicos de Boole en
-Desarrollo la “ Ley de Morgan”
diagramas de Venn.
-Planteó que la base común de la
lógica y la matemática es la
inclusión o exclusión total o
imparcial de clases.
 - Diferenció “constante” y
Gottlob Frege: “variable”.
- Independizó el cálculo lógico
del cálculo matemático. Bertrand Russell:
-Obra: Principia Mathematica,
escrita con la ayuda de Alfred
Obra: Leyes
Whitehead.
Básicas de la
Aritmética

1884 1893 1910-1913

Obra:Leyes Fundamentales de la
Aritmética
Propone que la Aritmética es
derivable de la lógica en su obra