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 las 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.