Alasdaira Urquharta

Nie mylić z Alistairem Urquhartem .

Alasdair Urquhart
Urquhart w Association for Symbolic Logic , Pittsburgh , Pensylwania , maj 2004
Urodzić się	Alasdair Ian Fenton Urquhart 20 grudnia 1945 r Szkocja
Narodowość	Szkocki
Obywatelstwo	kanadyjski
zawód (-y)	profesor uniwersytecki, redaktor
Wykształcenie
Alma Mater	University of Edinburgh , MA University of Pittsburgh , PhD
Praca dyplomowa	„Semantyka uwikłania” (1973)
Doradca doktorski	Alana Rossa Andersona i Nuela Belnapa
Praca akademicka
Dyscyplina	Filozofia
Subdyscyplina	Logika nieklasyczna
Instytucje	Uniwersytet w Toronto Uniwersytet w Toronto Mississauga

Alasdair Ian Fenton Urquhart ( / na æ l ə s d ər 1945 ɜːr k ər t / ; urodzony 20 grudnia ) jest szkocko-kanadyjskim filozofem i emerytowanym profesorem filozofii Uniwersytecie w Toronto . Wniósł wkład w dziedzinę logiki , zwłaszcza logiki nieklasycznej . Jednym z jego pomysłów jest udowodnienie nierozstrzygalności logiki relewancji R . Publikował również artykuły w teoretycznych miejscach informatyki , głównie na tematy logiki matematycznej istotne dla informatyki .

Wczesne życie

Urquhart pochodzi ze Szkocji. Uzyskał tytuł magistra filozofii na Uniwersytecie w Edynburgu w 1967 roku. Następnie studiował na Uniwersytecie w Pittsburghu , uzyskując tytuł magistra i doktora. w 1973 pod kierunkiem Alana Rossa Andersona i Nuela Belnapa .

Kariera

Od 1973 do 1975 Urquhart był adiunktem w Erindale College na University of Toronto Mississauga . Został tam profesorem nadzwyczajnym w 1975. Od 1986 Urquhart był profesorem filozofii na Uniwersytecie w Toronto .

W latach 1983-1989 Urquhart był redaktorem-konsultantem Journal of Symbolic Logic . Był także redaktorem kanadyjskich monografii filozoficznych . W 2003 roku został redaktorem naczelnym recenzji w The Bulletin of Symbolic Logic .

Obecnie zasiada w Radzie Wydziału Logiki, Metodologii i Filozofii Nauki i Technologii Międzynarodowej Unii Historii i Filozofii Nauki i Techniki (2020–2023).

Wybrane publikacje

•   Urquhart, Alasdair i Rescher, Nicholas. Logika czasowa. Nowy Jork : Springer Verlag, 1971. ISBN 978-3-7091-7664-1
• Urquhart, Alasdair. „Nierozstrzygalność powiązania i odpowiednie implikacje”. Journal of Symbolic Logic 49: 4 (1984): 1059–1073.
• Urquhart, Alasdair i Cook, Stephen A. „Funkcjonalne interpretacje wykonalnej konstruktywnej arytmetyki”, Annals of Pure and Applied Logic , 1993; wstępna wersja na STOC '89
• „Złożoność procedur decyzyjnych w logiki trafności II”, Journal of Symbolic Logic 64: 4 (1999): 1774–1802.

Linki zewnętrzne

• publikacje DBLP