Historia de la Lógica

  • 420 BCE

    La dialéctica como arte del diálogo

    La dialéctica como arte del diálogo
    Socrátes fue famoso por su habilidad para hacer preguntas esenciales y críticas que llevaban a sus oponentes a admitir una objeción o incluso una contradicción en su pensamiento, este método fué conocido como arte mayeútica, En Platón la dialéctica no es un mero diálogo, si no que es un método para llegar a la verdad razonada. Los sofistas por otra parte fueron famosos por enseñar la lógica erística
  • 360

    Lógica silógictica

    Lógica silógictica
    Aristóteles la definió como el razonamiento perfecto, ya que dejaba de ser el arte de la razón prudente para transformarse en la ciencia de la razón demostrada. Su estructura constaba de 2 premisas o juicios (preposiciones con estructura de sujeto, verbo y predicado) que daban lugar a una conclusión https://www.youtube.com/watch?v=4lPlr6PM-ro
  • Lógica inductiva

    Lógica inductiva
    El razonamiento inductivo parte de las premisas que son observaciones reiteradas de un hecho o fenómeno. Para que un razonamiento inductivo tenga la fuerza necesaria que requiere una inferencia, necesita necesita estar apoyado por un gran número de observaciones.
  • Dialéctica materialística

    Dialéctica materialística
    Se le llama lógica materialista porque el pensamiento deriva de las condiciones materiales de la existencia. Planteaba que la sociedad es una totalidad que se mueve dialécticamente con base en sus contradicciones. Formula las leyes dialécticas y analiza la función metódica, la estructura dialéctica de la ciencia y desarrolla las categorías del conocimiento.
    Leyes:
    1.Ley de la Unidad y la lucha de contrarios
    2.Ley de la transición de la cantidad a la cualidad
    3.Ley de la negación de la negación
  • Lógica moderna

    Lógica moderna
    Frege introduce un cálculo proposicional que combina la teoría de la demostración de Leibniz (demostrar un enunciado a partir de otro mediante la sustitución de sinónimos) con una presentación de las conectivas lógicas
  • Lógica matemática

    Lógica matemática
    Lenguaje simbólico para demostraciones matemáticas. Proponeque las matemáticas puedan reducirse a una rama de la lógica, generando investigaciones sobre la inferencia y sus respectivas aplicaciones