Lógico y matemático inglés nacido en Lincoln y fallecido en Cork (Irlanda) Procedente de una familia pobre, enseñaba matemáticas desde los dieciseis años en un colegio privado, fundando posteriormente su propio colegio. En 1849 fue nombrado profesor de matemáticas en la universidad de Cork, donde permaneció hasta el resto de sus días. El gran descubrimiento de Boole fue decir que se podían aplicar una serie de símbolos a operaciones lógicas y que, por elección cuidadosa hacer que estos símbolos y operaciones se pareciesen al álgebra. En el álgebra de Boole los símbolos podían manipularse según reglas lógicas que produjeran resultados lógicos. Otros matemáticos, como el propio Leibniz, ya habían pensado en esto, pero no consiguieron resultados plausibles. Boole publicó la obra "An investigation of the Laws of Thought" (investigación de las leyes del pensamiento) en 1854, en la cual trataba por completo el asunto, fundando lo que ahora se denomina lógica simbólica.