You are on page 1of 25

LINEA DE TIEMPO: HISTORIA DE LA LÓGICA

Edad
contemporánea
Edad Edad
Edad Media moderna
antigua
ORIGEN DE LA LÓGICA

CHINA INDIA GRIEGA

SUPRIMIDA POR LA DURO UN POCO MAS LA QUE SE


DINASTÍA QIN EJEM. “nyaya “ DESARROLLO
FUE SPRIMIDA
POR ESCU. ASHARITE
EDAD ANTIGUA
ES IMPOSIBLE QUE UNA TODA PROPOSICION ES TODA PROPOSICION SE NO HAY EFECTO SIN
PROPOSICION SEA VERDADERA O FALSA .LA IMPLICA A SI MISMA CAUSA
VERDADERA Y FALSA AL TERCERA OPCION ESTÁ
MSMO TIMEPO EXCLUIDA
-(A^-A ) A A FILOSÓFICO
(A v –A) A<-> A
NO CONTRADICCION TERCIO EXCLUIDO IDENTIDAD RAZON SUFICIENTE

FORMALIZANDO LOS PRINCIPIOS


BASICOS
YO SOY EL PADRE DE LA LÓGICA FORMAL

YO SOY Creador de la teoría del silogismo

SOY Descubrió el principio del tercio excluido

YO ESCRIBI “el organon”.


PAPI
QUIEN IVA A PENSAR
QUE EN MI ESTA LOGICA
“formal

ORGANON

ARISTOTELES
FILON DE MEGARA DIODORO DE CRONOS

AVANCES EN LA LÓGICA MODAL


plantean el significado de las proposiciones
si...entonces....
• YO DESARROLLE LA LOGICA DE
ARISTOTELES.

• YO DESARROLLE UN MÉTODO PARA


RESOLVER INFERENCIAS INMEDIATAS
(CUADRO DE OPOSICION).

BOECIO
• YO CREE LA (división dicotómica)
conocido como árbol de Porfirio.

• Yo ANUNCIE los primero versos


mnemotécnicos DE LA 1ER FIGURA
ARISTOTÉLICA

GUILLERMO
SHYRESWOOD
• YO CREE una máquina que demostraba
lógicamente la existencia y los
atributos de Dios.
• ars Magna es mi obra mas
MAGESTUOSA .

RAIMUNDO LULIO
EDAD
MODERNA
• YO CREE “novum organum”

• YO HICE primera formulación moderna


del método científico.

PAPI DE LA
LÓGICA
INDUCTIVA

FRANCIS BACON
Precursor de lógica
moderna (lógica
matemática).

• YO Introdujo el cálculo lógico en mi


mathesis universales, que fuese
operacionalmente mecánico,
inequívoco y no cuantitativo .

• Fórmula la ley de la razón suficiente.

• Planteó la necesidad de crear un


lenguaje universal.

GOTTFRIED LEIBNIZ
• INTRODUJO LOS DIAGRAMAS QUE LLEVAN
SU NOMBRE PARA ILUSTRAR
GEOMÉTRICAMENTE LOS SILOGISMOS.

LEONARDO EULER
EDAD
CONTEMPORÁNEA
• ELABORÓ EL ÁLGEBRA DE BOOLE.

• PLANTEÓ LA RELACIÓN ENTRE LÓGICA DE


CLASES Y LÓGICA PROPOSICIONAL.

GEORGE BOOLE
• Mi es obra conceptografía.

• Estableció las bases de la lógica


matemática.
PADRE Y
FUNDADOR DE LA
LÓGICA
MATEMÁTICA
MODERNA

GOTTLOB FREGE
• Yo fundamente lógicamente las
matemáticas.

• Mi Obra “principia matemática “,


(subordina a las matemáticas ).

• realiza un tratamiento detallado del


cálculo proposicional.

BERTRAND RUSSELL
• YO SENTE las bases de la teoría
del diseño del ordenador digital
y el circuito digital.

ES APORTE MAS IMPORTANTES PARA


CONSTRUIR LAS MODERNAS
padre de la COMPUTADORAS.
teoría de la
información,

Claude Elwood
Shannon
• reivindicación de la exactitud en el
planteamiento de los problemas
filosóficos.

aplique los logros de la lógica y de las


matemáticas,

FRANCISCO MIRO
QUESADA