I. Inicios: La Erística, La Sofística,
Platón.
II. Lógica Aristotélica: Organon, Categorías,
Tópicos, Analíticos: Silogística.
III. Lógica Estoica: Megáricos, Modalidades,
Condicionales, Esquemas.
IV. Lógica Romana: Cicerón, Boecio.
V. Lógica Medieval: Alcuino, Abelardo, Ockham.
VI. Lógica Moderna: Hobbes, Leibniz.
VII. Lógica del Siglo XIX: Bolzano, Hamilton,
Boole, Jevons, De Morgan, Mill.
VIII. Frege: Begriffschrift, Grundlagen, Grundgesetzse,
"Sinn und Bedeutung".
IX. Lógica clásica del siglo XX:
A. Russell: Descripciones, Fundamentación de la matemática,No-clases,Tipos.
B. Gödel: Completud del cálculo de predicados
1930 e Incompletud 1931.
C. Tarski: Verdad.
D. Church: Indecidibilidad y Tesis de Church.
E. Gentzen: Cálculo de secuentes.
Bibliografía básica:
Bochenski, Innocentius Maria. Historia de la Lógica
Formal. Gredos, Madrid, 1966.
Kneale, William Calvert; Kneale, Martha. El Desarrollo de
la Lógica. Tecnos, Madrid, 1972.
Dumitriu, Anton. History of Logic. Volumes I, II.
Abacus Press, Tunbridge Wells, Kent, 1977. Traducción revisada,
actualiazada y aumentada de la segunda edición de Istoria Logicii,
Editura Didactic , Bucarest, 1975. Traducido por Duiliu Zamfirescu,
Dinu Giurc neanu y Doina Doneaud.
Prior, Arthur N. Historia de la Lógica. Tecnos,
Madrid, 1976.
Robles, José Antonio. "Historia de la Lógica".
Enciclopedia Iberoamericana de Filosofía, vol. 7, Editorial
Trotta, Madrid, 1995, pp. 49-69.
Bibliografía complementaria:
Enriques. Para la Historia de la Lógica. Espasa
Calpe 1948.
Ezcurdia. Lecciones de Teoría de la Lógica.
Porrúa, 1970.