Ричард Зак
Ричард Зак | |
|---|---|
| Альма-матер | Калифорнийский университет, Беркли |
| Научная карьера | |
| Поля |
|
| Учреждения | Университет Калгари |
| Диссертация | Финитизм Гильберта: исторические и философские перспективы (2001) |
| Докторские консультанты | Паоло Манкосу , Джек Сильвер |
| Веб-сайт | Ричардзак |
Ричард Зак — канадский логик , философ математики и историк логики и аналитической философии . В настоящее время он является профессором философии в Университете Калгари .
Исследования [ править ]
Исследовательские интересы Зака включают развитие формальной логики и исторических фигур ( Гильберта , Гёделя и Карнапа ), связанных с этим развитием. В области философии математики Зак работал над программой Гильберта и философской значимостью теории доказательств . В области математической логики он внес вклад в теорию доказательств ( эпсилон-исчисление , сложность доказательства ), а также в модальную и многозначную логику , особенно логику Гёделя . [1]
Карьера [ править ]
Зак получил высшее образование в Венском технологическом университете и степень доктора философии. в группе по логике и методологии науки Калифорнийского университета в Беркли . Его диссертация « Программа Гильберта: исторические, философские и метаматематические перспективы » была написана под руководством Паоло Манкосу и Джека Сильвера . [2]
Преподает в Университете Калгари с 2001 года, имеет звание профессора. Он провел выездные встречи в Калифорнийском университете в Ирвине. [3] и Университет Макгилла . [4] Зак — один из редакторов-основателей «Обзора символической логики» и « Журнала изучения истории аналитической философии» , а также помощник редактора журнала «Studia Logica » и тематического редактора Стэнфордской энциклопедии философии («История современной логики»). [5] Состоит в редколлегии «Бернейс» . издания [6] и издание Карнапа . [7] был избран в Совет Ассоциации символической логики. В 2008 году [8] (ASL), и он работал в Комитете ASL по логическому образованию. [9] и исполнительный комитет Общества Курта Гёделя . [10]
Ссылки [ править ]
- ^ Ричард Зак. «Исследования и публикации» . Проверено 10 декабря 2014 г.
- ^ Ричард Зак в проекте «Математическая генеалогия»
- ^ Калифорнийский университет в Ирвине, LPS. «Логика и философия посетителей науки» . Проверено 12 декабря 2014 г.
- ^ Философский факультет Макгилла. «Приглашенные ученые» . Проверено 12 декабря 2014 г.
- ^ «Ричард Зак» . Философский факультет Университета Калгари . Проверено 11 декабря 2014 г.
- ^ Университет Карнеги-Меллон. «Проект Бернейса» . Проверено 11 декабря 2014 г.
- ^ Университет Карнеги-Меллон. «Собрание сочинений Рудольфа Карнапа» . Проверено 11 декабря 2012 г.
- ^ Ассоциация символической логики (январь 2008 г.). «Информационный бюллетень ASL» (PDF) . ,
- ^ Комитет ASL по логическому образованию. «Члены» . Проверено 12 декабря 2014 г.
- ^ Общество Курта Гёделя. «Организация» . Проверено 12 декабря 2014 г.
Внешние ссылки [ править ]
- Официальный сайт
- LogBlog: Логический блог
- Информационная страница отдела
- Общество изучения истории аналитической философии
- Открытый логический проект
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
