war 1828–31 und 1836–66 Professor am University College in London; arbeitete v. a. über Algebra, mathematische Logik und Geschichte der Wissenschaften; begründete durch seine Formulierung der Junktorenlogik im Rahmen eines Klassenkalküls (1847) neben G. Boole die Algebra der Logik.