Der Beweis der Unentscheidbarkeit der Relevanzlogik R bleibt ein maßgeblicher Beitrag von Alasdair Urquhart zum Gebiet der nichtklassischen Logik. Geboren am 20. Dezember 1945 in Schottland, begründete er eine Karriere, die sowohl Philosophie als auch mathematische Logik umfasst, wobei er seine Forschung auf theoretische Informatikthemen und die Komplexität von Entscheidungsverfahren in formalen Systemen konzentrierte.
Akademische Grundlagen
Alasdair Ian Fenton Urquhart begann seine formale Ausbildung in seiner schottischen Heimat und schloss diese 1967 mit einem Master of Arts in Philosophie an der Universität Edinburgh ab. Anschließend setzte er seine weiterführenden Studien im Ausland fort und schloss 1967 bis 1973 sowohl einen Master als auch einen Ph.D. ab. Seine Doktorarbeit wurde unter der Betreuung von Nuel Belnap und Alan Ross Anderson durchgeführt.
Beruflicher Werdegang in Toronto
Seine akademische Hauptkarriere spielte sich an der Universität Toronto ab. Er begann 1973 als Assistenzprofessor am Erindale College, das heute als University of Toronto Mississauga bekannt ist. Zwei Jahre später wurde er zum außerordentlichen Professor ernannt. Bis 1986 wechselte er an die Faculty of Arts and Science der Universität Toronto, wo er als Professor für Philosophie tätig war.
Redaktionelle und beratende Tätigkeiten
Neben seiner Lehrtätigkeit und Forschung übernahm Urquhart bedeutende redaktionelle Aufgaben innerhalb der mathematischen Gemeinschaft. Zwischen 1983 und 1989 war er beratender Redakteur für das Journal of Symbolic Logic. Darüber hinaus gab er Canadian Philosophical Monographs heraus und übernahm 2003 die Position des geschäftsführenden Rezensionsredakteurs für The Bulletin of Symbolic Logic. Derzeit gehört er dem Rat der Abteilung für Logik, Methodologie und Philosophie der Wissenschaft und Technologie an.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Forschung und Hauptpublikationen
Zu Urquharts Werken gehört das 1971 zusammen mit Nicholas Rescher verfasste Buch Temporal Logic. Seine Forschungen zu den technischen Aspekten der Relevanzlogik zeigen sich in Arbeiten wie The Undecidability of Entailment and Relevant Implication, die 1984 veröffentlicht wurde. Seine Zusammenarbeit mit Stephen A. Cook mit dem Titel Functional Interpretations of Feasibly Constructive Arithmetic untersuchte Schnittstellen zwischen Logik und konstruktiver Arithmetik.
Kurzinformationen
- Geboren: 20. Dezember 1945 - Nationalität: Vereinigtes Königreich - Fachgebiet: Mathematik und Philosophie - Alma Mater: Universität Edinburgh, Universität Pittsburgh - Hauptarbeitgeber: Universität Toronto - Mitglied: Logicians Liberation League - Sprache: Englisch
Häufig gestellte Fragen
### Was ist Alasdair Urquharts bedeutendste logische Leistung?
Er ist bekannt dafür, den Beweis für die Unentscheidbarkeit der Relevanzlogik R erbracht zu haben.
### Wo hat Urquhart promoviert?
Er promovierte 1973 an der Universität Pittsburgh.
