Alasdair Ian Fenton Urquhart ( * 20. Dezember 1945 ) ist ein schottisch - kanadischer Philosoph und emeritierter Professor für Philosophie an der Universität Toronto . [ 1 ] [ 2 ] Er hat bedeutende Beiträge zur Logik , insbesondere zur nichtklassischen Logik, geleistet . [ 3 ] Zu seinen wichtigsten Leistungen zählt der Beweis der Unentscheidbarkeit der Relevanzlogik R. Er veröffentlichte zahlreiche wissenschaftliche Artikel in Fachzeitschriften der theoretischen Informatik , vorwiegend zu Themen der mathematischen Logik mit Bezug zur Informatik .

Frühen Lebensjahren

Urquhart stammt aus Schottland. [ 4 ] Er erwarb 1967 seinen Master in Philosophie an der Universität Edinburgh. [ 1 ] [ 2 ] Anschließend studierte er an der Universität Pittsburgh , wo er 1973 unter der Betreuung von Alan Ross Anderson und Nuel Belnap sowohl einen Master als auch einen Doktortitel erlangte . [ 1 ] [ 2 ]

Karriere

Von 1973 bis 1975 war Urquhart Assistenzprofessor an der University of Toronto Mississauga (damals Erindale College). [ 2 ] 1975 wurde er dort zum außerordentlichen Professor ernannt. [ 2 ] Ab 1986 war Urquhart Professor für Philosophie an der Fakultät für Geistes- und Naturwissenschaften der University of Toronto . [ 1 ] [ 2 ]

Von 1983 bis 1989 war Urquhart beratender Redakteur des Journal of Symbolic Logic . [ 2 ] Er war außerdem Herausgeber der Canadian Philosophical Monographs . [ 2 ] Im Jahr 2003 wurde er leitender Redakteur für Rezensionen des Bulletin of Symbolic Logic . [ 5 ]

Derzeit ist er Mitglied des Rates der Abteilung für Logik, Methodologie und Philosophie der Wissenschaft und Technik der Internationalen Union für Geschichte und Philosophie der Wissenschaft und Technik (2020–2023). [ 6 ]

Ausgewählte Publikationen

  • Urquhart, Alasdair und Rescher, Nicholas. Temporale Logik. New York : Springer Verlag, 1971. ISBN 978-3-7091-7664-1
  • Urquhart, Alasdair. „Die Unentscheidbarkeit von Folgerung und relevanter Implikation.“ Journal of Symbolic Logic 49:4 (1984): 1059–1073. [ 1 ]
  • Urquhart, Alasdair und Cook, Stephen A. „Funktionale Interpretationen der machbar konstruktiven Arithmetik“, Annals of Pure and Applied Logic , 1993; Vorfassung auf der STOC '89
  • „Die Komplexität von Entscheidungsverfahren in der Relevanzlogik II“, Journal of Symbolic Logic 64:4 (1999): 1774–1802.

Referenzen

  1. ^ a b c d e "Alasdair Urquhart" . Philosophisches Institut . Abgerufen am 22. August 2022 .
  2. ^ a b c d e f g h „Alasdair Urquharts Lebenslauf“ . stanford.library.sydney.edu.au . April 1998. Abgerufen am 22. August 2022 .
  3. ^ Düntsch, Ivo; Mares, Edwin (Hrsg.). (2022). Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs . Outstanding Contributions to Logic. Band 22. doi : 10.1007/978-3-030-71430-7 . ISBN 978-3-030-71429-1Die
  4. ^ „Alasdair Urquhart wurde 1945 in Schottland geboren .“ Fachbereich Informatik – Universität Toronto . Abgerufen am 2. April 2010 .
  5. ^ Leng, Mary. „Rezensionen“. The Bulletin of Symbolic Logic 8, Nr. 4 (2002): 516. doi : 10.2307/797954 .
  6. ^ „DLMPST-Website: Rat 2020–2023“ . Abgerufen am 16. April 2020 .