英国数学家。应用代数方法研究逻辑问题。用符号代替逻辑演算，证明能够取得与逻辑演算一致的结果。他的方法被称为布尔代数或符号逻辑，把数学引入逻辑领域，后来由^*弗雷格(Frege，G.)、^*罗素(Russell，B.A.W.)和^*怀特海(Whitehead，A.N.)继续发展。