Аласдер Уркарт
Аласдер Уркарт | |
---|---|
Рожденный | Аласдер Ян Фентон Уркарт 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 год Уркхарт был редактором-консультантом журнала Journal of Symbolic Logic . [2] Он также был редактором канадских философских монографий . [2] В 2003 году он стал ответственным редактором рецензий The Bulletin of Symbolic Logic . [5]
В настоящее время он входит в состав Совета Отдела логики, методологии и философии науки и техники Международного союза истории и философии науки и техники (2020–2023). [6]
Избранные публикации
[ редактировать ]- Уркхарт, Аласдер и Решер, Николас. Временная логика. Нью-Йорк : Springer Verlag, 1971. ISBN 978-3-7091-7664-1
- Уркхарт, Аласдер. «Неразрешимость последствий и соответствующие последствия». Журнал символической логики 49:4 (1984): 1059–1073. [1]
- Уркхарт, Аласдер и Кук, Стивен А. «Функциональные интерпретации реально конструктивной арифметики», Анналы чистой и прикладной логики , 1993; предварительная версия на STOC '89
- «Сложность процедур принятия решений в релевантной логике II», Журнал символической логики 64: 4 (1999): 1774–1802.
Ссылки
[ редактировать ]- ^ Jump up to: а б с д и «Аласдер Уркхарт» . Кафедра философии . Проверено 22 августа 2022 г.
- ^ Jump up to: а б с д и ж г час «Жизнеописание Аласдера Уркхарта» . stanford.library.sydney.edu.au . Апрель 1998 года . Проверено 22 августа 2022 г.
- ^ Аласдер Уркарт о неклассической и алгебраической логике и сложности доказательств . Выдающийся вклад в логику. Том. 22. 2022. doi : 10.1007/978-3-030-71430-7 . ISBN 978-3-030-71429-1 .
- ^ «Аласдер Уркхарт родился в Шотландии в 1945 году» . Кафедра компьютерных наук Университета Торонто . Проверено 2 апреля 2010 г.
- ^ Ленг, Мэри. «Отзывы». Бюллетень символической логики 8, вып. 4 (2002): 516. через JSTOR. дои : 10.2307/797954 .
- ^ «Сайт DLMPST: Совет 2020-2023» . Проверено 16 апреля 2020 г.
Внешние ссылки
[ редактировать ]- 1945 рождений
- Живые люди
- Выпускники Эдинбургского университета
- Выпускники Питтсбургского университета
- Шотландские эмигранты в Канаду
- Академический состав Университета Торонто
- шотландские логики
- Шотландские математики XX века
- Шотландские философы XX века
- Канадские логики
- Канадские математики XX века
- Канадские философы XX века