-
Period: 400 BCE to 399
¿Desde cuándo existe la lógica?
La lógica es algo tan antiguo como la filosofía.Se considera que Aristóteles fue el fundador de la lógica,definiéndola como la ciencia que estudia los razonamientos correctos.Para Aristóteles existía un razonamiento llamado silogismo,de carácter deductivo,del cual se basan dos premisas y una conclusión. -
Period: 400 BCE to 399
Edad Antigua
Protágoras fue el primero en estudiar las oraciones, 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 cuyo mérito radica el haber sistematizado la lógica formal codificando las formas de argumentación correcta que es donde radica la naturaleza de la lógica como ciencia -
Period: 400 BCE to 399 BCE
Edad Antigua (Teofrasto y Eudemo)
Más adelante Teofrasto y Eudemo aportaron los silogismos hipotéticos condicionales perteneciente a la lógica de las proposiciones los Megáricos plantean el significado de las proposiciones “Si - entonces” los Estoicos desarrolla la lógica Verdadero – Falso de las proposiciones. -
Period: 281 BCE to 206
Crisipo de Soli
Fue un filósofo griego, máxima figura de la escuela estoica antigua. Se le considera a menudo el fundador de la gramática como disciplina específica en Grecia. -
Period: 280 BCE to 206
Crisipo de Soli
Fue un filósofo griego, máxima figura de la escuela estoica antigua. Se le considera a menudo el fundador de la gramática como disciplina específica en Grecia. -
Period: 400 to 399
Edad Antigua (Protágoras y Platón)
En el plano sintáctico y semántico del lenguaje Protágoras fue el primero en estudiar las oraciones, 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 cuyo mérito radica el haber sistematizado la lógica formal codificando las formas de argumentación correcta que es donde radica la naturaleza de la lógica como ciencia. -
Period: 401 to 1453
Edad Media
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”. -
Period: 472 to 1493
Edad Media
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”. -
Period: to
Guillermo G. Leibniz
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. -
Period: to
Lógica matemática
La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican o definen nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones, y algoritmos, utilizando un lenguaje formal. -
Period: to
Euler
Euler es otro de los precursores de la Lógica Matemática, introdujo los diagramas que llevan su nombre para ilustrar geométricamente los silogismos. -
Period: to
Edad Contemporánea
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. -
Period: to
William Hamilton
Fue profesor de lógica y metafísica en la Universidad de Edimburgo. -
Period: to
Augusto de Morgan
Augusto de Morgan considera que la base, común de la lógica radica en las relaciones de inclusión o exclusión parcial o total entre clases. -
Period: to
George Boole
George Boole construye la Teoría de Clases. Boole es considerado como uno de los fundadores del campo de las Ciencias de la Computación. -
Period: to
Gottlob Frege
Frege publicó su obra titulada Conceptografía o Escritura de conceptos , en la que sentó las bases de la lógica matemática moderna. Mediante la introducción de una nueva sintaxis, con la inclusión de los llamados cuantificadores («para todo» o «para al menos un»), permitió formalizar una enorme cantidad de nuevos argumentos. También fue el primero en distinguir la caracterización formal de las leyes lógicas de su contenido semántico. -
Period: to
Giussepe Peano
Giussepe 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. -
Period: to
Bertrand 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. -
Period: to
Ludwig Wittgenstein
su Tractatus Logico-philosophicus (1921). La idea general de esta obra radica en la afirmación de Russell de que “el estudio de la gramática es capaz de arrojar mucha más luz sobre los problemas filosóficos de lo que en general suponen los filósofos”.Wittgenstein llegó al supuesto metafísico de que la estructura del mundo venía a corresponderse con la estructura de la gramática lógica. -
Period: to
Rudolf Carnap
Filósofo y lógico, uno de los líderes del neopositivismo.Los criterios de Carnap se caracterizan por la negación del carácter conceptual general de la filosofía y su reducción al “análisis lógico del lenguaje de la ciencia”, basado en el aparato de la lógica matemática. -
Period: to
Siglo XX
En el 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.Por un lado, la lógica, alejándose del excesivo formalismo y simbolismo,filósofos como L. Wittgenstein, R. Carnap inicialmente bajo la influencia formalista y logicista.