![Logi](https://s3.amazonaws.com/s3.timetoast.com/public/uploads/photo/14496610/image/medium_square-accc554bbc30feefb3d1e17dc08f61b7.jpg?X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAJB6ZCNNAN7BE7WDQ%2F20240703%2Fus-east-1%2Fs3%2Faws4_request&X-Amz-Date=20240703T091701Z&X-Amz-Expires=604800&X-Amz-SignedHeaders=host&X-Amz-Signature=34a788a76803de9b224be5998912f2d31b7c4b61c1537068b4225249a32d8a6b)
Breve historia de la lógica: Flores Quiroz Xaratanga Ofelia Odenais,Mejía Torres Leonardo Said,Hernández Del Valle Alejandra Montserrat,Eustacio Morales Eduardo
-
475 BCE
Pitágoras
En el plano sintáctico y semántico del lenguaje Protágoras fue el primero en estudiar las oraciones. -
347 BCE
Platón
Platón en su obra Sofista trató también las afirmaciones y las negaciones, introduce la noción del método axiomático que más tarde fue completado por Aristóteles. -
322 BCE
Aristóteles de Estagira
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.Los escritos lógicos de Aristóteles están contenidos en su libro Órganon que significa “instrumento” para pensar correctamente (propedéutica o metodología), este libro contiene los cinco tratados siguientes: las categorías, las proposiciones, los analíticos, (primeros y segundos) los tópicos y las refutaciones sofísticas. -
322 BCE
Edad Antigua
Aristóteles creó la lógica tal como la conocemos hoy,Organon,el instrumento que ya entendía a la lógica como una ciencia metodoló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. -
804
CarloMagno de Alucino
Escribió uno de los primeros manuales de lógica en la época medieval -
1180
Jean Salisburgy
Jean Salisburgy en su Metalogicon,expone por primera vez el Organon aristotélico completo -
1200
Petrus Hispanus
Tras la fase inicial de traducciones, la tradición de la lógica medieval fue desarrollada en manuales como el de Petrus Hispanus, de identidad desconocida, que fue autor de un manual estándar sobre lógica, el Tractatus, que fue bien conocido en Europa durante varios siglos. -
1280
Alberto Magno
Establece el procedimiento de convertir las preposiciones mediante un entimema o silogismo abreviado -
1500
Edad Media
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. -
1540
Juan Luis Vives
Juan Luis Vives es su obra De la censura de lo verdadero,representa las funciones lógicas por medio de ángulos y triángulos. -
John Poinsot
La últimas grandes obras de esta tradición son Logic de John Poinsot -
Galileo Galilei
Galileo Galilei distingue entre axiomas y postulados,desarrolla el método experimental con el tratamiento matemático de la hipótesis -
Thomas Hobbes
Thomas Hobbes en su Computación Lógica ,ve el razonamiento como un calculo de signos ,avanzado en la búsqueda de un calculo lógico -
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 Paul Euler
Euler fue precursor de la Lógica Matemática, introdujo los diagramas que llevan su nombre para ilustrar geométricamente los silogismos. -
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.
Los filósofos racionalistas, al situar el origen de la reflexión filosófica en la conciencia, aportaron, a través del desarrollo del análisis como método científico del pensar,los temas que van a marcar el desarrollo de la lógica formal. -
George Boole
George Boole, construye la teoría de Clases. -
William Rowan Hamilton
El siglo XIX, se caracteriza por el nivel de abstracción que alcanza la lógica matemática destacando Hamilton sobre la cuantificación de todo o alguno. -
Alfred Trisky
Alfred Trisky en Lógica,semántica ,matemática aporta la fundación de la metalogica y la metamatematica -
John Venn
John Venn, aclara los procedimientos de Boole representando los procesos algebraicos en los diagramas de Venn. -
Giuseppe Peano
Giuseppe Peano, da a la lógica el nombre de lógica matemática creando un lenguaje simbólico para las demostraciones matemáticas propuso el uso de los puntos auxiliares y un modo de simbolizar los cuantificadores. -
A.M. Turing
A.M. Turing en Sobre números computables ,con una aplicación al problema de la distinción,relaciona la lógica y la computibilidad electrónica -
Bertrand Arthur William Russell
Bertrand Russell, en su obra “Los principios de la matemática” propone que las matemáticas puedan reducirse a una rama de la lógica generando en su obra investigaciones sobre la inferencia y sus respectivas aplicaciones. -
Edad Contemporá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. -