Jump to content

Аласдер Уркарт

Аласдер Уркарт
Рожденный
Аласдер Ян Фентон Уркарт

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.
  1. ^ Jump up to: а б с д и «Аласдер Уркхарт» . Кафедра философии . Проверено 22 августа 2022 г.
  2. ^ Jump up to: а б с д и ж г час «Жизнеописание Аласдера Уркхарта» . stanford.library.sydney.edu.au . Апрель 1998 года . Проверено 22 августа 2022 г.
  3. ^ Аласдер Уркарт о неклассической и алгебраической логике и сложности доказательств . Выдающийся вклад в логику. Том. 22. 2022. doi : 10.1007/978-3-030-71430-7 . ISBN  978-3-030-71429-1 .
  4. ^ «Аласдер Уркхарт родился в Шотландии в 1945 году» . Кафедра компьютерных наук Университета Торонто . Проверено 2 апреля 2010 г.
  5. ^ Ленг, Мэри. «Отзывы». Бюллетень символической логики 8, вып. 4 (2002): 516. через JSTOR. дои : 10.2307/797954 .
  6. ^ «Сайт DLMPST: Совет 2020-2023» . Проверено 16 апреля 2020 г.
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 1b15f4a12cda22252ad5826908be4133__1712824980
URL1:https://arc.ask3.ru/arc/aa/1b/33/1b15f4a12cda22252ad5826908be4133.html
Заголовок, (Title) документа по адресу, URL1:
Alasdair Urquhart - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)