Английский математик и логик. Родился в Драйпуле (близ Гулля). С 1862 — преподаватель логики в Кембриджском университете. Пропагандист символической логики. Исследовал алгебру Буля. Предложил (1876) распространить частотную концепцию вероятности на логику, ввел (1881) термин «символическая логика». Является непосредственным предшественником вероятностной логики, развитой Г. Рейхенбахом. Утверждал, что вероятностная логика есть логика последовательностей высказываний. Анализировал вопросы традиционной логики. Внес вклад в изучение символической логики. Для решения задач логики классов предложил графический метод изображения формул математической логики (диаграммы Венна). Этот метод нашел применение в приложениях математической логики к теории автоматов.