Historia de la Lógica

Timeline created by facebooker_2113746872175455
In History
  • -490 BCE

    Zenón de Elea

    Zenón de Elea
    Desarrolla la dialéctica como base de la lógica. Razonamiento por reducción al absurdo.
  • -480 BCE

    Protagoras de Abdera

    Protagoras de Abdera
    Impulsa el arte de la argumentación
  • -470 BCE

    Sócrates

    Sócrates
    Descubre los principios fundamentales de la lógica ala emplear la dialéctica y proporcionar una teoría del concepto y la inducción.
  • -460 BCE

    Demócrito de Abdera

    Demócrito de Abdera
    Emplea por vez primera la palabra "lógica". Junto con Sócrates creó el uso de la definición. Estudia el principio de razón suficiente.
  • -428 BCE

    Platón

    Platón
    Formula el principio de no contradicción. Desarrolla una teoría de la ciencia de las ideas.
  • -384 BCE

    Aristóteles

    Aristóteles
    Sienta las bases de la lógica y las sistematiza en sus tesis tratados de lógica recogidos bajo el nombre de "Organon". Propone símbolos para denotar variables. Estudia la deducción, la inducción total y parcial. Analiza los principios de identidad, no contradicción y de tercero excluido.
  • -372 BCE

    Teofrasto de Lesbos

    Teofrasto de Lesbos
    Expone el silogismo hipotético.
  • -300 BCE

    Filon de Megara

    Filon de Megara
    Analiza la conjunción, disyunción, implicación y las equivalencias. Su concepción de la implicación está en la base de la tabla de verdad para la condicional.
  • -106 BCE

    M.T. Cicerón

    M.T. Cicerón
    Acuña términos latinos para los términos griegos de la lógica.
  • 125

    Apuleyo

    Apuleyo
    Filósofo ecléctico platónico nacido en Argelia. Estableció el cuadro de oposición de las proposiciones.
  • 145

    Sexto Empírico

    Sexto Empírico
    Considera que la verdad es relativa.
  • 232

    Porfirio

    Porfirio
    Comprendía la lógica de Aristóteles en su isagoge. Estudió los universales y la importancia de los predicados aristotélicos.
  • 480

    Boecio

    Boecio
    Introdujo la lógica aristotélica-eatóica entre los romanos. Traduce
    del latín las categorías y sobre la interpretación del organon de Aristóteles.
    Introduce el concepto de subalternación. Constituyó el fundamento de la cultura de los primeros siglos del medioevo que se manifiesta en las siete artes liberales del trivio y del cuadrivio.
  • 735

    Alcuino

    Alcuino
    Dialéctica, primer tratado medieval de lógica escrito como texto del trivium.
  • 1079

    Pedro Abelardo

    Pedro Abelardo
    Sic et non, subraya el valor de la cópula como enlace lógico.
  • 1120

    Juan de Salisbury

    Juan de Salisbury
    Explica por primera vez todo el organon.
  • 1210

    Pedro Hispano

    Pedro Hispano
    En 1276 fue nombrado Papa adoptando el nombre de Juan XXI. su testo summulae logicales tuvo gran excito y se uso hasta el siglo XVI. Durante esta época en los diversos manuales se sistematizaron las reglas del silogismo y apareció la versión, la contraposición y la conversión. Aparecieron igualmente las cuatro proporciones categóricas.
  • 1225

    Santo Tomás de Aquino

    Santo Tomás de Aquino
    Distingue los juicios modales.
  • 1235

    Raimundo Lulio

    Raimundo Lulio
    En su Ars Magna propone un lógica concebida como un ciencia universal, base de todas las ciencias En ésta se da un sistema de combinación de conceptos que forman todas las verdades naturales alcanzables por el entendimiento Esta teoría influirá sobre Leibniz.
  • 1249

    Guillermo de Shyreswood

    Guillermo de Shyreswood
    Expone el árbol de Porfirio y los conocidos modos del silogismo.
  • 1298

    Guillermo de Occam

    Guillermo de Occam
    Rasoglio, representa la corriente científica nominalista. Los conceptos universales sólo 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

    Petrus Ramus
    Introduce la célebre distinción entre la teoría del concepto, del juicio y del raciocinio.
  • 1561

    Francis Bacon

    Francis Bacon
    En su Novum Organum Scientiarum se opone a la lógica deductiva aristotélica y desarrolla e método inductivo. Se proclama heraldo de la renovación científica.
  • 1564

    Galileo Galilei

    Galileo Galilei
    Se vale de la matemática como instrumento metódico. Esto influirá decisiva mente en el desarrollo el simbolismo el cálculo. La deducción es fundamental para juzgar las hipótesis.
  • Thomas Hobbes

    Thomas Hobbes
    De Corpore, lógica concebida en el sentido del extremo nominalismo ingles.En su obra Computatio sive Logica declara que razonar es computar a partir de unas proporciones primeras. Propone unas reglas de la definición.
  • René Descartes

    René Descartes
    Parte de la duda metódica y llega a las ideas claras y distintas (criterio de la ciencia y de la verdad) Este criterio tiene su raíz en las ideas innatas.
  • Antoine Arnauld

    Antoine Arnauld
    Delimita los conceptos de extensión y comprensión.
  • G.W. Leibniz

    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 detracción parte de los principios lógicos supremos.
  • Lógica de Port-Royal

    Lógica de Port-Royal
    Logique de port Royal: Representa una réplica cartesiana a la lógica escolástica Distingue entre definición nominal y real
  • E.Kant

    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

    J. Bentham
    Outline of a New System of Logic, proporciona las primeras indicaciones sobre cuantificación del predicado.
  • G.W.F. Hegel

    G.W.F. Hegel
    Ciencia de la lógica, el concepto se desarrolla dialécticamente. Existe una identidad absoluta entre el ser y el pensar.
  • Bolzano

    Bolzano
    Teoría de la ciencia, monumental tratado de lógica. Proporciona las bases de la teoría de los conjuntos.
  • Nikolai Lobachevski

    Nikolai Lobachevski
    Inicia una revolución en la lógica y formula una geometría no-euclidiana.
  • Whewell

    Whewell
    The philosophy of the Inductive Sciences, impotente en la historia de los métodos de la ciencia natural.
  • John S. Mill

    John S. Mill
    A system of logic, Ratiocinative and Inductive, desarrolla amplia mente el método inductivo.
  • G. Boole

    G. Boole
    The Mathematical Analysis of Logic, 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

    F. Ueberweg
    Sistema de lógica e historia de las doctrinas lógicas, excelente obra de dirección aristotélica.
  • Ch. Sigwart

    Ch. Sigwart
    Logik, uno de los tratados capitales de lógica.
  • W. Wundt

    W. Wundt
    Logik, lógica de tendencia gnoseológica; desarrolla amplia mente la parte metodológica.
  • John Venn

    John Venn
    Symbolic Logic, emplea diagramas par representar funciones lógicas.
  • W. Stanley Jevons

    W. Stanley Jevons
    Elementary Lessons in Logic, manual muy utilizado, con una treinta ediciones. Simplificó el sistema de Boole.
  • Charles S. Peirce

    Charles S. Peirce
    Desarrolló el álgebra de clases, la lógica de las relaciones, las funciones proposicionales y cuestiones relativas al condicional y otras conectivas.
  • E. Schroder

    E. Schroder
    Lecciones sobre el álgebra de la lógica, inicia en Alemania la lógica matemática. Contribuyó al álgebra de relaciones.
  • H. Cohen

    H. Cohen
    Lógica del conocimiento puro, obra en la que se funciona lo lógico y lo gnoseológico.
  • G. Cantor

    G. Cantor
    Contribuciones para la fundamentación de una teoría de conjuntos transfinitos, es le creador de la teoría de los conjuntos. Suscitó debates en matemáticos, lógicos y filósofos. Hilbert se adhirió entusiasta mente a esta teoría que ha influido notablemente en la matemática y la lógica del siglo XX.
  • Gottlob Frege

    Gottlob Frege
    Con sus Fundamentos de la aritmética, inició 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

    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 tendeicnia racionalista y positiva; representa uno de los mayores esfuerzos de la filosofía francesa por sistematizar a la lógica.
  • E. Husserl

    E. Husserl
    Investigaciones lógicas, recibe la influencia de Brentano y Bolzano; influye decisiva mente sobre la lógica actual.
  • O. Kulpe

    O. Kulpe
    Lecciones de lógica, magnífico tratado sobre el concepto; contiene, además, un detallado resumen de la historia de la lógica.
  • D. Hilbert y W. Ackermann

    D. Hilbert y W. Ackermann
    Elementos de 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. Couturat

    L. Couturat
    La Logique de Leibniz, propugnó 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. Pfander

    Logik, las más completa exposición de la lógica en sentido fenomenológico.
  • Bertrand Russell y Alfred N. Whitehead

    Bertrand Russell y Alfred N. Whitehead
    Al descubrir Russell las paradojas obligó a refundamentar la matemática. Esto llevó a ambos autores a elaborar una de las grandes obras de la lógica moderna: Principia Mathematica. Russell en su Introduction to Mathematical Philosophy, al igual que Frege, intentó reducir la matemática a la lógica y distinguió entre las paradojas lógicas y las meta lógicas. (como las del mentiroso)
  • Albert Einstein

    Albert Einstein
    Al formular la teoría de la relatividad influye decisiva mente en la lógica.
  • J.M. Keynes

    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

    R. Carnap
    Compendio de logística, establece un análisis lógico del lenguaje y desarrolla el concepto de probabilidad.
  • Norbert Wiener

    Norbert Wiener
    Matemático nacido en Columbia, Esatados Unidos, doctorado en Harvad y profesor de la M.I.T. Con su obra Cybernetics, funda la cibernética, nombre por él acuñado. Considera a la cibernética como a la teoría de la información y de la comunicación. Su aportación sirve de base al desarrollo de las computadoras eléctricas. Considera que existe una analogía entre estas máquinas y los organismos vivos.
  • A. M. Turing

    A. M. Turing
    Propone un modelo para construir maquina computadoras. Descubre la conexión entre lógica y computación.