Alasdair Urquhart
Alasdair Urquhart | |
|---|---|
| Born | Alasdair Ian Fenton Urquhart 20 December 1945 |
| Nationality | Scottish |
| Citizenship | Canadian |
| Occupation(s) | university professor, editor |
| Academic background | |
| Alma mater | University of Edinburgh, MA University of Pittsburgh, PhD |
| Thesis | "The Semantics of Entailment" (1973) |
| Doctoral advisor | Alan Ross Anderson and Nuel Belnap |
| Academic work | |
| Discipline | Philosophy |
| Sub-discipline | Non-classical logic |
| Institutions | University of Toronto University of Toronto Mississauga |
Alasdair Ian Fenton Urquhart (/ˈæləsdər ˈɜːrkərt/ AL-ist-ər UR-kərt; born 20 December 1945) 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.