Logica

Historia de la Lógica

  • 1 BCE

    Esagil-kin-apli

    Esagil-kin-apli
    Al hablar de Mesopotamia, recordamos el Manual de diagnóstico médico de Esagil-kin-apli, quien postulo que por medio de razonamientos lógicos y fácilmente perceptibles, podría determinarse el estado del paciente y su futuro estado, todo esto claramente adquirido empíricamente.
    TOMADO DE:
    https://es.wikipedia.org/wiki/Historia_de_la_l%C3%B3gica
  • 1 BCE

    Los Nyaya Sutras

    Los Nyaya Sutras
    En la antigua india se conocía a los Nyaya Sutras, era una escuela hindú que seguían un texto escrito por Aksapada Gautama. Estaba constituido por un esquema de inferencia lógica con 5 partes que son:
    una premisa inicial, una razón, un ejemplo, una aplicación y una conclusión.
  • 1 BCE

    Maestro Mo

    Maestro Mo
    En la antigua chica Mozi, conocido como el maestro mo es considerado como fundador del mohismo, vivió entre el 479 a. C. y el 372 a. C.
    Sus principios son condiciones de conclusiones correctas, así llegan a ser seguidos por otra escuela llamada "LOS LÓGICOS" que fueron los primeros en investigar la lógica formal, hasta que en la dinastía Qin desaparecen de china.
  • 1 BCE

    Platon

    Platon
    Maestro de Aristoteles, creador de la academia de Atenas, dedicada a la formación política de los jóvenes, así también cree en la existencia de 2 mundos, el sensible y el inteligible. TOMADO DE:
    http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica/Textos/Biblioteca/Libros/Libro_020/Breve_Historia_de_la_Logica.htm
  • 1 BCE

    La lógica estoica y la peripatética

    La lógica estoica y la peripatética
    En la antigua Grecia existieron estas dos logias, la primera la estoica, impulsada por Euclides de Mégara trata de operaciones sobre proposiciones lo que la hace muy similar a la lógica actual, y la segunda la peripatética, basada en el organon, que era el estudio de la lógica hecho por Aristoteles donde hablaba de los silogismos.
    TOMADO DE:
    https://es.wikipedia.org/wiki/Historia_de_la_l%C3%B3gica
  • Jun 8, 632

    comienzos de la lógica islamica

    Con la muerte de Mahoma los islámicos tomaron ideas de la filosofía griega impulsadas por la escuela Mu'tazili, ellos valoraban el organon, y estaban marcados por lo que ellos llamaron "la justicia de Dios", tanto que adoptaron una especie de silogismo con 3 argumento que defendían a Dios y el libre albedrío, para terminar en una conclusión donde explicaban que Dios necesita del libre albedrío para hacer su justicia.
    TOMADO DE:
    https://es.wikipedia.org/wiki/Historia_de_la_l%C3%B3gica
  • Jan 1, 1020

    Avicena

    Avicena
    La lógica de Avicena fue un importante progreso tanto que llego a ser la sustituta de la lógica aristotélica. Mezcló la doctrina aristotélica con el pensamiento neoplatónico, adaptando a su vez el resultado al mundo musulmán, dijo que la razón esta por encima de todo y debemos buscar la perfección. TOMADO DE:
    https://es.wikipedia.org/wiki/Avicena
  • Jan 1, 1100

    Al-Ghazali

    Al-Ghazali
    El filosofo Al-Ghazali tuvo un papel importante a la hora de rebatir o contradecir la idea de los filósofos, cuando en el mundo Suní se incorporo la lógica aristotélica, este hombre dio un punto de vista interesante, dijo que los argumentos metafísicos no pueden ser descubiertos por la razón y a su vez la razón no puede comprobar la verdad. esto según los expertos genero un declive en la ciencia.
    TOMADO DE :
    https://es.wikipedia.org/wiki/Al-Ghazali
  • Period: Jan 1, 1200 to

    Europa medieval

    La lógica medieval no fue más que la traducción de la lógica aristotélica y la lógica de Avicena al idioma latín, para así ser adoptada en estos lugares, aun que al principio fue adoptada la lógica de Avicena, no fue adoptada, en cambio la lógica Aristotélica si fue adoptada gracias a el averroismo. TOMADO DE:
    https://es.wikipedia.org/wiki/Historia_de_la_l%C3%B3gica
  • Jan 1, 1265

    Pedro hispano

    Pedro hispano
    Pedro hispano escribe el manual llamado "tractatus" , que trata sobre la lógica. Este se utilizo en universidades europeas y en el establecieron que de 2 premisas contradictorias se puede tener una conclusión. TOMADO DE.
    http://pensamientoespanol.blogspot.com.co/2016/05/logica-simbolica-de-pedro-hispano.html
  • René Descartes

    René Descartes
    Descartes fue un científico y matemático que dudo de la enseñanza recibida, a el se debe la geometría analítica, importante para el uso de métodos algebraicos. TOMADO DE:
    http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica/Textos/Biblioteca/Libros/Libro_020/Breve_Historia_de_la_Logica.htm
  • Isacc Newton

    Isacc Newton
    Fue en descubridor de la gravitación universal, el desarrollo del cálculo infinitesimal e importantes descubrimientos sobre óptica, así como las leyes que rigen la mecánica clásica. TOMADO DE. http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica/Textos/Biblioteca/Libros/Libro_020/Breve_Historia_de_la_Logica.htm
  • Lógica de Port-Royal

    Lógica de Port-Royal
    Es un manual cuyos autores son Antoine Arnauld y Pierre Nicole.
    Escrito en francés, tomo mucha importancia gracias a que le da un al noción al lector de la lógica y maneja elementos del estudio del hombre y su razón, manteniendo la forma silogista de Aristoteles pero combinado con una nueva interpretación de los términos enfocados a la filosofía moderna TOMADO DE:
    https://es.wikipedia.org/wiki/L%C3%B3gica_de_Port-Royal
  • Guillermo G. Leibniz

    Guillermo G. Leibniz
    Este hombre es uno de los precursores de la lógica, el trabaja con el cálculo lógico llamado “Mathesis Universalis” que fuese operacional-mente mecánico, sin errores que no diera lugar a controversias, con el la lógica proposicional. Leibniz también hizo aportes en el campo del álgebra booleana y la lógica simbólica.
    TOMADO DE:
    http://logica.carpetapedagogica.com/2014/09/historia-de-la-logica.html
  • Augustus De Morgan

    Augustus De Morgan
    Augustus De Morgan crea dos reglas de inferencia validas, las 2 reglas se pueden expresar como:
    - la negación de un grupo de elementos es lo mismo que la negación de cada uno de ellos por separado.
    -la negación de varios elementos es lo mismo que la negación de los mismos en un sólo grupo TOMADO DE.
    Augustus De Morgan
  • George Boole

    George Boole
    La llamada algebra booleana es uno de los avances más importantes, que hoy en día ayudan gracias a la lógica crear circuitos eléctricos y la formación de sistemas computacionales.
    TOMADO DE:
    http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica/Textos/Biblioteca/Libros/Libro_020/Breve_Historia_de_la_Logica.htm
  • Georg F. Cantor

     Georg F. Cantor
    Se le conoce a Georg F. Cantor cómo es descubridor de los números infinitos, gracias a su teoría de los conjuntos, aun hoy en día parte importante de la matemática.
    Es considerado como el creador de los números irracionales, tales como la raíz de los números primos. TOMADO DE:
    https://es.wikipedia.org/wiki/Georg_Cantor
  • David Hilbert

    David Hilbert
    En sus teorías defiende el axioma, y con el abre la puerta a una serie de premisas que unidas pueden dar lugar a una conclusión que puede ser la base fundamental de cualquier ciencia. TOMADO DE:
    http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica/Textos/Biblioteca/Libros/Libro_020/Breve_Historia_de_la_Logica.htm
  • Bertrand Rusell

    Bertrand Rusell
    Este hombre dedico su vida a la lógica, según nos cuenta su historia su objetivo era crear una especie de logicismo que permitiera resumir toda la matemática a lógica, lamentablemente encontró problemas en la teoría de los conjuntos, cosas que no concordaban y eso no le permitió llegar a su meta, aunque si resolver varios de esos problemas. TOMADO DE:
    http://www.henciclopedia.org.uy/autores/Gonzalez%20Alvarez%20J/BertrandRussell.htm
  • Gottlob Frege

    Gottlob Frege
    En la edad contemporánea Gottlob Frege en su Begriffsschrift agrega constructores como "todo" y "algunos", y así establecer variables y cuantificadores para formar estructuras lógicas.
    lamentablemente su teoría fue ignorada por mucho tiempo. TOMADO DE:
    https://es.wikipedia.org/wiki/Historia_de_la_l%C3%B3gica
  • Giuseppe Peano

    Giuseppe Peano
    la lógica del segundo orden es una lógica que proporciona la mayor parte de lo que hoy es la notación lógica, aquí se empezaron a crear símbolos para la cualificación universal y existencial TOMADO DE:
    https://es.wikipedia.org/wiki/Historia_de_la_l%C3%B3gica
  • Norbert Wiener

    Norbert Wiener
    Con este hombre se empieza a utilizar el termino Cibernética, que en su definición más fácil y acertada trata de la traducción de los procesos biológicos a los procesos de la maquina, así desarrolla la inteligencia emocional.
  • Alan Turing

    Alan Turing
    Este hombre creo Máquina de Turing que aunque era simple podría resolver cualquier operación matemática, contribuyo en los avances de procesos computacionales, aplicando así la lógica a los sistemas. TOMADO DE:
    https://es.wikipedia.org/wiki/Alan_Turing
  • La lógica difusa

    La lógica difusa
    El ingeniero Lotfi A. Zadeh crea este tipo de lógica basada en la percepción de las personas, cuando hacemos una comparación la hacemos con lo previamente conocido y ya establecido en nuestra mente. Un elemento es pequeño porque previamente hemos visto algo más grande que eso, y por esa razón lo juzgamos así.