George Boole 人名。(西元1815~1864)英国著名的数学家和逻辑学家,终身致力于近代符号逻辑的建立,是近代逻辑代数的开拓者。西元一八四四年在皇家学会哲学学报上发表一篇有关代数与微积分方法的论文,其后在一八四七年出版的《逻辑学的数学分析》一书中,更将数学与逻辑学结合在一起,进而提出布尔代数,为逻辑代数开创一个新的里程碑。
John Locke 人名。(西元1632~1704)英国大哲学家。主张知识起于经验,树立了经验主义认识论的地位,是西方哲学史上第一位以「知识」为题系统地写出知识论专门著作的哲学家。于政治方面,提出天赋人权说,认为人人皆有生命、自由、财产的基本权利。著作有《人类悟性论》、《政府论》等。也译作「陆克」。