Desde el punto de vista estrictamente académico, su obra más reconocida es "La lógica formal o el cálculo de inferencias necesarias y probables" (1847).