Michaela Detlefsena

Michaela Detlefsena
Urodzić się	( 1948-10-20 ) 20 października 1948 Scottsbluff , Nebraska , Stany Zjednoczone
Zmarł	21 października 2019 ( w wieku 71) ( 21.10.2019 )
Zawód	Filozof
Wykształcenie
Edukacja	1971 AB , Wheaton College , 1976 doktorat , Johns Hopkins University
Praca akademicka
Instytucje	Uniwersytet Notre-Dame

Michael Detlefsen (20 października 1948 - 21 października 2019) był amerykańskim filozofem, który był profesorem filozofii McMahon-Hank na Uniwersytecie Notre Dame . Szczególnie interesował się logiką , historią matematyki , filozofią matematyki i epistemologią .

Biografia

Michael „Mic” Detlefsen urodził się 20 października 1948 roku w Scottsbluff w Nebrasce w USA.

Podjął studia licencjackie w Wheaton College w stanie Illinois , uzyskując tytuł AB w 1971 r . Następnie kontynuował studia podyplomowe na Uniwersytecie Johnsa Hopkinsa w stanie Maryland , uzyskując stopień doktora w 1976 r.

Detlefsen rozpoczął karierę akademicką jako asystent, a następnie profesor nadzwyczajny na Uniwersytecie Minnesoty w Duluth w 1975 r. Pozostał tam do 1983 r. , ale od 1981 r. 1982. Zaczął nauczać w Notre Dame jako Visiting Associate Professor w 1983 i został tam profesorem nadzwyczajnym w 1984. Awansował na profesora zwyczajnego w 1989 i został mianowany McMahon-Hank Professor of Philosophy w 2008

Był profesorem wizytującym na Uniwersytecie w Splicie (1981–1982), Uniwersytecie w Konstancji (1987–1988, 1994) oraz Uniwersytecie Paryskim Diderot (2007). W latach 2007-2011 pełnił funkcję starszego przewodniczącego doskonałości w Agence Nationale de la Recherche (ANR) we Francji. Był byłym prezesem Stowarzyszenia Filozofii Matematyki (PMA).

Praca naukowa

Detlefsen napisał szereg prac na temat fundamentalnych idei niemieckiego matematyka Davida Hilberta i innych wielkich XIX- i XX-wiecznych myślicieli, w tym Bernarda Bolzano , LEJ Brouwera , Alonzo Churcha , Richarda Dedekinda , Gottloba Frege , Kurta Gödla , Moritza Pascha , Henri Poincaré i Bertranda Russella .

Był stypendystą naukowym wielu fundacji, w tym ANR , Fundacji Fulbrighta , Alexander von Humboldt Stiftung , National Endowment for the Humanities oraz International Research and Exchange Commission.

Był redaktorem lub współredaktorem naczelnym Notre Dame Journal of Formal Logic od 1985. Był współredaktorem z Anandem Pillayem. Był także członkiem rad redakcyjnych Philosophia Mathematica i Journal of Universal Computer Science .

Detlefsen był redaktorem tematycznym wpisów z historii i filozofii logiki i matematyki w Routledge Encyclopedia of Philosophy .

Zorganizował także i kierował dorocznymi warsztatami Midwest PhilMath Workshop (MWPMW) od 2001 r. oraz corocznymi PhilMath Intersem (wspólnie sponsorowanymi przez University of Notre Dame i Paris Diderot University) od 2010 r.

Bibliografia

Książki, autorskie

•   Program Hilberta: esej o instrumentalizmie matematycznym , tom. 182 Synthese Library, D. Reidel Publishing Co. , 1986, ISBN 978-94-015-7731-1

Wybierz artykuły/rozdziały książek

• „Abstrakcja, aksjomatyzacja i rygor: Pasch i Hilbert” w Hilary Putnam on Logic and Mathematics, G. Hellman i R. Cook (red.), 161–178, Springer, 2018
• „O motywach teorii dowodu”, w: H. Wansing (red.), Dag Prawitz on Proofs and Meaning , 137–164, Outstanding Contributions to Logic, Springer, 2015
• „Gentzen's Anti-formalist Ideas”, w Gentzen's Centenary: The Quest for Consistency , M. Rathjen i R. Kahle (red.), 25–44, Springer, 2015
• „Duality, Epistemic Efficiency & Consistency”, w G. Link (red.), Formalism and Beyond , Logos, De Gruyter, 1-24, 2014
• „Kompletność i końce aksjomatyzacji”, w J. Kennedy (red.), Interpreting Gödel , 59–77, Cambridge University Press, 2014
• „Wolność i spójność”, w: J. Brendle, R. Downey, R. Goldblatt i B. Kim (red.), Proceedings of the 12th Asian Logic Conference , 89-111, World Scientific, 2013
• „Purity of Methods” , z Andrew Araną, Odcisk Filozoficzny, t. 11, nr 2 (2011)

Dalsze publikacje wymienione w PhilPapers .

Linki zewnętrzne

• Strony internetowe wydziałów