-
1960 BCE
Fundador de la Lógica
El fundador indiscutible de la lógica es Aristóteles. Organon es el nombre con el que se designan sus seis libros de Lógica. Éstos son: Categorías (sobre los géneros supremos), la interpretación (sobre las proposiciones), Analíticos primeros (sobre el silogismo), Analíticos segundos o posteriores (sobre la demostración), Tópicos (sobre la argumentación probable) y Argumentaciones sofisticas (sobre los sofismas). -
1206
Edad Antigua, Alberto Magno
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, entre el siglo V y el siglo I a. C.
Alberto Magno o "El Grande" establece elprocedimiento de invertir las preposiciones mediante un entimema o silogismo abreviado. -
1280
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, entre las que se incluyen la visión moderna de que, a través del examen e inspección de los síntomas de una paciente, es posible determinar el problema del mismo, su etiología y su desarrollo futuro, y las posibilidades de recuperación. -
1315
Antigua Grecia, Aristóteles
En la Antigua Grecia, emergieron dos tradiciones lógicas opuestas. La lógica estoica estaba enraizada en Euclides de Megara, pupilo de Sócrates, y con su concentración en la lógica proposicional es la que quizás esté más próxima a la lógica moderna. Se considera a Aristóteles el fundador de la lógica como propedéutica o herramienta básica para todas las ciencias. Aristóteles fue el primero en formalizar los razonamientos, utilizando letras para representar términos. -
1325
Antigua India
Dos de las seis escuelas indias de pensamiento están relacionadas con la lógica: Nyāya y Vaisheshika. Los Nyaya Sutras de Aksapada Gautama constituyen el núcleo de textos de la escuela Nyaya, una de las seis escuelas ortodoxas de filosofía hindú. -
1386
Antigua China
En China, un contemporáneo de Confucio, Mozi, "Maestro Mo", es considerado como el fundador de la escuela Mohista (mohísmo), cuyos principios están relacionados con temas como la inferencia válida y las condiciones de las conclusiones correctas. -
1400
Edad Media
En la Alta Edad Media, la lógica mantiene la condición de ciencia propedéutica bajo el nombre de dialéctica. Se continúa estudiando como una de las artes liberales pero sin grandes aportes. -
1455
Mundo Islámico
Durante un tiempo tras la muerte de Mahoma, la ley islámica consideró importante formular estándares para los argumentos, lo que dio lugar a una nueva aproximación a la lógica en Kalam, pero esta aproximación fue más tarde desplazada por ideas tomadas de la filosofía griega y helenística con el auge de los filósofos de la escuela Mu'tazili, que valoraron extraordinariamente el Organon de Aristóteles. -
1487
Europa Medieval
Se entiende habitualmente por «lógica medieval» (también conocida como «lógica escolástica») la forma de la lógica aristotélica desarrollada en la Europa medieval en el periodo de c 1200–1600. Esta tarea comenzó tras las traducciones al latín del siglo XII, cuando textos árabes sobre lógica aristotélica y la lógica de Avicena fueron traducidos a la lengua de Roma. -
1578
Edad Moderna
En el siglo XVII, la lógica adquiere un nuevo enfoque en las interpretaciones racionalistas de Port Royal (Antoine Arnauld, Pierre Nicole) pero tampoco supusieron un cambio radical en el concepto de la lógica como ciencia. -
Edad Conteporánea
Históricamente, Descartes puede que haya sido el primer filósofo en haber tenido la idea de usar el álgebra, especialmente sus técnicas para resolver cantidades desconocidas en las ecuaciones, como vehículo para la exploración científica. La idea de un cálculo de razonamiento fue también cultivada por Gottfried Wilhelm Leibniz. Leibniz fue el primero en formular la noción de un sistema de lógica matemática aplicable de forma generalizada. -
Precursor de la Lógica
Pero es, sobre todo, Leibniz el autor que se menciona como el precursor de la lógica matemática. A fines del siglo XVII. propone un cálculo logístico (mathesís universalis) en donde se utilizan símbolos que representan a los pensamientos y su relaciones. -
Siglo XlX
A partir de la segunda mitad del siglo XIX, la lógica sería revolucionada profundamente. En 1847, George Boole publicó un breve tratado titulado El análisis matemático de la lógica, y en 1854 otro más importante titulado Las leyes del pensamiento. La idea de Boole fue construir a la lógica como un cálculo en el que los valores de verdad se representan mediante el 0 (falsedad) y el 1 (verdad), y a los que se les aplican operaciones matemáticas como la suma y la multiplicación. -
Publicación de Obras Lógicas
Al mismo tiempo, Augustus De Morgan publica en 1847 su obra Lógica formal, donde introduce las leyes de De Morgan e intenta generalizar la noción de silogismo. Otro importante contribuyente inglés fue John Venn, quien en 1881 publicó su libro Lógica Simbólica, donde introdujo los famosos diagramas de Venn. Charles Sanders Peirce y Ernst Schröder también hicieron importantes contribuciones. -
Investigaciones Matemáticas
desde principio del siglo XIX las investigaciones matemáticas hicieron ver la posibilidad de una aplicación de sus métodos del terreno de la lógica. Poco a poco se fue auxiliando esta ciencia por un lenguaje simbólico semejante al de las matemáticas (no del todo uniforme, aún hoy). -
Nueva Dirección
También Kant (siglo XVIII) pretende darle un nuevo matiz de dirección a la Lógica desde el momento en que la define como un tratado de los principios a priori del entendimiento. -
Publicación de volúmenes de leyes de aritmética
En 1893 y 1903, Frege publica en dos volúmenes Las leyes de la aritmética, donde intenta deducir toda la matemática a partir de la lógica, en lo que se conoce como el proyecto logicista. Su sistema, sin embargo, contenía una contradicción (la paradoja de Russell). -
Siglo XX
El siglo XX sería uno de enormes desarrollos en lógica. A partir del siglo XX, la lógica pasó a estudiarse por su interés intrínseco, y no sólo por sus virtudes como propedéutica, por lo que estudió a niveles mucho más abstractos. -
Publicación de Obras Lógicas
En 1910, Bertrand Russell y Alfred North Whitehead publican Principia mathematica, un trabajo monumental en el que logran gran parte de la matemática a partir de la lógica, evitando caer en las paradojas en las que cayó Frege. Los autores reconocen el mérito de Frege en el prefacio. En contraste con el trabajo de Frege, Principia mathematica tuvo un éxito rotundo, y llegó a considerarse uno de los trabajos de no ficción más importantes e influyentes de todo el siglo XX. -
Inteligencias Artificiles
Uno de los científicos más destacados en este campo fue Alan Turing, el cual, pese a no aportar muchas pruebas empíricas, produjo, gracias a sus conclusiones, un gran avance en esta rama de las Ciencias de la computación. Es una rama de la ciencia que despierta cada vez más el interés de los científicos relacionados con la informática. -
Identificación de filosofías
Hegel, en el siglo XIX, identifica Lógica y Metafísica, de acuerdo con su tesis central según la cual “todo lo real es racional, y todo lo racional es real”. -
Lógicos importantes
Frege es considerado, junto con Aristóteles, el lógico más importante de la historia debido a la gran cantidad de contribuciones que realizó en este campo del pensamiento. -
Axiomas de Aritmética
Giuseppe Peano, en 1889, estableció 5 de los 9 actuales axiomas de la Aritmética, lo que daría paso a la formalización de la inducción matemática. -
Detractor de la Inteligencia
Un claro detractor de la inteligencia artificial es John Searle, profesor de filosofía en la universidad de California. Célebre por sus contribuciones a la filosofía del lenguaje, la mente y de la conciencia, defiende que la mente humana no está basada en simples pasos computacionales. Uno de sus más famosos argumentos contra la inteligencia artificial es el de la Habitación china, el cual fue desarrollado en contraposición al Test de Turing. -
Súmulas Lógicas
Pedro Hispano escribió en el siglo XIII las Súmulas lógicas, donde dejo establecido el uso de las cuatro primeras vocales para designar las proposiciones según su cantidad y cualidad, y también los nombres de los modelos de silogismos en cada figura (BARBARA, CELARENT, DARII…) -
El origen de la Lógica Simbólica
Se mencionan cuatro nombres sobresalientes en los orígenes de la moderna Lógica simbólica (que aquí también llamaremos lógica matemática o logística). tales autores son Boole, Frege, Peano y Russel. -
Lógica Moderna
La filosofía moderna comienza después del Renacimiento, en el siglo XVII. Recuérdense los nombres de Francis Bacon y René Descartes durante la primera mitad de ese siglo. -
Inclinación por el método Inductivo
Por otro lado, pero también durante el siglo XIX, Jhon Stuart Mill se inclina otra vez por el método inductivo, rechaza la deducción silogística y pretende fundamentar la lógica en la Psicología (psicologismo). afortunadamente, el psicologismo ha quedado refutado para siempre en las Investigaciones lógicas de Husserl (siglo XX). -
Lógica Simbólica
En opinión de algunos, la ,moderna Lógica simbólica se relaciona con la Lógica tradicional de un modo paralelo al Álgebra con respecto a la Aritmética. No es, pues, un rechazo qa ala lógica aristotélica, sino su aplicación y profundización gracias a un lenguaje o simbolismo mucho más riguroso.
