Lógica matemática

También llamada lógica simbólica, iniciada con las ideas de Leibniz, es una rama de la lógica desarrollada a partir del siglo XIX especialmente en Inglaterra con los trabajos de Frege, Boole, Russell y Whitehead, dirigida construir cálculos lógicos rigurosamente formalizados, que permitieron aplicar a los problemas lógicos los procedimientos matemáticos. Véase Historia de la lógica.