Alasdair Ian Fenton Urquhart is a Scottish–Canadian philosopher and emeritus professor of philosophy at the University of Toronto. He has made contributions to the field of logic, especially non-classical logic. Amongst his most notable accomplishments is the proof of undecidability of the relevance logic R. He published numerous scientific papers in theoretical computer science venues, mostly on mathematical logic topics of relevance to computer science.