En 1854 publicó An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, onde desenvolvió un sistema de regles que-y dexaben espresar, manipoliar y simplificar problemes lóxicos y filosóficos que los sos argumentos almiten dos estaos (verdaderu o falsu) por procedimientos matemáticos.