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

  • Period: 510 BCE to 323 BCE

    La historia de la lógica como disciplina

    Bocheński, la historia de la lógica esta divida en cinco grandes períodos históricos, el primero, el tercero y el quinto serían los que se desarrolla con más intensidad la lógica, el primer período corresponde al origen de la lógica en la Grecia clásica.
  • Period: 510 BCE to 399 BCE

    La lógica Antigua

    Fueron 3 grandes filósofos:
    Parménides defiende lo siguiente: el ser es uno, inmóvil y perfecto; el no ser no existe, no puede ser dicho, no puede ser pensado.
    Zenón de Elea es el principal expositor de Parménides; su estrategia no era tanto defender las tesis de Parménides como destruir las tesis del sentido común que afirman la multiplicidad y el movimiento.
    Sócrates observa con desagrado cómo en los discursos políticos, jurídicos y filosóficos de su tiempo se manejan conceptos abstractos.
  • Period: 450 BCE to 208

    La escuela megárico-estoica

    Los megáricos son una escuela griega de filosofía fundada en el siglo V a.C. 2:
    Euclides de Megara
    La obra lógica de esta escuela se desarrolla entre los años 400-275 a.C. y en ella destacan Diodoro y su discípulo Filón de Megara
    Los estoicos continúan la obra lógica de los megáricos en el período que va del 300 al 200 a.C.
    El fundador de esta escuela es Zenón de Citio, quien desarrolló las ideas lógicas de los megáricos y estimuló en esa direción a sus discípulos Cleantes y Crisipo
  • Period: 384 BCE to 200

    La silogística de Aristóteles

    Las obras lógicas de Aristóteles son: Categorías, Sobre la interpretación, Analíticos primeros, Analíticos, Tópicos, Refutaciones sofísticas.
    Aristóteles sólo reconocía tres figuras, pues su criterio de clasificación era algo distinto al recogido por la tradición. Nosotros nos atenemos a esta última, cuya cuarta figura fue atribuida por Averroes a Galeno
    La lógica de Aristóteles era estudiada con independencia de consideraciones filosóficas sobre el conocimiento, la abstracción, el error, etc.
  • Period: 300 BCE to

    Lógica antigua, escolástica y simbólica.

    Lógica antigua: Corresponde al período que tiene lugar entre los siglos IV y III a.C. en la Grecia clásica. Los principales autores son Aristóteles con su obra lógica y el estoico Crispo.
    Lógica escolástica. Puede datarse entre los siglos XI a XV, si tomamos el período en sentido muy amplio, pero también puede restringirse a los siglos XII a XIV.
    Lógica simbólica. Es el período que abarca desde la década de 1840 hasta el presente, a un nivel ya internacional.
  • Period: 400 to 1400

    Lógica Medieval

    La lógica medieval está en latín la lengua internacional de la época; ofrece un lenguaje y un metalenguaje en latín, ofreciendo reglas para organización para la argumentación en el lenguaje ordinario.
    Consecuencias:
    Se complica la interpretación de la lógica medieval ya que se vuelca Asia la lingüística y las transformaciones de las palabras en el curso de la argumentación en el lenguaje cotidiano.
  • Period: 400 to 472

    Inicio de la lógica medieval

    -contribuciones medievales a la lógica de la semítica del latín, técnica empleada al razonamiento
    -ex falso cuodlibeto cual una contradicción se sigue cualquier afirmación
    -la accesibilidad de los textos de, categorías, interpretación de Aristóteles, la isagoge de Porfirio y comentarios de Boecio y marciano capella
  • Period: 500 to 1201

    ALTA EDAD MEDIA : principales obras de la lógica que conocieron los filósofos

    BOECIO
    Ultimo romano y el primer medieval traductor de categorías y sobre la interpretación
    PRINCIPIOS VI
    Traducción de isagoge de Porfirio
    SIGLO XII
    Los aristotélicos fueron considerados por traducciones indirectas del árabe, comentarios marciano capella 420 leídos en el primer periodo medieval
    SIGLO XII
    Organización artes liberales trívium: gramática, retorica, lógica
    Quadrivium: geometría, astronomía, música
    Colocando a la lógica dentro del trívium, capella cuyas fueron investigadas
  • Period: 601 to 1401

    Segundo y tercer periodo

    El segundo período comprende los siglos VII a XI y es una época poco creativa, el tercer período, correspondiente a la escolástica desde finales del XI hasta finales del siglo XV, los tres períodos más importantes de la historia son: lógica antigua, 2. Lógica escolástica y 3. Lógica simbólica
  • Period: 1070 to 1142

    Pedro Abelardo y Guillermo Shireswood

    PEDRO ABELARDO
    ESTADO DE ANIMO IDONEO RECEPCION DE LA Silogística
    Comienza a escribirse en Europa breves sumarios de lógica
    Summulae tratando de organizar la lógica asistólica
    GUILLERMO DE SHIRESWOOD (a.1249)
    Summulae primera que contiene una exposición completa de la silogística
    19 silogismo validos de Aristóteles, palabras mnemotécnicas que codifican mediante vocales y consonantes silogismos validos y demostrarlos
  • Period: 1151 to 1301

    Baja Edad Media

    Segunda mitad del siglo XII
    Europa la teología, la filosofía y la lógica
    Complejidad y finura gracias a las traducciones del órganon viniendo del árabe
    Siglo XIII y XIV
    Se alcanza las enseñanzas habidas :facultad de artes de Oxford y parís
    No había formalización, continuaban escribiendo todo en latín
    Abordan temas que reconocemos como filosofía del lenguaje, filosofía de la lógica y meta lógica
  • Period: 1210 to 1277

    Petrus Hispanus

    Summulae discípulo de Guillermo de Shyreswood
    Destacando manual de lógica donde recoge el conocimiento considerado estándar
    siendo el libro más popular en la edad media usándolo como libro de texto hasta XVII
    Incluyendo la teoría de los predicables de Porfirio la silogística y la dialéctica de Aristóteles y una novedosa discusión de las propiedades de los termino que se puede entender “hombre” según se diga “este hombre corre” etc...
  • Period: 1290 to 1400

    Siglo XV

    Guillermo de Okcham
    Juan Buridan
    Alberto de Sanjonia
    Disertaron el tema Consequetiis
    La exposición de Consequetiis de juan Buridán influye en la parte IV de la logística de Alberto de Sajonia discutiéndose afondo el significado de las expresiones “si A, entonces” O “dado A, podemos escribir a continuación B”
    Dándose una discusión entre filón de menguara y Diodoro crono (consecuentica era verdadera si y solo si no es posible que el antecedente sea falso y el consecuente se verdadero)
  • Period: to

    La lógica Renacentista y Moderna principio

    El comienzo de la lógica en la Edad Moderna viene marcado por la publicación en
    1662 de La Lógica o el Arte de Pensar de los jansenistas Antoine Arnaud
    y Pierre Nicole, comúnmente llamada Lógica de Port-Royal. Se trata de
    una obra influida tanto por la crítica de los humanistas como por el cartesianismo. Pero,
    sobre todo, es una obra influyente: su enfoque y el campo de problemas abordado serán
    considerados como materia estándar de la lógica hasta el surgimiento de la lógica
    simbólica
  • Period: to

    Godfriend Leibniz

    Godgried Leibniz propuso la creación de una "Characteristica
    Universalis" o lengua artificial que pudiera representar las ideas simples del pensamiento.
    Dicha lengua sería unívoca y además permitiría la mecanización del pensamiento mediante la manipulación reglada de los símbolos del lenguaje, esto daría paso a la ultima y algo nueva etapa de la lógica.
  • La importancia de la lógica en Port-royale

    Tras 1662 la investigación en lógica, salvo algunos manuscritos inéditos de Leibniz, se paralizó casi por completo. Este hecho motivó las célebres palabras de Immanuel Kant en el prólogo a la segunda edición e su Crítica de la razón pura (1781):
    “Lo curioso de la lógica es que tampoco haya sido capaz, hasta hoy, de avanzar un solo paso. Según todas las apariencias se halla, pues, definitivamente concluida”.
  • Period: to

    Lógica Simbólica

    La tradición algebraica de la segunda mitad del siglo XIX, que podría emparentarse con el programa de Leibniz.
    Nace con el análisis matemático de la lógica.
    En 1847 de Boole y dice que la utilización de ecuaciones algebraicas sirve para describir enunciados lógicos.
    La otra fuente se origina en la Concepto grafía en 1879 de Frege y no sólo se desarrolla por ser técnicamente más acabada, sino por incorporar un programa de investigación propio el cual es: “el logicismo”.
  • Period: to

    La escritura conceptual de Frege

    La obra fundacional de la lógica simbólica. Su título completo era “Concepto grafía”. Un lenguaje de fórmulas, semejante al de la aritmética, para el pensamiento. Allí se proponía fundamentar el razonamiento matemático mediante un lenguaje artificial que sustituyera por completo las expresiones de lenguaje natural que aparecen en los libros de matemáticas.
    Su aportación más importante al lenguaje de la lógica consistió sin duda en el modo de cuantificar variables.
  • Aportación fundamental de Boole

    Es la de utilizar ecuaciones algebraicas para representar afirmaciones lógicas. Boole tenía perfectamente clara la distinción de la lógica

    El formalizo teorías por separado, de un modo que en aquel entonces era verdaderamente impactante; Boole aceptaba que existían dos lógicas distintas, aplicándose a matematizar cada una de ellas por separado.
    En su formalización de la lógica proposicional, Boole escribe x, y, z... para denotar proposiciones simples, que él llama “categóricas”
  • Nombre de los participantes

    Nombre de los participantes