БУЛЬ (Boole) Джордж (1815—1864) — ирландский математик и логик, один из основоположников математической логики (см.). С 1849 по 1864 г. Дж. Буль был профессором математики в Королевском колледже (Корк, Ирландия). Можно сказать, утверждает американский математический логик X. Карри, что современная математическая логика началась с основных работ Буля, опубликованных в 1847 и 1854 гг. Буль известен также своими работами в области теории дифференциальных и разностных операторов.
Положив в основу своих логических исследований идею аналогии между алгеброй и логикой, Буль разработал логическое исчисление (см.), в котором применяются законы и операции математики (сложение, умножение классов и т. п.). Свою логическую систему, способствовавшую возникновению алгебры логики (см.), он построил на базе отношения равенства. Все количественные значения символов сведены им к двум: 1 и 0. Но алгебра логики отличается от обычной алгебры, напр., тем, что в первой есть закон идемпотентности (см. Идемпотентности закон), согласно которому А.А = А, тогда как в обычной алгебре А.А = А2. См. Алгебра Буля.
Алгебро-логический подход позволил Булю найти новые типы выводов, не учитывавшиеся в традиционной силлогистике (см. Силлогизм). Им обстоятельно рассмотрены коммутативности закон, ассоциативности закон, дистрибутивности закон (см.).
Младшая дочь Буля — Этель Лилиан Войнич, автор всемирно известного романа «Овод».