Está en la página 1de 14

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 • padre y fundador de la lógica
moderna matemática moderna.
• Construye una teoría de las • estableció la diferencia entre
clases y sus elementos constante y variable
• Planteó la relación entre • logra independizar el cálculo
lógica de clases y lógica lógico del cálculo matemático
proposicional • intentó deducir los principios de
• La primera formulación la aritmética de los principios de
propiamente algebraica de la la lógica
lógica
AUGUSTUS DE
MORGAN. 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)
• Creador del teorema de
Godel
• En cualquier sistema
• Fundamentó lógicamente
simbólico formal es
las matemáticas
posible construir una
• realiza un tratamiento
proposición que no se
detallado del cálculo de
puede probar ni refutar
clases y el cálculo de
en el mismo sistema
relaciones
GIUSEPPE PEANO 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.