Alasdair Urquhart
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. One of his ideas is proving the undecidability of the relevance logic R. He also published papers in theoretical computer science venues, mostly on mathematical logic topics of relevance to computer science.
Alasdair Urquhart | |
---|---|
Urquhart at the Association for Symbolic Logic, Pittsburgh, Pennsylvania, May 2004 | |
Born | Alasdair Ian Fenton Urquhart 20 December 1945 Scotland |
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 |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.