-
485 BCE
Protágoras
En el plano sintáctico y semántico del lenguaje Protágoras fue el primero en estudiar las oraciones. -
470 BCE
Sócrates
fue famosa por su habilidad para hacer preguntas esenciales y criticas que llevaban a sus oponentes a admitir una objeción o incluso una contradicción en su pensamiento. Este método socratico fue conocido como arte mayeútica. Sócrates también fue conocido por su famosa frase: "UNA VIDA SIN EXAMEN NO VALE LA PENA SER VIVIDA" -
427 BCE
Platón
En su obra Sofista trató también las afirmaciones y las negaciones, introduce la noción del método axiomático. -
384 BCE
Aristoteles
Es conciderado como el padre de la lógica. Aristóteles definió la lógica como "ciencia que estudia los razonamientos correctos", por lo que la entendía como un instrumento al servicio de las demás ciencias. Para Aristóteles existía un tipo de razonamiento especialmente útil para la ciencia: el silogismo. Un silogismo es un razonamiento de tipo deductivo que consta de dos premisas y una conclusión (que se deduce necesariamente de las premisas). -
476
Edad Media
Esta se basa en el trabajo de Aristóteles, es adoptada por los sacerdotes y cultivada en su mayoria en los conventos, escuelas y universidades de Europa Occidental.Los estudios de los lógicos profesionales estuvieron dirigidos al comentario del Organon destacando Pedro Hispano y Juan Buridan estableciendo que “de Dos premisas contradictorias, se puede deducir cualquier conclusión”. -
1400
Edad Moderna. Guillermo G. Leibniz
La época moderna marca el inicio de la Lógica Matemática. Guillermo G. Leibniz sugirió tratar los enunciados como las ecuaciones en el álgebra que emplean el signo de igualdas, creo reglas para calcular el valor de verdad de un número potencialmete infinito de enunciados. -
Period: 1561 to
Francis Bacon
Filósofo inglés, en su obra El Novum Organon, publicada en 1620, expuso las bases de la lógica inductiva, en las que explica los métodos para determinar las relaciones de causalidad -
Period: to
Wilhelm Von Leibniz
Intento dar a la lógica una estructura de un calculo matemático -
Edad Contemporánea
El siglo XIX se caracteriza por el nivel de abstracción que alcanza la lógica matemática.En el siglo XX la lógica simbólica, la lógica, alejándose del excesivo formalismo y simbolismo, empieza a ocuparse y preocuparse de problemas semánticos -
Lógica Formal
Sus orígenes se remontan a la tradición aristotélica. A mediados el siglo XIX tuvo un resurgimiento en el seno de las matemáticas, con un desarrollo que aún se mantiene vigente, pese a la creación de nuevas lógicas. -
Period: to
John Stuart Mill
Considero que la inducción descansa en la uniformidad de la naturaleza. afirmaba que si por experiencia sabemos que algo ha ocurrido una vez, volvera a ocurrir en el futuro, cuando las circunstancias sean semejantes. -
Period: to
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
Charles Sanders Peirce
Es considerado como el fundador del pragmatismo y la semiótica moderna, quien enriqueció el método de la investigación científica con su famosa tríada de razonamientos: razonamientos abductivos, deductivos e inductivos. -
Gottlob Frege
Contribuye con los fundamentos lógicos de la aritmética, el concepto de función lógica y los cuantificadores -
Period: to
Rudolf Carnap
Formuló un sistema cuantitativo de la lógica inductiva basado en la probabilidad -
Beltrand Russel y Alfred North Whitehead
Publican Principia Mathematica, en la que formulan rigurosamente la lógica matemática dentro del sistema mas completo que se ha establecido
