Аласдер Уркухарт
Аласдер Уркухарт | |
|---|---|
 | |
| Рожденный | Аласдер Ян Фентон Уркухарт 20 декабря 1945 г. |
| Национальность | шотландский |
| Гражданство | канадский |
| Род занятий | профессор университета, редактор |
| Академическое образование | |
| Альма-матер | Эдинбургский университет , магистр наук , Питтсбургский университет , доктор философии |
| Тезис | «Семантика вывода» (1973) |
| научный руководитель | Алан Росс Андерсон и Нуэль Белнап |
| Академическая работа | |
| Дисциплина | Философия |
| Субдисциплина | Неклассическая логика |
| Учреждения | Университет Торонто Университет Торонто Миссиссога |
Аласдер Ян Фентон Уркухарт ( / ˈ æ l ə s d ər ˈ ɜːr k ər t / AL -ist-ər UR -kərt ; родился 20 декабря 1945 года) — шотландско-канадский философ и почётный профессор философии в Университете Торонто . [1] [2] Он внёс вклад в область логики , особенно неклассической логики . [3] Среди его наиболее заметных достижений — доказательство неразрешимости логики релевантности R. Он опубликовал множество научных работ в теоретических компьютерных научных изданиях, в основном по темам математической логики , имеющим отношение к компьютерной науке .
Ранний период жизни
Уркухарт — уроженец Шотландии. [4] Он получил степень магистра философии в Эдинбургском университете в 1967 году. [1] [2] Затем он поступил в Питтсбургский университет , получив степень магистра и доктора философии в 1973 году под руководством Алана Росса Андерсона и Нуэля Белнапа . [1] [2]
Карьера
С 1973 по 1975 год Уркухарт был доцентом в колледже Эриндейл , Университете Торонто, Миссиссога . [2] Он стал там доцентом в 1975 году. [2] Начиная с 1986 года Уркухарт был профессором философии в Университете Торонто . [1] [2]
С 1983 по 1989 год Уркухарт был редактором-консультантом журнала «Символическая логика» . [2] Он также был редактором журнала «Канадские философские монографии» . [2] В 2003 году он стал главным редактором рецензий журнала «Символическая логика» . [5]
В настоящее время он входит в Совет Отделения логики, методологии и философии науки и техники Международного союза истории и философии науки и техники (2020–2023). [6]
Избранные публикации
- Уркухарт, Аласдер и Решер, Николас. Временная логика. Нью-Йорк : Springer Verlag, 1971. ISBN 978-3-7091-7664-1
- Уркухарт, Аласдер. «Неразрешимость вывода и релевантная импликация». Журнал символической логики 49:4 (1984): 1059–1073. [1]
- Уркухарт, Аласдер и Кук, Стивен А. «Функциональные интерпретации возможно конструктивной арифметики», Annals of Pure and Applied Logic , 1993; предварительная версия на STOC '89
- «Сложность процедур принятия решений в релевантной логике II», Журнал символической логики 64:4 (1999): 1774–1802.
Ссылки
- ^ abcde "Alasdair Urquhart". Кафедра философии . Получено 22 августа 2022 г.
- ^ abcdefgh "Alasdair Urquhart's Curriculum Vita". stanford.library.sydney.edu.au . Апрель 1998 . Получено 22 августа 2022 .
- ^ Дюнч, Иво; Марес, Эдвин, ред. (2022). Аласдер Уркухарт о неклассической и алгебраической логике и сложности доказательств. Выдающийся вклад в логику. Том 22. doi :10.1007/978-3-030-71430-7. ISBN 978-3-030-71429-1.
- ^ "Аласдер Уркухарт родился в Шотландии в 1945 году". Кафедра компьютерных наук – Университет Торонто . Получено 2 апреля 2010 года .
- ^ Ленг, Мэри. «Обзоры». Бюллетень символической логики 8, № 4 (2002): 516. doi :10.2307/797954.
- ^ "Сайт DLMPST: Совет 2020-2023" . Получено 16 апреля 2020 г.
Внешние ссылки
- Публикации DBLP
