De la lógica clásica a la lógica simbólica

  • 600 BCE

    Segundo periodo.

    Segundo periodo.
    El segundo período es una época poco creativa, no sólo en lógica, sino
    también en el resto de las ciencias.
  • 500 BCE

    Tercer periodo.

    Tercer periodo.
    El tercer período, correspondiente a la escolástica
    desde finales del XI hasta finales del XV, coincide con el redescubrimiento de la obra
    lógica de Aristóteles y es de una gran sofisticación
  • 400 BCE

    La obra lógica de la escuela megárica

    La obra lógica de la escuela megárica
    La obra lógica de esta escuela se desarrolla
    entre los años 400-275 a.C. y en ella destacan Diodoro Crono (m. 307 a.C.) y su
    discípulo Filón de Megara (fl. 300 a.C.).
  • 384 BCE

    La silogística de Aristóteles

    Aristóteles escribió seis obras lógicas que en el siglo 1 a.C. fueron compiladas bajo el titulo "Órganon" las cuales son "Kategoríai", "Perí hermenencías", "Analyticá prótera", "Analyticá hystera", "Topiká" y "Perí sophistikon
    elénkhon".
    También clasifico los tipos de juicios (particulares, universales/Afirmativo, negativo) y los relaciono entre si.
  • 322 BCE

    Cuadro de oposiciones.

     Cuadro de oposiciones.
    Aristóteles desarrolla dos teorías a partir de cuatro juicios, la teoría de la inferencia inmediata se disponen los juicios categóricos según un “cuadro de oposiciones” que ya estaba implícito en "Perì hermeneías"; todas son contrarias pero conectadas entre si.
  • 300 BCE

    Primer periodo.

    Primer periodo.
    El primer
    período corresponde al origen de la lógica en la Grecia clásica
  • 300 BCE

    La obra lógica de los estoicos

    La obra lógica de los estoicos
    Los estoicos continúan la obra lógica de los megáricos.
    El fundador de esta escuela es Zenón de Citio, quien desarrolló las ideas lógicas de los megáricos y estimuló en esa dirección a sus discípulos Cleantes.
  • 400

    La lógica medieval.

    La lógica medieval.
    se emplearon técnicas de razonamiento, actualmente conocidas como metalógica. Un ejemplo de ello es la discusión de la regla ex falso quodlibet por la cual de una contradicción se sigue cualquier afirmación.
  • 472

    Alta edad media.

    Alta edad media.
    Boecio “el último romano y el primer
    medieval”, es traductor de las "Kategoríai" y "Perì hermeneías"
  • 1500

    El cuarto periodo.

    El cuarto periodo.
    Le sigue la Edad Moderna, de los
    siglos XVI a XIX, muy poco fructífera en lógica con la excepción de algunos opúsculos de Leibniz.
  • La lógica renacentista.

    La lógica renacentista.
    Los lógicos medievales fueron criticados por dedicar tanto a una ciencia que iluminaba poco.
    La lógica de la Edad Moderna es marcada por la publicación en “La Lógica o el Arte de Pensar” de los jansenistas Antoine Arnauld y Pierre Nicole, comúnmente llamada Lógica de Port-Royal. La principal finalidad en la Lógica de Port-Royal consiste en asistir al hombre para que éste distinga lo verdadero de lo falso.
  • El quinto periodo

    El quinto periodo
    Hacia la mitad del siglo XIX se inicia el quinto período de la historia de la lógica, en el que todavía estamos a pesar de las muchas diferencias que nos separan de los autores de hace 150 años.
  • Lógica Simbólica

     Lógica Simbólica
    La lógica simbólica contemporánea tiene dos fuentes. Una de ellas es la tradición algebraica.
    Nace con “El análisis matemático de la lógica” de Boole. La otra fuente se origina en la “Conceptografía” de Frege.
  • El álgebra de la lógica de Boole

     El álgebra de la lógica de Boole
    La aportación fundamental de Boole es la de utilizar ecuaciones algebraicas para representar afirmaciones lógicas. Boole aceptaba que existían dos lógicas distintas, aplicándose a matematizar cada una de ellas por separado. La influencia inmediata de las dos obras de Boole fue enorme. Los filósofos no veían más que un juego simbólico, pero los matemáticos con interés por la lógica veían un campo de investigación nuevo donde aplicar una metodología nueva
  • La escritura conceptual de Frege

    La escritura conceptual de Frege
    Gottlob Frege publicó la que considera obra funcional de la lógica simbólica. Su título era “Conceptografía”. Su aportación más importante al lenguaje de la lógica consistió en el modo de cuantificar variables, definió un lenguaje donde se podría expresar todo aquello que solo se podía expresar con fragmentos desconectados de diferentes lógicas. La publicación de los “Principia Mathematica” fue el eco que buscaba encontrar en el planteamiento.
  • División de la lógica

    División de la lógica
    Bocheński dividía la historia de la lógica en cinco grandes
    períodos históricos, de los cuales el primero, el tercero y el quinto serían aquellos donde
    se desarrolla con más intensidad la lógica