Historia de la Lógica

LÍNEA DE TIEMPO
LAS MATEMÁTICAS Y LA LÓGICA (600-300 AC)

 El nacimiento de la lógica propiamente dicho, está

directamente relacionado con el nacimiento
intelectual del ser humano. En Grecia se
desarrollaron los principios formales de las
matemáticas. Este periodo clásico lo protagonizan
Platón, Aristóteles y Euclides.
PLATÓN (427 AC)

Plante la existencia de dos mundos: el mundo

de las ideas y el mundo físico de los objetos.
Habla del dialogo como la forma de
transmisión del pensamiento.
ARISTÓTELES (384 AC)

Representa el primer intento serio que

fundamenta la lógica como ciencia. Resuelve el
razonamiento deductivo y sistematizado.
EUCLIDES (300 AC)

Organiza las pruebas deductivas de que

dispone dentro de una estructura sistemática,
rigurosa y eficaz.
CIENCIA MATEMÁTICA (1500-1800 DC)

 El Renacimiento es el inicio de una nueva

revolución que revive la ciencia y las
matemáticas. Los representantes más
destacados son Descartes, Newton y Leibniz.
RENÉ DESCARTES (1596)

Creador de la Geometría Analítica y

aporte a los métodos algebraicos
ISAAC NEWTON (1642)

Descubrió la Gravitación Universal

GOTTFRIED LEIBNIZ (1646)

Nuevo método para la determinación

de los máximos y los mínimos
NIKOLAI LOBACHEVSKI (1762)

Funda la Geometría No Euclidiana y

renueva por ello los fundamentos que
hasta ese momento cimentaban la
ciencia de la Geometría.
GEORG WILHELM FRIEDRICH HEGEL (1770)

Constitución de la lógica dialéctica

entendida como principio motor del
concepto que disuelve y produce las
particularidades de lo universal.
FORMALIZACIÓN DE LAS
MATEMÁTICAS (1806)

En este periodo se crea la lógica

simbólica, la escuela formal, la lógica
booleana, el cálculo proposicional, la
inducción matemática, el cálculo de
secuentes. Personajes muy notables
de esta etapa son: Peano, Hilbert,
Frege, Boole, de Morgan, Gentzen,
Russell, Gödel y Whitehead. A Rusell y
Gödel se deben los planteamientos
de las limitantes de la lógica y de la
ciencia en general.
LA REVOLUCIÓN DIGITAL (1901)

Inicia con la invención de la

computadora digital y el acceso
universal a las redes de alta
velocidad. Turing relaciona lógica y
computación. Weiner funda la
ciencia de la Cibernética. Estos son
lógicos que han permitido avances
importantes como Hoare que
presenta un sistema axiomático de
los sistemas de programación y
Dijkstra con un sistema de
verificación y deducción de
programas a partir de
especificaciones.
LA REVOLUCIÓN LÓGICA (1950)

Incorpora la fusión entre matemáticas y

computación. Las computadoras
tienden a explorar datos
inteligentemente transfiriendo
información de las bases de datos a las
bases de conocimiento
interconectadas a través de la Red a
escala infinitesimal