George, Lincoln 2.11.1815, +Ballintemple bei Cork (Irland) 8.12.1864, engl. Mathematiker und Logiker, entwickelte als erster einen praktikablen Logikkalkül durch Darstellung log. Begriffe und ihrer Verknüpfungen mittels mathemat. Symbole und Zeichen; wurde zum Begründer der formalen Logik. Nach ihm benannt ist der Boolesche Verband (Boolesche Algebra), ein distributiver komplementärer Verband (z.B. die Gesamtheit aller Teilmengen einer festen Menge), der in der elementaren Mengenlehre, in der Junktorenlogik und in der Schaltalgebra von Bedeutung ist.