Linea del tiempo de la Logica

  • 1700 BCE

    Antigua Grecia

    Antigua Grecia
    La lógica estoica estaba enraizada en Euclides de Megara, pupilo de Sócrates, y con su concentración en la lógica proposicional
    Aristóteles fue el primero en formalizar los razonamientos, utilizando letras para representar términos. También fue el primero en emplear el término lógica para referirse al estudio de los argumentos dentro del lenguaje apofántico
  • 1400 BCE

    Logica medieval

    Logica medieval
    Se basa en el trabajo de Aristóteles. Los estudios de los lógicos profesionales estuvo dirigido al comentario del Organon destacando Pedro Hispano y Juan Buridan estableciendo que "de dos premisas contradictorias, se puede deducir cualquier conclusión".
  • 1001 BCE

    Mesopotamia

    Mesopotamia
    En Mesopotamia, el Manual de diagnóstico médico de Esagil-kin-apli, escrito en el siglo XI a. C., se basó en un conjunto lógico de axiomas y asunciones.
    Durante los siglos VII y VIII, los astrónomos babilonios empezaron a utilizar una lógica interna en sus sistemas de predicción planetaria que fue una importante contribución a la lógica y la filosofía de la ciencia.
  • 569 BCE

    Pitágoras: (569 a. C. – 475 a. C.)

    Pitágoras: (569 a. C. – 475 a. C.)
    Pitágoras de Samos (570 a.C. – 490 a.C.) fue un filósofo presocrático, considerado el padre de las matemáticas y fundador del pitagorismo, un movimiento filosófico. Contribuyó significativamente en el desarrollo de los principios matemáticos de su época, de la aritmética, la geometría, la cosmología y la teoría musical.
  • 427 BCE

    Platón

    Platón
    Platón en su obra Sofista también trato las afirmaciones y las negaciones, introduciendo el método axiomático que mas tarde fue completado por Aristóteles.
  • 401 BCE

    Edad Antigua

    Edad Antigua
    La lógica, como un análisis explícito de los métodos de razonamiento, se desarrolló originalmente en tres civilizaciones de la historia antigua: China, India y Grecia
  • 384 BCE

    Aristóteles de Estagira: (384 a. C.–322 a. C.)

    Aristóteles de Estagira: (384 a. C.–322 a. C.)
    Es considerado como creador de la Lógica, sin embargo, sus predecesores desarrollaron y cultivaron la inferencia y la prueba en los diferentes debates que por aquel tiempo realizaban los filósofos. Aristóteles sistematizó la lógica formal codificando las formas de argumentación correcta que es donde radica la naturaleza de la lógica como ciencia.
  • 735

    Carlo Magno

    Carlo Magno
    Carlo Magno de Alcuino escribió uno de los primeros manuales de lógica en la época medieval: Dialéctica.
  • 1206

    Alberto Magno

    Alberto Magno
    (1206-1280).
    Alberto Magno o "el grande" establece el procedimiento de convertir las preposición mediante un entimema o silogismo abreviado.
  • 1300

    Jean Buridan

    Jean Buridan
    Destacó en los estudios de lógica y en los comentarios a Aristóteles. Fue defensor del principio de causalidad. Como autor de trabajos teóricos en óptica y mecánica, formuló una noción de inercia intentando explicar el movimiento con la teoría del ímpetu. Su nombre está frecuentemente asociado al experimento mental conocido como el «asno de Buridán»
  • Lógica Medieval

    Lógica Medieval
    En el occidente cristiano y seguramente mucho antes en el mundo islámico y judío. Las doctrinas lógicas en la Edad Media son el resultado de una mezcla de sistemas peripatéticos y estoicos. Sobretodo los estoicos se encuentran profusamente en Galeno, Boecio y en numerosos musulmanes, como Avicena. La lógica estoica se desarrolló como reacción más o menos consciente a Aristóteles.
  • Gottfried Wilhelm Leibniz

    Gottfried Wilhelm Leibniz
    La época moderna marca el inicio de la Lógica Matemática. El precursor de esta lógica es Gottfried Wilhelm Leibniz quien introdujo el cálculo lógico llamado “Mathesis Universalis” que fuese operacionalmente mecánico, inequívoco y no cuantitativo que permitiera acabar con todas las disputas y controversias. También desarrolló el cálculo de la Lógica Proposicional.
  • Leonhard Euler

    Leonhard Euler
    Fue un matemático y físico suizo. Se trata del principal matemático del siglo XVIII y uno de los más grandes y prolíficos de todos los tiempos, muy conocido por el número de Euler (e), número que aparece en muchas fórmulas de cálculo y física.
    Euler fue precursor de la Lógica Matemática, introdujo los diagramas que llevan su nombre para ilustrar geométricamente los silogismos.
  • La dialéctica hegeliana

    La dialéctica hegeliana
    Entre siglo XVI y XVII. La filosofía del alemán Georg Wilhelm Friedrich Hegel (1770-1831) está marcada tanto por la Revolución Francesa (1789) como por el pensamiento de Inmanuel Kant. Para Hegel la dialéctica tiene tres momentos: tesis, antítesis y síntesis.
  • Lógica inductiva

    Lógica inductiva
    David Hume. Siglo XVIII-XIX . El razonamiento inductivo parte de premisas que son observadas por un numero considerable, que permite el proceso llamado generalización.
  • August de Morgan

    August de Morgan
    Fue un matemático y lógico británico nacido en la India, es muy conocido por formular las Leyes de Morgan y la teoría del Desarrollo de las Relacionesy la matemática simbólica.
  • Lógica dialectica

    Lógica dialectica
    Lógica Dialéctica (Materialista) de Marx Siglo XVIII (Aproximadamente en 1844) El pensamiento no se basa meramente en el razonamiento, sino que deriva de las condiciones materiales de existencia.
  • Fenomelógica

    Fenomelógica
    Edmund Husserl en sus investigaciones lógicas ataca el psicologismo en la lógica y establece la fenomenologica.
    La fenomelogica es el estudio filosófico del mundo en tanto se manifiesta directamente en la consciencia, el estudio de las estructuras de la experiencia.
  • Metalógica

    Metalógica
    Alfred Trisky en lógica , semántica , matemática aporta la creación de la metalogica
    La metalogica es la rama de la lógica que estudia las propiedades y los componentes de los sistemas formales.​
  • Lógica matemática

    Lógica matemática
    Giuseppe Peano da el nombre a la logica matematica, dando a entender que toda la logica matematica depende de la implicacacion logica entre enunciados diversos, y dando un lenguaje artificial a este, conectados entre implicaciones.
  • Ahora, la Lógica moderna

    Ahora, la Lógica moderna
    Se basa en la aplicación de símbolos por medio de tablas de verdad, que nos dejan ver lo verdadero o falso de las acciones, en esta lógica influye la matemática, pues también tiene un cierto lenguaje único, sus máximos representantes fueron Frege, Bertrand Russell y Whitehead.
  • Lógica Informal

    Lógica Informal
    Permite estudia los argumentos que tienen lugar en la vida cotidiana y en el contexto de las argumentaciones a las cuales pertenecen
    Surgió en la década de los 70's como un sub-campo de la filosofía. La primera obra en hablar acerca de esta disciplina fue La lógica y la retórica contemporánea (1971) de Howard Kahane.
  • LÓGICAS NO CLÁSICAS

    LÓGICAS NO CLÁSICAS
    La investigación en inteligencia artificial e informática contribuyo al desarrollo de una diversidad de lógicas, denominadas "no clásicas"
    Estas lógicas pueden evitar o rechazar alguno o algunos de los principio de la lógica clásica.
    Es una lógica que no tiene fecha exacta, sin embargo la primera vez que se dividen las lógicas no clásicas fue en 1974 por Susan Haack
  • Lógica proporcional

    Lógica proporcional
    De acuerdo con los argumentos de L. Gracia, es la ciencia que trata los principios validos del razonamiento y la argumentación.
  • Lógica simbólica

    Lógica simbólica
    siglo XX
    la lógica simbólica, que tanto debía a la matemática había desembocado, desde principio del siglo, en cuestiones irresolubles. Esto produjo un paulatino alejamiento de la lógica con respecto a la matemática, así como un deslindamiento de las competencias respectivas.
    Se producen así un acercamiento de la lógica a la lingüística y a la epistemología.