Lnea del Tiempo:

Lgica

Daz Estrada Romn

Universidad Autnoma del Estado de Morelos
Facultad de Derecho y Ciencias Sociales FDyCs.

(480-410 a.C.)

EDAD ANTIGUA
Protgoras de Abdera (480-410)
con sus discursos dobles (que
probaban, falazmente, una cosa y
su contraria)

480-410
a.C.

384-322
a.C.

320 a.C.

S. IV a.C.

279-206
a.C.

129-199
a.C.

EDAD.
MEDIA

COSA

NOCIN

PREDICACI
N

MODALIDA
D

INFERENCIA

DESARROLL
O

EDAD.
MEDIA

(384-322 A.C.)
EDAD ANTIGUA
Aristteles cre la lgica tal como
la concebimos hoy, Organon, el
instrumento ya entenda a la
lgica como una ciencia
instrumental o metodolgica
(lgica analtica y tpica).

480-410
a.C.

384-322
a.C.

320 a.C.

S. IV a.C.

279-206
a.C.

129-199
a.C.

EDAD.
MEDIA

COSA

NOCIN

PREDICACI
N

MODALIDA
D

INFERENCIA

DESARROLL
O

EDAD.
MEDIA

(320 A.C.)
EDAD ANTIGUA
Estilpn de Mgara que estableci
la paradoja de predicacin. Se
atribuyo al correr del caballo (la
predicacin es identidad)

480-410
a.C.

384-322
a.C.

320 a.C.

S. IV a.C.

279-206
a.C.

129-199
a.C.

EDAD.
MEDIA

COSA

NOCIN

PREDICACI
N

MODALIDA
D

INFERENCIA

DESARROLL
O

EDAD.
MEDIA

(s. IV a.C.)
EDAD ANTIGUA
Didoro de Cronos trato las
modalidades lgicas (necesario,
posible e imposible) en relacin
con la verdad y el tiempo.

480-410
a.C.

384-322
a.C.

320 a.C.

S. IV a.C.

279-206
a.C.

129-199
a.C.

EDAD.
MEDIA

COSA

NOCIN

PREDICACI
N

MODALIDA
D

INFERENCIA

DESARROLL
O

EDAD.
MEDIA

(279-206 A.C.)
EDAD ANTIGUA
Crisipo de Soli fue uno de los
mejores lgicos griegos.
Estableci los cinco principios
indemostrables de la inferencia
hipottica.

480-410
a.C.

384-322
a.C.

320 a.C.

S. IV a.C.

279-206
a.C.

129-199
a.C.

EDAD.
MEDIA

COSA

NOCIN

PREDICACI
N

MODALIDA
D

INFERENCIA

DESARROLL
O

EDAD.
MEDIA

(129-199 a.C.)
EDAD ANTIGUA
Galeno contribuy al desarrollo de
la lgica, famoso por la
Introduccin a la dialctica

480-410
a.C.

384-322
a.C.

320 a.C.

S. IV a.C.

279-206
a.C.

129-199
a.C.

EDAD.
MEDIA

COSA

NOCIN

PREDICACI
N

MODALIDA
D

INFERENCIA

DESARROLL
O

EDAD.
MEDIA

(735-804)
EDAD MEDIA
Carlomagno de Alcuino escribi
uno de los primeros manuales de
lgica en la poca medieval:
Dialctica.

735-804

1079- 1142

1132

1120-1180

1230

12561349

MANUAL

COPULA

CONJUNTO

EXPONENCIA

SEMANTICA

OCKHAM

EDAD.
CONTEMPORAN
EA
EDAD.
CONTEMPORAN
EA

(1079- 1142)
EDAD MEDIA
Pedro Abelardo en obras, Si y no,
Lgica para los que ingresan,
Lgica a peticin de nuestros
compaeros, analiz la copula de
las proposiciones, distingue la
negacin de un trmino de la
preposicin entera.

735-804

1079- 1142

1132

1120-1180

1230

12561349

MANUAL

COPULA

CONJUNTO

EXPONENCIA

SEMANTICA

OCKHAM

EDAD.
CONTEMPORAN
EA
EDAD.
CONTEMPORAN
EA

(1120-1180)
EDAD MEDIA
Jean Salisburgy en su Metalogicon,
expone por primera vez el
Organon aristotlico completo;
adems habla de una maquina
lgica inventada por Guillermo de
Soissons.

735-804

1079- 1142

1120-1180

1206-1280

1230

12561349

MANUAL

COPULA

EXPONENCI
A

SILOGISMO

SEMANTICA

OCKHAM

EDAD.
CONTEMPORAN
EA
EDAD.
CONTEMPORAN
EA

(1206-1280)
EDAD MEDIA
Alberto Magno o el Grande
establece el procedimiento de
convertir las preposiciones
mediante un entimema o
silogismo abreviado.

735-804

1079- 1142

1120-1180

1206-1280

1230

12561349

MANUAL

COPULA

EXPONENCI
A

SILOGISMO

SEMANTICA

OCKHAM

EDAD.
CONTEMPORAN
EA
EDAD.
CONTEMPORAN
EA

(1230)
EDAD MEDIA
Guillermo de Sherwood o
Shyreswood en sus Introducciones
a la lgica, recopila las
aportaciones medievales a la
semntica llamadas propiedades
de los trminos (significacin,
suposicin, ampliacin,
disminucin, apelacin).

735-804

1079- 1142

1132

1120-1180

1230

12561349

MANUAL

COPULA

CONJUNTO

EXPONENCIA

SEMANTICA

OCKHAM

EDAD.
CONTEMPORAN
EA
EDAD.
CONTEMPORAN
EA

(1256-1349)
EDAD MEDIA
Guillermo de Ockham (12561349), en su Suma de toda lgica,
formula las famosas leyes
atribuidas a De Morgan.

735-804

1079- 1142

1132

1120-1180

1230

12561349

EDAD
MODERNA

MANUAL

COPULA

CONJUNTO

EXPONENCIA

SEMANTICA

OCKHAM

EDAD
MODERNA

(1492-1540)
EDAD MODERNA
Juan Luis Vives es su obra De la
censura de lo verdadero,
representa las funciones lgicas
por medio de ngulos y tringulos.

1492-1540

1546-1642

1588-1679

1859-1938

1902-1983

1912-1954

1940

FUNCIONE
S

AXIOMAS

SIGNOS

FENOMENOL
OGICA

METALOGICA

ELECTRONI
CA

LOGICA
MODAL

(1546-1642)
EDAD MODERNA
Galileo Galilei distingue entre
axiomas y postulados, y desarrolla
el metodo experimental, con el
tratamiento matemtico de las
hiptesis.

1492-1540

1546-1642

1588-1679

1859-1938

1902-1983

1912-1954

1940

FUNCIONES

AXIOMAS

SIGNOS

FENOMENOL
OGICA

METALOGICA

ELECTRONI
CA

LOGICA
MODAL

(1588-1679)
EDAD MODERNA
Thomas Hobbes en su
Computacin Lgica, ve el
razonamiento como un clculo de
signos, avanzado en la bsqueda
de un clculo lgico.

1492-1540

1546-1642

1588-1679

1859-1938

1902-1983

1912-1954

1940

FUNCIONES

AXIOMAS

SIGNOS

FENOMENOL
OGICA

METALOGICA

ELECTRONI
CA

LOGICA
MODAL

(1859-1938)
s. XIX
Edmund Husserl en sus
Investigaciones lgicas, ataca el
psicologismo en la lgica y
establece la lgica
fenomenolgica.

1492-1540

1546-1642

1588-1679

1859-1938

1902-1983

1912-1954

1940

FUNCIONES

AXIOMAS

SIGNOS

FENOMENOL
OGICA

METALOGICA

ELECTRONI
CA

LOGICA
MODAL

(1902-1983)
S. XX
Alfred Trisky en Lgica,
semntica, matemtica, aporta
la fundamentacin de la
metalgica y la
metamatemtica.

1492-1540

1546-1642

1588-1679

1859-1938

1902-1983

1912-1954

1940

FUNCIONES

AXIOMAS

SIGNOS

FENOMENOL
OGICA

METALOGIC
A

ELECTRONI
CA

LOGICA
MODAL

(1912-1954)
s. XX
A.M. Turing en Sobre nmeros
computables, con una aplicacin
al problema de la distincin,
relaciona la lgica y la
computabilidad electrnica.

1492-1540

1546-1642

1588-1679

1859-1938

1902-1983

1912-1954

1940

FUNCIONES

AXIOMAS

SIGNOS

FENOMENOL
OGICA

METALOGICA

ELECTRON
ICA

LOGICA
MODAL

(1940)
s. XX
Sal Kripke en El nombrar y la
necesidad, estudia los nombres
como designadores rgidos en la
semntica de mundos posibles
para la lgica modal.

1492-1540

1546-1642

1588-1679

1859-1938

1902-1983

1912-1954

1940

FUNCIONES

AXIOMAS

SIGNOS

FENOMENOL
OGICA

METALOGICA

ELECTRONI
CA

LOGICA
MODAL

REFERENCIAS

Mauricio Beuchot, Introduccin a la

Lgica, UNAM, Mxico, 2004.