LINEA DE TIEMPO DE LA EDAD CONTEMPORANEA

LÓGICA
1724-1804 IMMANUEL KANT

La lógica trascendental. en el sentido de

investigar los conceptos puros a prioridad del

entendimiento.

GOTTLOB FREGE 1824-1925

Se le considera el padre de la lógica

matemática y de la filosofía analítica,

concentrándose en la filosofía del lenguaje y de

GIUSEPPE PEANO las matemáticas.

En su trabajo de 1879, la Concepto grafía,

1847-1889 Frege ofrece por primera

completo de lógica de predicados. También

vez un sistema

Publicó un breve tratado titulado El análisis

desarrolla la idea de un lenguaje formal y
matemático de la lógica, y en 1854 otro más
define la noción de prueba.
importante titulado Las leyes del pensamiento.
En 1893 y 1903, Frege publica en dos volúmenes
Publicó la primera versión de la axiomatización
Las leyes de la aritmética, donde intenta
lógica de la aritmética. Cinco de los nueve
deducir toda la matemática a partir de la
axiomas.
lógica, en lo que se conoce como el proyecto

logicista.

GEORGE BOOLE 1847

Publicó un breve tratado titulado El análisis

matemático de la lógica, y en 1854 otro más

importante titulado Las leyes del pensamiento.

1839-1914 CHARLES SANDERS PEIRCE

Fundador del pragmatismo y el padre de la

semiótica moderna o teoría de los signos.

Introdujo el término "Lógica de segundo orden"

AUGUSTUS DE MORGAN 1847

Obra Lógica formal, donde introduce las leyes

de De Morgan.

1881 JOHN VENN

Publicó su libro Lógica Simbólica, donde

introdujo los famosos diagramas de Venn.

BERTRAND RUSSELL 1910

Principia mathematica, un trabajo monumental

en el que logran gran parte de la matemática

a partir de la lógica.