İngiliz matematikçi ve mantıkçı (Lincoln 1815 – Ballintemple, Cork yakınında, 1864).

Daha çok iki te*mel yapıtıyla tanınır: The Mathematical Anâlysis of Logic, being an Essay towards a Calculus of Deductive Reasoning (Mantığın matematiksel çözümleme*si) [1847] ve An Investigation of the Laws of Thought (Düşünce yasaları üzerine bir inceleme) [1854].

Bu yapıtlarında mantığı matematikle bağdaştırmayı (“matematikleştirmeyi”) denedi ve bunu “sayı ve ni*celik kavramlarıyla uğraşmanın matema*tiğin özünden gelmediği”ni göz önünde bulundurarak yaptı. Cebirin sınıflar man*tığına yapılan bu uygulaması bugünkü Boole cebiri ya da kafesini doğurdu. Treatise on diffe’rential equations (Diferansi*yel denklemler kitabı) [1859] ve Treatise on the Calculus of finite Differences (Sı*nırlı farklılıkların hesaplanması kitabı) [1860] adlı iki yapıtı daha vardır.