Майкл Детлефсен
Майкл Детлефсен | |
|---|---|
 | |
| Рожденный | 20 октября 1948 г. Скоттсблафф , Небраска , США |
| Умер | 21 октября 2019 г. ( 71 год |
| Занятие | Философ |
| Академическое образование | |
| Образование | 1971 AB , Уитон-Колледж , 1976 г. , доктор философии , Университет Джонса Хопкинса. |
| Академическая работа | |
| Учреждения | Университет Нотр-Дам |
Майкл Детлефсен (20 октября 1948 — 21 октября 2019) был американским философом, профессором философии МакМахона-Хэнка в Университете Нотр-Дам . Его особыми интересами были логика , история математики , философия математики и теория познания . [1] [2]
Биография
[ редактировать ]Майкл «Мик» Детлефсен родился 20 октября 1948 года в Скоттсблаффе , штат Небраска , США. [3]
Он поступил на бакалавриат в Уитон-колледже , штат Иллинойс , и получил степень бакалавра в 1971 году. [3] [4] Затем он продолжил обучение в аспирантуре Джонса Хопкинса Университета в Мэриленде , получив докторскую степень в 1976 году. [3] [4]
Детлефсен начал свою академическую карьеру в качестве ассистента, а затем доцента в Университете Миннесоты в Дулуте в 1975 году. [3] Он оставался там до 1983 года, но также занимал должность приглашенного исследователя в Университете Сплита , Хорватия, с 1981 по 1982 год. [4] Он начал преподавать в Нотр-Даме в качестве приглашенного доцента в 1983 году и стал там доцентом в 1984 году. [3] [4] В 1989 году он получил звание профессора, а в 2008 году — профессора философии МакМахона-Хэнка. [3]
Он занимал должности приглашенного профессора в Университете Сплита (1981–1982), Констанцском университете (1987–1988, 1994) и Парижском университете Дидро (2007). [4] С 2007 по 2011 год он занимал должность старшего руководителя Национального агентства исследований (ANR) во Франции. В прошлом он был президентом Ассоциации философии математики (PMA).
Научная работа
[ редактировать ]Детлефсен написал ряд работ по основополагающим идеям немецкого математика Давида Гильберта и других крупных мыслителей-основателей девятнадцатого и двадцатого веков, включая Бернара Больцано , Л.И. Брауэра , Алонзо Чёрча , Рихарда Дедекинда , Готтлоба Фреге , Курта Гёделя , Морица Паша , Анри Пуанкаре. и Бертран Рассел .
Он получил исследовательские стипендии от ряда фондов, включая ANR , Фонд Фулбрайта , Фонд Александра фон Гумбольдта , Национальный фонд гуманитарных наук и Международную комиссию по исследованиям и обменам.
Он был редактором или соредактором журнала формальной логики Нотр-Дам с 1985 года. Он был соредактором с Анандом Пиллеем. [5] Он также входил в редакционную коллегию журналов Philosophia Mathematica и Journal of Universal Computer Science .
Детлефсен был тематическим редактором статей по истории и философии логики и математики в « Энциклопедии философии Рутледжа» . [6]
Он также организовал и руководил ежегодным семинаром PhilMath Workshop на Среднем Западе (MWPMW) с 2001 года и ежегодным PhilMath Intersem (совместно спонсируемым Университетом Нотр-Дам и Парижским университетом Дидро) с 2010 года.
Библиография
[ редактировать ]Книги, автор
[ редактировать ]- Программа Гильберта: Очерк математического инструментализма , вып. 182 Synthese Library, D. Reidel Publishing Co. , 1986, ISBN 978-94-015-7731-1
Выберите статьи/главы книг
[ редактировать ]- «Абстракция, аксиоматизация и строгость: Паш и Гильберт» в книге Хилари Патнэм о логике и математике, Г. Хеллман и Р. Кук (ред.), 161–178, Springer, 2018.
- «О мотивах теории доказательств», в Х. Вансинге (ред.), Даг Правиц о доказательствах и значении , 137–164, «Выдающийся вклад в логику», Springer, 2015 г.
- «Антиформалистические идеи Генцена», в книге «Столетие Генцена: В поисках последовательности» , М. Ратьен и Р. Кале (ред.), 25–44, Springer, 2015 г.
- «Двойственность, эпистемическая эффективность и последовательность», в Г. Линке (ред.), Формализм и за его пределами , Логос, Де Грюйтер, 1–24, 2014 г.
- «Полнота и конец аксиоматизации», Дж. Кеннеди (ред.), Interpreting Gödel , 59–77, Cambridge University Press, 2014 г.
- «Свобода и последовательность», в: Дж. Брендл, Р. Дауни, Р. Голдблатт и Б. Ким (ред.), Proceedings of the 12th Asian Logic Conference , 89–111, World Scientific, 2013.
- «Чистота методов» , с Эндрю Араной, Philosophers' Imprint, т. 11, № 2 (2011).
Дальнейшие публикации перечислены в PhilPapers . [7]
Ссылки
[ редактировать ]- ^ «В память: Мика Детлефсена // Факультет философии // Университет Нотр-Дам» . Кафедра философии . Проверено 23 октября 2019 г.
- ^ «ДЕТЛЕФСЕН Михаил | IHPST» . ihpst.cnrs.fr (на французском языке) . Проверено 22 октября 2019 г.
- ^ Jump up to: а б с д и ж Сэйр, Кеннет М. (3 апреля 2014 г.). Приключения философии в Нотр-Даме . Издательство Университета Нотр-Дам. ISBN 9780268092856 .
Майкл («Мик») Детлефсен родился 20 октября 1948 года в Скоттсблаффе, штат Небраска.
- ^ Jump up to: а б с д и Биографическая справка Михаэля Детлефсена
- ^ «Журнал формальной логики Нотр-Дама» . Издательство Университета Дьюка . Проверено 12 мая 2018 г.
- ↑ Профиль в Фонде Джона Темплтона (Архивировано из оригинального архива, заархивированного 10 июля 2009 г. в Wayback Machine 24 октября 2013 г.)
- ^ «Майкл Детлефсен (Университет Нотр-Дам): Публикации - PhilPeople» . philpeople.org . Проверено 23 октября 2019 г.
Внешние ссылки
[ редактировать ]| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
