Así en sus intentos de analizar la demostración de la existencia de Dios o matematizar la Ethica de Spinoza inicia el cálculo proposicional, que completado con los trabajos de Augustus De Morgan inician lo que se ha dado en llamar “Lógica matemática”.