Al mismo tiempo, Augustus De Morgan publica en 1847 su obra "Lógica formal", donde introduce las leyes de De Morgan e intenta generalizar la noción de silogismo.