HISTORIA DE LA LÓGICA

By facebooker_3161666117232560
  • 540 BCE

    Parménides

    • Creó el principio de identidad.
    • Postuló que solo por la razón conocemos la verdad de las cosas.
    • Concebía que la realidad era inmóvil.
  • Period: 540 BCE to 384 BCE

    EDAD ANTIGUA

  • 500 BCE

    Sofistas

    • Conocidos como "pseudosabios".
    • Utilizaron las falacias.
    • Estudiaron las oraciones afirmativas y negativas.
    • Representantes: Protágoras, Georgias y Calícles.
  • 470 BCE

    Sócrates

    Sócrates
    • Llamado "el fauno".
    • Sistematizó el método de la Mayéutica.
    • Frase: "Solo sé que nada sé".
  • 460 BCE

    Demócrito

    • Creó el Principio de la razón suficiente ("No hay efecto sin causa")
    • Acuñó el término "Lógica", que anteriormente fue llamada "Dialéctica".
  • 427 BCE

    Arístocles (Platón)

    • Creó el principio de no contradicción.
    • Teorizó y esquematizó la división y la definición lógica.
    • Empleó el método Axiomático.
    • Una de sus obras fue "Sofismas"
  • 384 BCE

    Aristóteles

    • Padre de la lógica formal.
    • Creó el principio del tercio excluido.
    • Desarrolló la lógica de predicados.
    • Creó la teoría de silogismos.
    • Introdujo el uso de variables.
    • Su obra es el "Organon", conformado por cinco tratados.
  • 1266

    Juan Duns Scoto

    • Se opuso a las ideas de Tomás de Aquino, expresando que "la verdad se logra por la experiencia".
    • Considera que la clasificación cuantitativa de los juicios simples no es aplicada a los juicios complejos.
  • Period: 1266 to 1295

    EDAD MEDIA

  • 1290

    Juan Buridán

    • Estudió el antecedente y el consecuente.
    • Juntos con otros representantes, redescubrió la inferencia coligativa.
  • 1295

    Guillermo de Occam

    • Representa al Nominalismo.
    • Estableció la "Ley de Morgan"
  • 1561

    Francis Bacon

    • Padre de la lógica inductiva.
    • Estudió, creó y utilizó la inferencia inductiva.
    • Rechazó la lógica formal de Aristóteles.
    • Su principal obra fue "Novum Organon"
  • Period: 1561 to

    EDAD MODERNA

  • Wilhelm Leibniz

    • Desarrolló el álgebra lógica.
    • Estableció la ley de la tautología.
    • Su obra fue "Mathesis Universalis"

  • Leonard Euler

    • Introdujo los diagramas que llevan su nombre para ilustrar los silogismos.

  • George Boole

    • Planteó la relación entre la lógica de clases y la lógica proposicional.
    • Construyó un cálculo algebraico mediante símbolos (Álgebra de Boole).
    • Su obras más importantes fueron "Investigación de las leyes del pensamiento" y "Análisis matemático de la lógica".
  • Period: to

    EDAD CONTEMPORÁNEA

  • John Venn

    • Aclaró los procedimiento de Boole mediante sus diagramas de Venn.

  • Gottlob Frege

    • Padre de la lógica moderna.
    • Estableció los cuantificadores lógicos.
    • Diferenció la constante de variable.
    • Distinguió entre ley y regla.
    • Su obra fue "Conceptografía"

  • Bertrand RusseL

    • Padre de la lógica contemporánea acutal.
    • Reordenó la lógica en un sistema axiomático.
    • Junto a Whitehed, elaboraron la obra "Principios de matemática".

  • Ludwig Wittgenstein

    • Ideó las tablas de verdad.
    • Consideró que la lógica proposicional tenía dieciséis operadores diádicos y cuatro monádicos.
    • Su obras principales fueron "Tractatus" e "Investigaciones filosóficas".

  • Francisco Miró Quesada

    • Filósofo peruano.
    • Introdujo la lógica y las corrientes epistemológicas en América.
    • Analizó una posible relación entre la lógica teórica y la lógica de las acciones.
    • Entre sus obras se encuentran: "Sentido de movimiento fenomenológico", "El problema de la libertad y la ciencia", entre otros.