-
700 BCE
Mesopotamia
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.
El pensamiento babilónico tuvo una considerable influencia en el pensamiento de la Grecia arcaica. -
Period: 400 BCE to 476
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. -
340 BCE
Aristóteles
Se considera a Aristóteles el fundador de la lógica como propedéutica para todas las ciencias. Aristóteles fue el primero en formalizar los razonamientos, utilizando letras para representar términos. Sostuvo que la verdad se manifiesta en el juicio verdadero y el argumento válido en el silogismo. Se refirió en varios escritos de su Órganon a cuestiones tales como concepto, proposición, definición, prueba y falacia, desarrolló el silogismo, un sistema lógico de estructura rígida. -
250 BCE
Antigua China
El filósofo lógico chino Gong Sunlong, propuso la paradoja "Uno y uno no pueden ser dos, ya que ninguno se convierte en dos."
En China, la tradición de la investigación académica en la lógica, sin embargo, fue reprimida por La dinastía Qin siguiendo la filosofía legalista de Han Feizi. -
Period: 476 to 1492
Edad Media
Con el nombre de dialéctica en la Edad Media la lógica mantiene la condición de ciencia propedéutica. -
500
Lógica Medieval
La Lógica Medieval se basa en el trabajo de Aristóteles, es recogida por los sacerdotes y cultivado mayormente en los conventos, escuelas y universidades de Europa Occidental.
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” -
1000
Alta Edad Media
la Alta Edad Media es bastante insípida desde un punto de vista filosófico, con la salvedad del mundo árabe y de Pedro Abelardo. Y es que la disolución del Imperio Romano debió sumir el mundo occidental en una especie de caos cultural. En efecto, casi de forma misteriosa, buena parte del valioso saber antiguo se dispersa, en el mejor de los casos. La clase culta romana se preocupaba por aprender griego y leer los textos griegos, pero esto quedó ausente en el mundo altomedieval cristiano. -
1200
Mundo islámico
Otro importante desarrollo en la filosofía islámica es el de una estricta ciencia de la cita, la isnad o "revisión", y el desarrollo de un método científico de investigación abierta para poner en cuestión determinadas afirmaciones, la ijtihad, que podía aplicarse normalmente a muchos tipos de cuestiones,, el auge de la escuela Asharite al final de la Edad Media limitó poco a poco la obra original sobre lógica en el mundo islámico. -
1300
Teoría de la suposición
La tradición alcanzó su punto más alto con las obras de Guillermo de Ockham y Jean Buridan.
Un rasgo del desarrollo de la lógica aristotélica se conoce con el nombre de teoría de la suposición, un estudio de la semántica de los términos de la proposición. -
1400
Baja Edad Media
En la Baja Edad Media su estudio era requisito para entrar en cualquier universidad. Desde mediados del siglo XIII se incluyen en la lógica tres cuerpos separados del texto. En la logica vetus y logica nova es tradicional escritos lógicos, especialmente el Órganon de Aristóteles y los comentarios de Boecio y Porfirio. La parva logicalia puede ser considerada como representativa de la lógica medieval. -
Period: 1492 to
Edad Moderna
-
1500
Antigua India
En la India, las innovaciones en la escuela escolástica, llamado Nyaya. Se desarrollaron teorías semejantes a la lógica moderna, como "la distinción entre sentido y referencia de nombres propios" de Gottlob Frege y su "definición de número", así como la teoría de "condiciones restrictivas para universales" anticipando algunas de las Desarrollos en la teoría de conjuntos modernos. -
Últimas grandes obras
Las últimas grandes obras de esta tradición son Logic de John Poinsot (conocido como John of St Thomas), y Disputaciones metafísicas de Francisco Suárez. -
Mathesis Universalis
La época moderna marca el inicio de la Lógica Matemática. El precursor de esta lógica es Guillermo G. 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. Introdujo los diagramas que llevan su nombre para ilustrar geométricamente los silogismos. -
Neoclasismo Español
Este movimiento tuvo como objetivo principal rescatar los valores estéticos y culturales de las civilizaciones de la Antigüedad Clásica.
Se trata de un movimiento de oposición a las exageraciones, rebuscamiento y complejidades del Barroco.
Se produce en el contexto de la Ilustración llamado "Era de la Razón". -
La fundación de la real academia Española
La Real Academia Española (RAE) se funda en Madrid el año 1713, bajo el reinado de Felipe V y por iniciativa de Juan Manuel Fernández Pacheco y Zúñiga, inspirada en el modelo de la Academia Francesa y con el propósito, reflejado en sus primeros estatutos, de trabajar al servicio del idioma español. -
Hegel
Hegel considera la lógica dentro del Absoluto como un proceso dialéctico del Espíritu Absoluto que produce sus determinaciones como concepto y su realidad como resultado en el devenir de la Idea del Absoluto como Sujeto15 cuya verdad se manifiesta en el resultado del movimiento mediante la contradicción en tres momentos sucesivos, tesis-antítesis-síntesis. La epistemología y la ontología van unidas y expuestas en la Filosofía entendida ésta como Sistema Absoluto. -
Tradición Aristotélica
A través del latín en Europa occidental y de distintas lenguas orientales como el árabe, armenio y georgiano, la tradición aristotélica fue considerada de forma especial para la codificación de las leyes del razonamiento. -
Period: to
Edad Contemporanea
-
El análisis matemático de la lógica
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. -
Lógica formal
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. -
Jan Łukasiewicz
Si bien a la luz de los sistemas contemporáneos la lógica aristotélica puede parecer equivocada e incompleta, Jan Łukasiewicz mostró que, a pesar de sus grandes dificultades, la lógica aristotélica era consistente, si bien había que interpretarse como lógica de clases, lo cual no es pequeña modificación. Por ello la silogística prácticamente no tiene uso actualmente. -
Conceptografía
Frege ofrece por primera vez un sistema completo de lógica de predicados. También desarrolla la idea de un lenguaje formal y define la noción de prueba. Estas ideas constituyeron una base teórica fundamental para el desarrollo de las computadoras y las ciencias de la computación, entre otras cosas. Pese a esto, los contemporáneos de Frege pasaron por alto sus contribuciones, probablemente a causa de la complicada notación que desarrolló el autor. -
Lógica de segundo orden
Charles Peirce introdujo el término "Lógica de segundo orden" proporcionando la mayor parte de la moderna notación lógica, incluyendo los símbolos prefijados para la cuantificación universal y existencial. Los lógicos de finales del siglo XIX y de comienzos del XX estuvieron más familiarizados con el sistema lógico de Peirce-Schröder, aunque generalmente se reconoce que Frege es el Padre de la lógica moderna. -
Lógica de la aritmética
Giuseppe Peano publicó la primera versión de la . Cinco de los nueve axiomas son conocidos como axiomas de Peano. Uno de estos axiomas fue una formalización del principio de la inducción matemática. -
Primeros intentos y realizaciones de máquinas de cálculo
Aparecen los primeros intentos y realizaciones de máquinas de cálculo, (Pascal, Leibniz) y, aunque su desarrollo no fue eficaz, sin embargo la idea de una Mathesis Universal o «Característica Universal», es el antecedente inmediato del desarrollo de la lógica a partir del siglo -
La lógica del pensar trascendental
Pero hace un uso nuevo de la palabra «lógica» como lógica trascendental, en el sentido de investigar los conceptos puros del entendimiento o categorías trascendentales.
La lógica del pensar trascendental acaba situándose en un proceso dialéctico como idealismo subjetivo en Fichte; idealismo objetivo en Schelling y, finalmente un idealismo absoluto en -
Las leyes de la aritmética
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). -
Principia mathematica
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. 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.
