Aún más original y notable, sin embargo, fue que parte de su sistema, totalmente basado en sus "Leyes del Pensamiento", permitió estructurar un método simbólico general de la lógica de la inferencia.