Matemático británico del siglo xix. Contribuyó al avance de la lógica formal. Gracias a este matemático resurgió el interés por la lógica, en el siglo xix.