H. Dugald Macpherson is a mathematician and logician. He is Professor of Pure Mathematics at the University of Leeds.