Немецкий математик. Родился в Мангейме. Учился в Гейдельбергском (1862) и Кёнигсбергском (1864) университетах. Преподавал в Высшей технической школе в Цюрихе, с 1874— профессор Дармштадтского политехникума, с 1876 — Высшей технической школы в Карлсруэ (с 1890 — директор).

Основные работы посвящены математической логике. Систематизировал исследования в области логики Буля и дал изложение логики отношений. Развил исследования в этом направлении Дж. Буля и Г. Г. Грасмайа, ввел в обиход термин «логическое исчисление», существенно изменив логическую систему Буля. В основу исчисления классов положил не отношение равенства, как у Буля, а отношение включения классов. Усовершенствовал приемы для при ведения логических выражений к нормальным формам. С помощью этих приемов решил так называемую проблему разрешения для исчисления классов, создав для этого метод дихотомии. Впервые обнаружил, что не всякая структура является дистрибутивной. Сформулировал принцип двойственности для логических выражений (в логике классов). Внес также важный вклад в разработку общелогической теории отношений. Вместе с Ч. С. С. Пирсом является автором математической теории структур. Установил (1895) связь теории вполне упорядоченных множеств и трансфинитных чисел с теорией отношений.