H. Dugald Macpherson is a mathematician and logician. He is a professor of pure mathematics at the University of Leeds.