Alasdair Urquhart

Alasdair Ian Fenton Urquhart, born on December 20, 1945, is a distinguished Scottish-Canadian philosopher and an emeritus professor of philosophy at the University of Toronto. His academic career has been marked by significant contributions to the field of logic, with a particular emphasis on non-classical logic. One of his most recognized achievements is the proof of the undecidability of the relevance logic R. Beyond his work in philosophy, Urquhart has also been an active researcher in theoretical computer science, publishing numerous papers on mathematical logic topics that have relevance to computer science. He received his MA in philosophy from the University of Edinburgh in 1967 and pursued further studies at the University of Pittsburgh, earning an MA and PhD in 1973 under the guidance of Alan Ross Anderson and Nuel Belnap. Throughout his career, he held positions at the University of Toronto Mississauga and the University of Toronto Faculty of Arts and Science. He also served in editorial roles for prominent academic journals such as the Journal of Symbolic Logic and The Bulletin of Symbolic Logic. Urquhart's work has cemented his reputation as a key figure in the study of logic and its applications.