1 logica

Historia de la lógica

  • Demócrito (Siglo V a.c)
    460 BCE

    Demócrito (Siglo V a.c)

    En Grecia se inician las investigaciones en torno a la lógica, estudian los problemas de la inducción y formulan el principio de la razón suficiente
  • Sócrates y Platón (siglo IV a.c)
    390 BCE

    Sócrates y Platón (siglo IV a.c)

    Se ocuparon de los problemas de la lógica estos problemas se planteaban en relación con su teoría ontológica de las ideas .
    En sus teorías lógicas ellos se oponían al materialismo
  • Aristóteles (siglo IV a.c)
    384 BCE

    Aristóteles (siglo IV a.c)

    Estudio de manera profunda y completa los problemas esenciales de la lógica . En sus escritos expone la teoría del juicio, estudia la teoría del raciocinio y de la demostración , describe las categorías y procedimientos lógicos fundamentales y expone el problema relativo al origen de los raciocinios
  • CHINA Siglo III a.c
    299 BCE

    CHINA Siglo III a.c

    Los pensadores chinos se ocuparon los problemas lógicos concernientes a la clasificación de los nombres y a las relaciones semánticas entre los nombres y las cosas
  • India (siglo IV a.c –IX d.c)
    390

    India (siglo IV a.c –IX d.c)

    Danniakirti escribe un breve manual de lógica (Una gota de la lógica) posteriormente Darmattara agregaría sus comentarios .
    La lógica india contenía una teoría del raciocinio muy desarrollada
  • Edad media V-XV
    900

    Edad media V-XV

    La Edad Media fue el escenario de la lucha entre materialismo e idealismo en el campo de la lógica. El problema central de las discusiones lo constituyó la naturaleza de los conceptos universales, teniendo como marco de referencia el modelo de la lógica aristotélica. Los pensadores más destacados fueron: Anselmo de Canterbury, Tomás de Aquino, Roscelino, Duns Scoto, Guillermo de Occam, Juan Buridan, Pedro Abelardo y algunos otro, toda basada en la lógica de Aristoteles.
  • Francis Bacón (1561-1650)

    Francis Bacón (1561-1650)

    Fue el iniciador de la ciencia experimental moderna. En su obra el Novum organon expuso las bases de la lógica inductiva. Investigó los problemas de la inducción científica, cuyo fin es descubrir las relaciones de causalidad entre los fenómenos.
    Por ello concluyó que en la inducción pueden utilizarse los siguientes métodos: Método de las semejanzas Método de las diferencias Método de las semejanzas y diferencias Método de los cambios concomitantes
  • René Descartes (1596-1650)

    René Descartes (1596-1650)

    En su obra el Discurso del Método, imbuida por el espíritu de exactitud, certeza y necesidad de las verdades matemáticas, formuló las cuatro reglas para la investigación científica 1ª Sólo puede admitirse como verdadero lo que se reconoce como evidente y está comprobado (demostrado). 2ª Dividir lo complejo hasta donde sea posible. 3ª Ir de lo simple a lo complejo, de lo más a lo menos evidente. 4ª Investigar el objeto en todos sus detalles.
  • Guillermo Leibnitz (1646-1716)

    Guillermo Leibnitz (1646-1716)

    Filósofo y matemático alemán de corte racionalista. Es considerado por los lógicos contemporáneos como su antecesor. Intentó dar a la lógica la estructura de un cálculo matemático.
  • Manuel Kant (1724-1804)

    Manuel Kant (1724-1804)

    En su Teoría del conocimiento, Clasificó lo tangible y lo abstracto en dos grupos: Lo que podemos saber (tangible) y Lo que es desconocido para ti (intangible).
    Afirmó que el área de conocimiento se limita al mundo de la experiencia .
    En su libro Crítica de la razón pura, establece los tres grandes problemas de la metafísica Dios, la libertad y la inmortalidad,. Estos no pueden afirmarse ni negarse en el campo teórico, ni demostrarse científicamente
  • Federico Hegel (1770-1831)

    Federico Hegel (1770-1831)

    Filósofo alemán. Concibió la lógica como la dialéctica del concepto. Estudió el proceso dialéctico del conocimiento científico en su esquema de tesis, antítesis y síntesis
  • Karl Marx y Federico Engels (siglo XIX)

    Karl Marx y Federico Engels (siglo XIX)

    Filósofos materialistas. Dieron a la lógica dialéctica hegeliana un sentido materialista, estableciendo su fase demostrativa. Formularon las leyes fundamentales de la investigación científica histórica, destacando el aspecto metódico de las leyes dialécticas
  • George Boole- Augustus deMorgan- George Cantor. (1847)

    George Boole- Augustus deMorgan- George Cantor. (1847)

    Contribuyeron con Álgebra lógica, leyes del cálculo proposicional, y teoría de conjuntos
  • Finales del siglo XIX -  Inicios del siglo XX

    Finales del siglo XIX - Inicios del siglo XX

    Nació la lógica matemática como una exigencia impuesta por el avance de la ciencia matemática, al aparecer las geometrías euclidianas y las paradojas de la teoría de conjuntos.
  • Williams S. Jevons  (1864)

    Williams S. Jevons (1864)

  • Gotlob Frege         (1879)

    Gotlob Frege (1879)

    Tablas de verdad, Fundamentos lógicos de la aritmética e implicación material.
  • John Venn    (1881)

    John Venn (1881)

    Utilizó diagramas topológicos para la representación de las funciones lógicas.
  • Charles S. Peirce           (1886)

    Charles S. Peirce (1886)

    Cálculo de relaciones, Teoría de la cuantificación.
  • Ernest Schoeder          (1890)

    Ernest Schoeder (1890)

    Procedimientos de decisión, desarrolla el álgebra de la lógica.
  • Bertrand Russell y-Alfred North Whitehead-Paul Natorp    (1910)

    Bertrand Russell y-Alfred North Whitehead-Paul Natorp (1910)

    Dedujeron formalmente la aritmética a partir de la lógica; establecieron la síntesis de la lógica y de la aritmética; formulan rigurosamente la lógica matemática, teoría de los tipos, lógica de las relaciones, cálculo de clases y cálculo de relaciones
  • Jan Lukasiewicz           (1920)

    Jan Lukasiewicz (1920)

    Formuló la primera lógica trivalente y una lógica polivalente de la probabilidad.
  • Harold Jeffreys       (1931)

    Harold Jeffreys (1931)

    Formuló la lógica del método estadístico y el desarrollo axiomático de las probabilidades. También formuló una lógica de la inferencia científica.
  • Rudolph Carnap    (1934)

    Rudolph Carnap (1934)

    Formuló la lógica del método estadístico y el desarrollo axiomático de las probabilidades. También formuló una lógica de la inferencia científica.
  • Hans Reichenbach         (1935)

    Hans Reichenbach (1935)

    Formulación axiomática de la teoría de la probabilidad; estableció una lógica topológica basada en la necesidad, en la posibilidad y la imposibilidad.
  • Alfred Tarski      (1956)

    Alfred Tarski (1956)

    Estableció la fundamentación de la metalógica y la metamatemática.