Boole, som i huvudsak var självlärd, var professor i matematik vid Queen’s College i Cork 1849–64. Han var den förste som med stor framgång införde matematiska metoder vid studiet av logik och räknas med anledning härav som en av den moderna logikens pionjärer.