The proof of undecidability regarding the relevance logic R remains a defining contribution by Alasdair Urquhart to the field of non-classical logic. Born in Scotland on 20 December 1945, he established a career spanning both philosophy and mathematical logic, focusing his research on theoretical computer science topics and the complexity of decision procedures within formal systems.
Academic Foundations
Alasdair Ian Fenton Urquhart began his formal education in his native Scotland, graduating with a Master of Arts in philosophy from the University of Edinburgh in 1967. He subsequently pursued advanced studies abroad, completing both an MA and a Ph.D. in 1973. His doctoral research was conducted under the supervision of Nuel Belnap and Alan Ross Anderson.
Professional Tenure in Toronto
His primary academic career unfolded at the University of Toronto. He started as an assistant professor at Erindale College, now known as the University of Toronto Mississauga, in 1973. Two years later, he was promoted to associate professor. By 1986, he transitioned to the Faculty of Arts and Science at the University of Toronto, where he served as a professor of philosophy.
Editorial and Consultative Roles
Beyond his teaching and research, Urquhart maintained significant editorial responsibilities within the mathematical community. Between 1983 and 1989, he served as a consulting editor for the Journal of Symbolic Logic. Additionally, he edited Canadian Philosophical Monographs and took on the role of managing editor of reviews for The Bulletin of Symbolic Logic in 2003. He currently holds a position on the Council of the Division for Logic, Methodology and Philosophy of Science and Technology.
Research and Key Publications
Urquhart’s output includes the 1971 work Temporal Logic, co-authored with Nicholas Rescher. His research into the technical aspects of relevance logic is evidenced by papers such as The Undecidability of Entailment and Relevant Implication, published in 1984. His collaboration with Stephen A. Cook, titled Functional Interpretations of Feasibly Constructive Arithmetic, explored intersections between logic and constructive arithmetic.
Fast facts
- Born: 20 December 1945
- Nationality: United Kingdom
- Field: Mathematics and Philosophy
- Alma Mater: University of Edinburgh, University of Pittsburgh
- Primary Academic Employer: University of Toronto
- Member: Logicians Liberation League
- Language: English
Questions readers ask
What is Alasdair Urquhart's most notable logical achievement?
He is recognized for providing the proof of the undecidability of the relevance logic R.
Where did Urquhart earn his doctorate?
He received his Ph.D. in 1973 from the University of Pittsburgh.
Achievements
- Held posts at University of Toronto
