Timeline: Historia de la lógica

427 BCE

Platón

Platón sostiene la idea de dos mundos-el mundo de las ideas y el mundo físico de los objetos. según Platón, lo concreto se percibe en función de lo abstracto y por tanto el mundo sensible existe gracias al mundo de las ideas. platón escoge el formato diálogo como forma de trasmisión del pensamiento.

380 BCE

Aristóteles

Los tratados de la lógica de Aristóteles, representan el primer intento serio que funda la lógica como ciencia. Aristóteles no hace de la lógica una disciplina metafísica sino que establece correspondencias reciprocas entre pensamiento lógico y estructura ontológica,"ciencia que estudia los razonamientos correctos".

300 BCE

Euclides

Organiza las pruebas deductivas de que dispone dentro de una estructura sistemática, rigurosa y eficaz.
su valor universal lo propaga el uso riguroso del método deductivo que distingue entre principios, definición, axiomas, postulados y teoremas.

1596

René Descartes

Descartes duda de toda enseñanza recibida, de todo conocimiento adquirido, del testimonio de los sentidos e incluso de las verdades de orden racional, llegado a este punto, halla una verdad de la que no puede dudar: la evidencia interior que se manifiesta en su propio sujeto("pienso, luego existo").
Es creador de la geometría analítica y aporte a los métodos algebraico.

1642

Isaac Newton

Se le debe el descubrimiento de la gravitación universal, el desarrollo del cálculo infinitesimal e importantes descubrimientos sobre óptica, así como las leyes que rigen la mecánica cuántica.

1646

Gottfried Leibniz

En discurso sobre el arte combinatorio enuncia la necesidad de un lenguaje riguroso, exacto y universal puramente formal. su principal trabajo publicado en 1684 es la memoria nuevo método para la determinación de los máximos y los mínimos, en la que expone las ideas fundamentales del cálculo infinitesimal, anticipándose unos años a Newton.

1770

Georg Wilhelm

Constitución de la lógica dialéctica entendida como principio motor del concepto que disuelve y produce las particularidades de lo universal.

1845

Georg Cantor

Se debe la idea del infinito continuo es decir, la posibilidad de considerar conjuntos infinitos dados simultáneamente. se le considera el creador de la teoría de los números irracionales y de los conjuntos.

1848

Friedrich Frege

Partiendo del análisis de los fundamentos de la matemática lleva a cabo la as profunda renovación y desarrollo de la lógica clásica hasta el momento . es el primero en introducir los cuantificadores u operadores y en elaborar una teoría de la cuantificación.

1881

Luitzen Egbertus

Fundador de la escuela de la lógica intuicionista contrarrestando definitivamente el formalismo de Hilbert,

1902

Alfred Tarski

realiza importantes estudios sobre álgebra en general, teoría de mediciones, lógica matemática, teoría de conjuntos, y metamatemáticas. El trabajo de Tarsk incluye respuestas a la paradoja de Banach, el teorema de la indefinibilidad de la verdad, las nociones de cardinal, relación y es inductor y es inductor de las álgebras cilíndricas.

2000