Эркарт, Аласдер
Аласдер Эркарт
- Имя при рождении
- Аласдер Иэн Фентон Эркарт
- Род деятельности
- профессор университета, редактор
А́ласдер И́эн Фе́нтон Э́ркарт (англ. Alasdair Ian Fenton Urquhart; [Нет даты!]) — шотландско-канадский философ и эмерит-профессор философии Торонтского университета[1][2]. Внёс вклад в область логики, в частности неклассической логики. Среди его достижений — доказательство неразрешимости релевантной логики R. Опубликовал множество научных статей по теоретической информатике, в основном на темы математической логики, имеющие отношение к информатике.
Биография[править]
Эркарт родился в Шотландии. В 1967 году получил степень магистра искусств по философии в Эдинбургском университете[1][2]. Затем учился в Питтсбургском университете, где в 1973 году получил степени магистра и доктора философии под руководством Алана Росса Андерсона и Нуэла Белнапа[1][2].
Карьера[править]
С 1973 по 1975 год Эркарт работал доцентом в Университете Торонто в Миссиссоге (тогда известном как Эриндейл-колледж)[2]. В 1975 году стал там адъюнкт-профессором[2]. Начиная с 1986 года Эркарт был профессором философии на факультете искусств и наук Торонтского университета[1][2].
С 1983 по 1989 год Эркарт был редактором-консультантом журнала Journal of Symbolic Logic[2]. Он также был редактором Canadian Philosophical Monographs[2]. В 2003 году стал ответственным редактором рецензий в The Bulletin of Symbolic Logic[3].
Входил в состав Совета Отделения логики, методологии и философии науки и техники Международного союза истории и философии науки и техники (2020—2023)[4].
Избранные публикации[править]
- Urquhart, Alasdair and Rescher, Nicholas. Temporal Logic. New York: Springer Verlag, 1971. ISBN 978-3-7091-7664-1
- Urquhart, Alasdair. "The Undecidability of Entailment and Relevant Implication." Journal of Symbolic Logic 49:4 (1984): 1059–1073[1].
- Urquhart, Alasdair and Cook, Stephen A. "Functional Interpretations of Feasibly Constructive Arithmetic", Annals of Pure and Applied Logic, 1993; preliminary version at STOC'89
- "The Complexity of Decision Procedures in Relevance Logic II", Journal of Symbolic Logic 64:4 (1999): 1774–1802.
Примечания[править]
- ↑ 1,0 1,1 1,2 1,3 1,4 Alasdair Urquharten-US. Department of Philosophy. Проверено 1 июля 2026.
- ↑ 2,0 2,1 2,2 2,3 2,4 2,5 2,6 2,7 Alasdair Urquhart's Curriculum Vita. stanford.library.sydney.edu.au (1998-04). Проверено 1 июля 2026.
- ↑ Leng, Mary. "Reviews". The Bulletin of Symbolic Logic 8, no. 4 (2002): 516. DOI:10.2307/797954.
- ↑ DLMPST Website: Council 2020-2023. Проверено 1 июля 2026.
 | Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Эркарт, Аласдер», расположенная по адресу:
Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?». |
|---|