-
490 BCE
ZENÓN DE ELEA
Desarrolla la dialéctica como base de la lógica. -
480 BCE
PROTAGORAS DE ABDERA
Impulsa el arte de la argumentación. -
470 BCE
SOCRATES
Descubre los principios fundamentales de la lógica al emplear la dialéctica y proporcionar una teoría del concepto y la inducción. -
460 BCE
DEMOCRITO DE ABDERA
Emplea por vez primera la palabra lógica.
Estudia el principio de razón suficiente. -
428 BCE
PLATON
Formula el principio de no contradicción.
Desarrolla una teoría de la ciencia y de las ideas. -
372 BCE
TEOFRASTO DE LESBOS
Expone el silogismo hipotético. -
348 BCE
ARISTOTELES
Sienta las bases de la lógica y la sistematiza en sus seis tratados de la lógica recogidos bajo el nombre de "Organón"
Propone símbolos para denotar variables. -
300 BCE
FILÓN DE MEGARA
Analiza la conjunción, disyunción, implicación y las equivalencias. -
106 BCE
M. T. CICERÓN
Acuña términos latinos para los términos griegos de la lógica. -
125
APULEYO
Estableció el cuadro de oposición de proposiciones
Escribió sobre el Dios de Sócrates. -
145
SEXTO EMPÍRICO
Considera que la verdad es relativa. -
232
PORFIRIO
Compendia la lógica de Aristóteles en su Isagoge.
Estudio los universales y la importancia de los predicados Aristotélicos. -
480
BOECIO
Introdujo la lógica aristotélica-estoica entre los romanos.
Traduce al latín las categorías. -
735
ALCUINO
Dialéctica, primer tratado medieval de lógica escrito como texto del trívium. -
1079
PEDRO ABELARDO
Sic et non, subraya el valor de la copula como enlace lógico. -
1120
JUAN DE SALISBURY
Explica por primera vez todo el Organón. -
1210
PEDRO HISPANO
Su texto Summulae logicales tuvo gran éxito.
Se sistematizaron las reglas del silogismo y apareció la obversión, la contraposición y la conversión.
Aparecieron las 4 proposiciones categóricas. -
1225
SANTO TOMAS DE AQUINO
Distingue los juicios modales. -
1235
RAIMUNDO LULIO
En su Art Magna propone una lógica concebida como una ciencia universal, base de todas la ciencias.
En esta se da un sistema de combinación de conceptos que forman todas las verdades naturales alcanzables por el entendimiento. -
1249
GUILLERMO DE SHYRESWOOD
Expone el "Árbol de Porfirio" y los conocidos "modos" del silogismo. -
1298
GUILLERMO DE OCCAM
Rasoglio, representa la corriente científica y nominalista.
Los conceptos universales solo pueden aplicarse a términos y proposiciones y no a cosas.
por esto la lógica se refiere únicamente a las relaciones entre signos de las cosas singulares. -
1515
PETRUS RAMUS
Introduce la celebre distinción entre la teoría del concepto, del juicio y del raciocinio. -
1561
FRANCIS BACON
En su Novum Organum Scientiarum se opone a la lógica deductiva aristotélica y desarrolla el método inductivo.
Se proclama heraldo de la renovación científica. -
1564
GALILEO GALILEI
Se vale de la matemática como instrumento metódico.
Esto influirá decisivamente en el desarrollo del simbolismo del calculo.
La deducción es fundamental para juzgar las hipótesis. -
THOMAS HOBBES
De corpore, lógica concebida en el sentido del extremo nominalismo ingles.
En su obra Computatio sive Lógica declara que razonar es computar a partir de unas proposiciones primeras.
Propone unas reglas de definición. -
RENE DESCARTES
Parte de la duda metódica y llega a las ideas claras y distintas.
Este criterio tiene su raíz en las ideas innatas. -
ANTOINE ARNAULD
Delimita los conceptos de extensión y compresión. -
G.W. LEIBNIZ
Con su álgebra lógica es considerado por algunos como el fundador de la lógica moderna.
Introduce el estudio del principio de razón suficiente.
Concilia la nueva ciencia con la tradición escolástica.
Toda demostración parte de los principios lógicos supremos. -
LOGICA DE PORT-ROYAL
Lógica de Port- Royal
Lógica de Port Royal, representa una replica cartesiana a la lógica escolástica.
Distingue entre definición nominal y real. -
E. KANT
Logik, enuncia nuevas formas del juicio y una nueva tabla de categorías.
Considera a la lógica formal como aquella que estudia el pensamiento independientemente de la realidad. -
J. BENTHAM
Proporciona las primeras indicaciones sobre cuantificación del estado. -
G. W. F. HEGEL
Ciencia de lógica, el concepto se desarrolla dialécticamente. Existe una identidad absoluta entre el ser y el pensar. -
BOLZANO
Teoría de la ciencia, monumental tratado de lógica.
Proporciona las bases de la teoría de conjuntos. -
NIKOLAI LOBACHEVSKI
Inicia una revolución en la lógica y formula una geometría no-euclidiana. -
WHEWELL
The philosophy of the inductive sciences, importante en la historia de los métodos de la ciencia natural . -
JHON S. MILL
A system of logic, Ratiocinative and inductive, desarrolla ampliamente el método inductivo. -
G. BOOLE
Es considerado comúnmente como el iniciador de la lógica simbólica.
Introduce la lógica de clases y las leyes del calculo proposicional. -
F. UEBERWEG
Sistema de lógica e historia de las doctrinas lógicas, excelente obra de dirección aristotélica. -
CH. SIGWART
Logik, uno de los tratados capitales de la lógica. -
W. WUNDT
Logik, lógica de tendencia gnoseológica: desarrolla ampliamente la parte metodológica. -
JHON VENN
Symbolic Logic, emplea diagramas para representar funciones lógicas. -
W. STANLEY JEVONS
Elementary lessons in logic, manual muy utilizado, con unas treinta ediciones.
Simplifico el sistema de Boole. -
CHARLES S. PEIRCE
Desarrollo el álgebra de clases, la lógica de relaciones, las funciones proposicionales y cuestiones relativas al condicional y otras conectivas. -
E. SCHRÖDER
Lecciones sobre el álgebra de la lógica, inicia en Alemania la lógica matemática.
Contribuyo al álgebra de relaciones. -
H. COHEN
Lógica del conocimiento puro, obra en la que se fusiona lo lógico y lo gnoseológico. -
G. CANTOR
Contribuciones para la fundamentación de una teoría de conjuntos transfinitos, es el creador de la teoría de los conjuntos. Suscito debates en matemáticos, lógicos y filósofos.
Hilbert se adhirió entusiastamente a esta teoría que ha influido notablemente en la matemática y la lógica del siglo XX. -
GOTTLOB FREGE
Con sus fundamentos de la aritmética, inicio una revolución fundando la matemática en la lógica.
Expuso las tablas de verdad y la lógica de clases.
Estableció las bases de la lógica cuantificacional y del calculo proposicional. -
G. PEANO
I principi di geometria logicamente esposti, se le conoce por las nociones de pertenencia e inclusión. -
E. GOBLOT
Traité de logique, de tendencia racionalista y positivista; representa uno de los mayores esfuerzos de la filosofía francesa por sistematizar la lógica. -
E. HUSSERL
Investigaciones lógicas, recibe la influencia de Brentano y Bolzano; influye decisivamente sobre la lógica actual. -
O. KÜLPE
Lecciones de lógica, magnifico tratado sobre el concepto; contiene además, un detallado resumen de la historia de la lógica. -
D. GILBERT
Elementos de la lógica teórica, obra maestra de lógica moderna.
Ambos fueron eminentes representantes de la dirección formalista en la filosofía de la matemática. -
L. COUTURANT
La logique de Leibniz, propugno por la aplicación del simbolismo, que permite a la filosofía salir del reino de la vaguedad a que la condena la imprecisión del lenguaje cotidiano. -
A. PFÄNDER
Logik, la mas completa exposición de la lógica en sentido fenomenológico. -
BERTRAND RUSSELL
Al descubrir Russell las paradojas obligo a refundamentar la matemática. Esto llevo a elaborar una de las grandes obras de la lógica moderna: principia Mathematica.
Intento reducir la matemáticas a la lógica. -
ALBERT EINSTEIN
Al formular la teoría de la relatividad influye decisivamente en la lógica. -
J. M. KEYNES
A treatise on probability, representa uno de los mayores avances en la teoría de la inducción después de Mill. -
R. CARNAP
Compendio de logística, establece un análisis lógico del lenguaje y desarrolla el concepto de probabilidad. -
NORBERT WIENER
Matemático, con su obra Cybernetics, funda la cibernética,
Considera a la cibernética como la teoría de la información y de la comunicación.
Su aportación sirve de base al desarrollo de las computadoras electrónicas. -
A. M. TURING
Propone un modelo para construir maquinas computadoras.
Descubre la conexión entre lógica y computación.
