INTRODUCCIÓN A LA HISTORIA DE LA LÓGICA

EPOCA A.C.

EPOCA D.C

FORMALIZACIÓN DE LAS MATEMATICAS

REVOLUCIÓN DIGITAL
Lógica es el conjunto de conocimientos que tiene por objeto la enunciación de las leyes
que rigen los procesos del pensamiento humano.

 Ciencia que de manera estructurada organiza nuestros razonamientos.

 Estudia la forma y el contenido de los pensamientos.

 Tiene objeto, método propio y tiene por objetivo determinar pensamientos verdaderos
y desechar los falsos.
 Dio origen: • Principio de la razón
• Método dialectico suficiente
• Razonamiento • Utilizo por primera vez la
hipotético palabra lógica
• Reducción al absurdo

PARMENIDES SÓCRATES
540 a. C. 490 a. C. 470 a. C. 460 a. C.

• Principio de identidad Sistematizo el método de la

• Señalo que solo por la razón
mayéutica.
conocemos la verdad.

ZENÓN DE ELEA DEMÓCRITO

 • Es el padre de la lógica
formal.
• Principio de tercio excluido
• Tratados de la lógica
(ORGANON)
• Teoría de los silogismos.
• Introdujo el uso de variables.
• Lógica de predicados

PLATÓN EUCLIDES

427 a. C. 384 a. C. 330 a. C.

• Texto matemático:
• Principio de no
ELEMENTOS
contradicción
• Teorizo, esquematizo,
• Método deductivo
dividió y definió la lógica.
• Empleo el método
• Principios de naturaleza
axiomático.
geométrica
• Algoritmo de Euclides.

ARISTÓTELES
 • Dudo de toda
• Planteo la necesidad de
enseñanza recibida.
crear un lenguaje universal.
• Creador de la
• calculo lógico
geometría analítica.
• Estableció la ley de la
tautología.
LEONHARD EULER
FRANCIS BACON ISAAC NEWTON
1561 1596 1642 1646 1783
RENE DESCARTES GOTTFRIED LEIBNIZ
• Padre de la lógica • La gravitación universal. • Realizó el primer
inductiva. • Desarrollo del calculo tratamiento analítico
• Primera formulación infinitesimal. completo de:
moderna del método • Importantes o Algebra.
científico. descubrimientos sobre o Teoría de ecuaciones.
• (Novum Organum) óptica. o Trigonometría.
• Inducción experimental. o Geometría analítica.
• Introdujo diagramas.
 • creador del algebra simbólica
moderna
• Construye una teoría de las
clases y sus elementos
• Planteó la relación entre
lógica de clases y lógica
proposicional
• La primera formulación
propiamente algebraica de la
lógica
AUGUSTUS DE
MORGAN.
• padre y fundador de la lógica
matemática moderna.
• estableció la diferencia entre
constante y variable
• logra independizar el cálculo
lógico del cálculo matemático
• intentó deducir los principios de
la aritmética de los principios de
la lógica
JHON VENN

1806 1815 1834 1848

GOTTLOB FREGE.
• Planteó que la base
GEORGE BOOLE • Trató de encontrar la solución
común de la lógica es la
lógica de operaciones como
inclusión o exclusión total
la sustracción y división.
o imparcial de clases.
• Aclaró los procedimientos de
• enuncia las leyes de
Boole representando los
transitividad y expresa
procesos algebraicos en los
rigurosamente las leyes
diagramas de Venn.
distributivas de la
negación (LEY DE
MORGAN)

• Fundamentó lógicamente
las matemáticas
• realiza un tratamiento
detallado del cálculo de
clases y el cálculo de
relaciones
GIUSEPPE PEANO
• Creador del teorema de
Godel
• En cualquier sistema
simbólico formal es
posible construir una
proposición que no se
puede probar ni refutar
en el mismo sistema
WITTGENSTEIN

1858 1872 1889 1906

BERTRAND RUSSELL
• Fue el primero en dar a la • Ideó la tabla matriz para hallar KURT GÔDEL
lógica el nombre de lógica los valores de verdad.
matemática. • considero que la lógica
• la lógica es el instrumento de proposicional tiene 6
la matemática operadores diádicos y 4
• Creó un sistema descriptivo monádicos
que permitía enunciar • hechos complejos que pueden
cualquier proposición de ser analizados en hechos
lógica o de matemáticas sin menos complejos hasta llegar
recurrir al lenguaje a los hechos simples, o
atómicos.
• Para solucionar todos los problemas que se nos presenta necesitamos del pensamiento
correcto (lógico) como único instrumento para llegar a la verdad.
• La lógica está presente en las investigaciones de todas las ciencias, permite el lenguaje
coherente de sus teorías
• La Lógica es la base de la informática gracias a ella se inventaron las computadoras y
siguen perfeccionándolas.
• La Lógica interviene en nuestra vida de relación para hacernos comprender, de ahí que la
lógica práctica adquiere relieve frente a estos problemas.