You are not authorized to access this page.

Historia de la Lógica

  • Zenon de Elea
    490 BCE

    Zenon de Elea

    Desarrolla la dialéctica como base de la lógica.
  • Protagoras de Abdera
    480 BCE

    Protagoras de Abdera

    Impulsa el arte de la argumentación.
  • Socrates
    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.
  • Democrito de Abdera
    460 BCE

    Democrito de Abdera

    Emplea por vez primera la palabra lógica.
    Estudia el principio de razón suficiente.
  • Platon
    428 BCE

    Platon

    Formula el principio de no contradicción.
    Desarrolla una teoría de la ciencia y de las ideas.
  • Teofrasto de Lesbos
    372 BCE

    Teofrasto de Lesbos

    Expone el silogismo hipotético.
  • Aristoteles
    348 BCE

    Aristoteles

    Sienta las bases de la lógica y la sistematiza en sus seis tratados de la logica recogidos bajo el nombre de "Organon"
  • Filón de Megara
    300 BCE

    Filón de Megara

    Analiza la conjunción, disyunción, implicación y las equivalencias.
  • M.T. Cicerón
    106 BCE

    M.T. Cicerón

    Acuña términos latinos para los términos griegos de la lógica.
  • Apuleyo
    125

    Apuleyo

    Estableció el cuadro de oposición de proposiciones
  • Sexto Empirico
    145

    Sexto Empirico

    Considera que la verdad es relativa
  • Porfirio
    232

    Porfirio

    Compendia la lógica de Aristoteles en su Isagoge
  • Boecio
    480

    Boecio

    Introdujo la logica aristotelica-estoica entre los romanos.
    Traduce al latin las categorias.
  • Alcuino
    735

    Alcuino

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

    Pedro Abelardo

    Sic et non, subraya el valor de la copula como enlace lógico.
  • Juan de Salisbury
    1120

    Juan de Salisbury

    Explica por primera vez todo el Organon.
  • Pedro Hispano
    1210

    Pedro Hispano

    Su texto Summulae logicales tuvo gran exito.
    Se sistematizaron las reglas del silogismo y apareció la obversion, la contraposición y la conversión.
    Aparecieron las 4 proposiciones categóricas.
  • Santo Tomas de Aquino
    1225

    Santo Tomas de Aquino

    Distingue 2 juicios modales.
  • Raimundo Lulio
    1235

    Raimundo Lulio

    En su Art Magna propone una logica concebida como una ciencia universal, base de todas la ciencias.
    En esta se da un sistema de combinacion de conceptos que forman todas las verdades naturales alcanzables por el entendimiento.
  • Guillermo de Shyreswood
    1249

    Guillermo de Shyreswood

    Expone el "Árbol de Porfirio" y los conocidos "modos" del silogismo.
  • Guillermo de Occam
    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 unicamente a las relaciones entre signos de las cosas singulares.
  • Petrus Ramus
    1515

    Petrus Ramus

    Introduce la celebre distinción entre la teoría del concepto, del juicio y del raciocinio.
  • Francis Bacon
    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.
  • Galileo Galilei
    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

    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

    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

    Antoine Arnauld

    Delimita los conceptos de extensión y compresió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 demostración parte de los principios lógicos supremos
  • Logica de Port- Royal

    Logica de Port- Royal

    Logique de Port Royal, representa una replica 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

    Proporciona las primeras indicaciones sobre cuantificacion del estado
  • Whewell

    Whewell

    The philosophy of the inductive sciences, importante en la historia de los métodos de la ciencia natural .
  • G. W. F. Hegel

    G. W. F. Hegel

    Ciencia de lógica, el concepto se desarrolla dialecticamente. 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 conjuntos.
  • Nikolai Lobachevski

    Nikolai Lobachevski

    Inicia una revolución en la lógica y formula una geometría no-eudidiana.
  • John S. Mill

    John S. Mill

    A system of logic, Ratiocinative and inductive, desarrolla ampliamente el método inductivo.
  • G. Boole

    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

    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 la lógica.
  • W. Wundt

    W. Wundt

    Logik, lógica de tendencia gnoseologica: desarrolla ampliamente la parte metodológica.
  • John Venn

    John Venn

    Symbolic Logic, emplea diagramas para representar funciones lógicas.
  • W. Stanley Jevons

    W. Stanley Jevons

    Elementary lessons in logic, manual muy utilizado, con unas treinta ediciones.
    Simplifico el sistema de Boole.
  • Charles S. Peirce

    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. Schroder

    E. Schroder

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

    H. Cohen

    Lógica del conocimiento puro, obra en la que se fusiona lo lógico y lo gnoseologico.
  • G. Cantor

    G. Cantor

    Contribuciones para la fundamentacion de una teoría de conjuntos transfinitos, es el creador de la teoria de los conjuntos. Suscito debates en matemáticos, lógicos y filósofos.
    Hilbert se adhirio entusiastamente 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, 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

    G. Peano

    I principi di geometria logicamente esposti, se le conoce por las nociones de pertenencia e inclusión.
  • E. Goblot

    Traite 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

    E. Husserl

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

    O. Kulpe

    Lecciones de lógica, magnifico tratado sobre el concepto; contiene ademas, un detallado resumen de la historia de la lógica.
  • D. Hilbert

    D. Hilbert

    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

    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 imprecision del lenguaje cotidiano.
  • A. Pfander

    Logik, la mas completa exposición de la lógica en sentido fenomenológico.
  • Bertrand Russell

    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.
  • Albert Einstein

    Albert Einstein

    Al formular la teoría de la relatividad influye decisivamente 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, con su obra Cybernetics, funda la cibernetica,
    Considera a la cibernetica 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

    A. M. Turing

    Propone un modelo para construir maquinas computadoras.
    Descubre la conexión entre lógica y computación.