2.+Historia

La principal aportación de Aristóteles fue la silogística, el estudio del procedimiento de raciocinio por medio del silogismo, en que de dos premisas se deduce una conclusión; también llamada lógica de las proposiciones o lógica //“clásica”//. Los filósofos ulteriores, sobre todo los pertenecientes a la escuela estoica pre-cristiana y a la escolástica medieval desarrollaron a fondo la lógica de las proposiciones; sistematizando y completando la silogística aristotélica así como llegaron a desarrollar las llamadas “lógicas modales”.
 * HISTORIA **

Fue así que la lógica matemática - también llamada lógica simbólica - se desarrolló efectivamente en el siglo XIX, especialmente a partir de George Boole (Inglaterra, 1815 - 1864), autor de la obra //“Investigación de las leyes del pensamiento en que se fundan la teorías matemáticas de la lógica y la probabilidad”//, en que se originara la conocida como “álgebra booleana”; que conjuntamente con Frege consiguió construir cálculos lógicos rigurosamente formalizados, que permitieron aplicar a los problemas lógicos los procedimientos matemáticos. La obra culminante de la lógica simbólica, la constituye “//Principia mathematica//” de Sir Bertand Russell (Inglaterra, 1872-1970) y Alfred North Whitehead (Inglaterra, 1861 - U.S.A., 1947), realizada en tres tomos, entre los años 1910 y 1913. En esta obra, se sustenta el concepto de que las matemáticas puras se obtienen de premisas lógicas puras, de modo que los conceptos que las definen también son conceptos lógicos puros. 

[]