-
300 BCE
LOGICA
La Lógica es una ciencia formal que estudia la estructura o formas del pensamiento humano (como proposiciones, conceptos y razonamientos) para establecer leyes y principios válidos para obtener criterios de verdad. -
330
EUCLIDES
Matemático griego y padre de la geometria, fue incluido en la tríada de los grandes matemáticos de la Antigüedad. -
347
PLATON
Platón edifica su teoría del conocimiento con el fin de justificar el poder emergente de la figura del filósofo. Sostiene la existencia de dos mundos -el mundo de las ideas y el de mundo físico de los objetos. Según Platón, lo concreto se percibe en función de lo abstracto y por tanto el mundo sensible existe gracias al mundo de las ideas. Platón escoge el formato diálogo como forma de transmisión del pensamiento. -
384
ARISTOTELES
Considerado como creador de la Lógica, sistematizó la lógica formal codificando las formas de argumentación correcta que es donde radica la naturaleza de la lógica como ciencia. Aportó a la lógica la introducción del uso de variables, las proposiciones por su cantidad y su cualidad, el raciocinio deductivo, las formalizaciones de la Lógica y el desarrollo silogístico. -
476
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. -
1037
AVICENA
el más grande de los médicos, el Maestro por excelencia. La obra de Avicena es de mucha importancial, pues supone la presentación del pensamiento aristotélico ante los pensadores occidentales de la Edad Media. Sus obras reforzaron la doctrina aristotélica en Occidente aunque fuertemente influida por el pensamiento platónico. -
1126
AVERROES
no de los principales pensadores árabes en rescatar la lógica aristotélica y reintroducirla en el mundo Occidental. -
1453
EDAD MODERNA
La época moderna marca el inicio de la Lógica Matemática. -
PASCAL
Sus contribuciones a la matemática y a la historia natural incluyen el diseño y construcción de calculadoras mecánicas, aportes a la teoría de la probabilidad, investigaciones sobre los fluidos y la aclaración de conceptos tales como la presión y el vacío -
GUILLERMO LEIBNIZ
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. -
KANT
Es considerado como uno de los pensadores más influyentes de la Europa moderna y de la filosofía universal. Además se trata del último pensador de la modernidad -
GEORGE BOOLE
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. -
EDAD CONTENPORANEA
Históricamente, Descartes puede que haya sido el primer filósofo en haber tenido la idea de usar el álgebra. 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.