英国数学家、逻辑学家。剑桥大学毕业。长期任伦敦大学教授。英国皇家学会会员。现代关系逻辑的开拓者。在开拓逻辑新领域研究中，突出了关系的概念，研究了关系的种类、性质、关系的关系，关系的变换等，并首次将关系以及关系的关系符号化。其关系命题和关系推理的理论，突破了古典主谓词逻辑的局限性，对后来逻辑代数和数理逻辑的发展有一定影响。主要著作有《形式逻辑》。