Области знаний
Партнёрские проектыМатериалы БРЭСпецпроектыСтать автором
Настроить видСменить языкИнформация
О РУВИКИ
Найти статью

Эркарт, Аласдер

Pause

А́ласдер И́эн Фе́нтон Э́ркарт (англ. Alasdair Ian Fenton Urquhart; род. 20 декабря 1945, Шотландия, Великобритания) — шотландско-канадский философ и эмерит-профессор философии Торонтского университета[1][2]. Внёс вклад в область логики, в частности неклассической логики. Среди его достижений — доказательство неразрешимости релевантной логики R. Опубликовал множество научных статей по теоретической информатике, в основном на темы математической логики, имеющие отношение к информатике.

Общие сведения
Что важно знать
Аласдер Эркарт
англ. Alasdair Urquhart
Имя при рождении Аласдер Иэн Фентон Эркарт
Дата рождения 20 декабря 1945(1945-12-20) (80 лет)
Место рождения
Страна
Образование
Род деятельности профессор университета, редактор

Биография

Эркарт родился в Шотландии. В 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. ↑ 1 2 3 4 5 Alasdair Urquhart (амер. англ.). Department of Philosophy. Дата обращения: 1 июля 2026.
  2. ↑ 1 2 3 4 5 6 7 8 Alasdair Urquhart's Curriculum Vita. stanford.library.sydney.edu.au (апрель 1998). Дата обращения: 1 июля 2026.
  3. ↑ Leng, Mary. "Reviews". The Bulletin of Symbolic Logic 8, no. 4 (2002): 516. doi:10.2307/797954.
  4. ↑ DLMPST Website: Council 2020-2023. Дата обращения: 1 июля 2026.

Дополнительно по теме

Категории

Pause