En 1854 publicó "An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities", donde desarrolló un sistema de reglas que le permitían expresar, manipular y simplificar problemas lógicos y filosóficos cuyos argumentos admiten dos estados (verdadero o falso) por procedimientos matemáticos.