乔治·布尔（George Boole，1815—1864）是一位英国数学家，他将代数学的思想方法运用到了逻辑学中。布尔代数中变量表示的不是数字而是一个个逻辑语句以及它们之间的关系。布尔的研究成果后来又经弗雷格、罗素、怀海德等哲学家兼数学家不断完善，对计算机逻辑起着非常重要的作用。