La lógica y sus exponentes a través del tiempo. Equipo 4: Chávez

427 BCE

Platón

Sostiene la existencia de dos mundos, el mundo de las ideas y el mundo físico de los objetos
384 BCE

Aristóteles

Considerado como el creador de la lógica la definió como la, "ciencia que estudia los razonamientos correctos"
280 BCE

Crisipo de Soli

Desplazó el centro de interés de la lógica
1300

Pedro Hispano y Juan Buridan

Establecieron que "de 2 premisas contradictorias, se puede deducir cualquier conclusión"
1646

Gottfriend Leibniz

Propuso la primera teoría auténtica de la verdad, mediante leyes prestablecidas
1854

George Boole

Construye la teoría de clases
1879

Gottlob Frege

Introduce un cálculo proposicional que combina la teoría de la demostración con una presentación de las conectivas lógicas
1884

Giussepe Peano

Da a la lógica el nombre de "lógica matemática" creando un lenguaje smbolico
1903

Bertrand Russell

Propone que las matemáticas pueden deducirse a una rama de la lógica

Platón