George Boole(1815-1864)是一个英国数学家，也是数理逻辑的创始人。Boole生于一个贫穷的家庭，是自学成才的。1847年他的“逻辑数理分析”出版后才出名的。和亚里斯多德所教的一样，那本书证明了逻辑学可用代数等式来表示。1854年出版的“思维规则研究”这一早期作品的延续为他奠定稳固的名声。
Boole在数理逻辑中的贡献是著名的“布尔代数”，它基于早期数学家G.W.Leibniz的成果发展而来。尽管Boole的成果广受欢迎，但始终被认为是“纯”数学。这种看法一直持续到1938年Claude Shannon的论文在MIT发表时结束。Shannon证明了Boole的数理逻辑可用TRUE和FALSE来表示，这种逻辑值可表示电路的开关。
当在Internet上使用搜索引擎时，都会用到Boole的数学概念来帮助我们定位信息。这就是我们所说的逻辑检索。