Michael Detlefsen

Michael Detlefsen
Född	( 1948-10-20 ) 20 oktober 1948 Scottsbluff , Nebraska , USA
dog	21 oktober 2019 (2019-10-21) (71 år)
Ockupation	Filosof
Akademisk bakgrund
Utbildning	1971 AB , Wheaton College , 1976 Ph.D , Johns Hopkins University
Akademiskt arbete
institutioner	Notre Dame universitet

Michael Detlefsen (20 oktober 1948 – 21 oktober 2019) var en amerikansk filosof som var McMahon-Hank professor i filosofi vid University of Notre Dame . Hans områden av särskilt intresse var logik , matematikens historia , matematikfilosofi och epistemologi .

Biografi

Michael "Mic" Detlefsen föddes den 20 oktober 1948 i Scottsbluff , Nebraska , USA

Han genomförde grundstudier vid Wheaton College , Illinois , och erhöll ett AB 1971. Han fortsatte sedan forskarstudier vid Johns Hopkins University, Maryland , och tog sin doktorsexamen 1976.

Detlefsen började sin akademiska karriär som assistent och sedan docent vid University of Minnesota, Duluth 1975. Han stannade där till 1983 men skulle också ha en position som gästforskare vid University of Split , Kroatien, från 1981 till 1982. Han började undervisa vid Notre Dame som gästande docent 1983 och blev docent där 1984. Han befordrades till professor 1989 och installerades som McMahon-Hank professor i filosofi 2008

Han hade gästprofessurer vid University of Split (1981–1982), University of Konstanz (1987–1988, 1994) och vid Paris Diderot University (2007). Han hade en senior ordförande för excellens vid Agence Nationale de la Recherche (ANR) i Frankrike från 2007 till 2011. Han var tidigare ordförande för Philosophy of Mathematics Association (PMA).

Akademiskt arbete

Detlefsen skrev ett antal verk om den tyske matematikern David Hilberts grundläggande idéer och andra stora grundläggare från 1800- och 1900-talet, inklusive Bernard Bolzano , LEJ Brouwer , Alonzo Church , Richard Dedekind , Gottlob Frege , Kurt Gödel , Moritz Pasch , Henri Poincaré och Bertrand Russell .

Han hade forskningsstipendier från ett antal stiftelser inklusive ANR , Fulbright Foundation , Alexander von Humboldt Stiftung , National Endowment for Humanities och International Research and Exchange Commission.

Han var redaktör eller medredaktör för Notre Dame Journal of Formal Logic från 1985. Han var medredaktör med Anand Pillay. Han var också på redaktionen för Philosophia Mathematica och Journal of Universal Computer Science .

Detlefsen var ämnesredaktör för poster i logikens och matematikens historia och filosofi för Routledge Encyclopedia of Philosophy .

Han organiserade och ledde också den årliga Midwest PhilMath Workshop (MWPMW) från 2001 och den årliga PhilMath Intersem (gemensamt sponsrad av University of Notre Dame och Paris Diderot University) från 2010.

Bibliografi

Böcker, författade

•   Hilberts program: en uppsats om matematisk instrumentalism, vol. 182 i Synthese Library, D. Reidel Publishing Co. , 1986, ISBN 978-94-015-7731-1

Välj artiklar/bokkapitel

• "Abstraction, Axiomatization and Rigor: Pasch and Hilbert" i Hilary Putnam on Logic and Mathematics, G. Hellman och R. Cook (red.), 161–178, Springer, 2018
• "On the Motives for Proof Theory", i H. Wansing (red.), Dag Prawitz on Proofs and Meaning , 137–164, Outstanding Contributions to Logic, Springer, 2015
• "Gentzens antiformalistiska idéer", i Gentzens Centenary: The Quest for Consistency , M. Rathjen och R. Kahle (red.), 25–44, Springer, 2015
• "Duality, Epistemic Efficiency & Consistency", i G. Link (red.), Formalism and Beyond , Logos, De Gruyter, 1-24, 2014
• "Completeness and the Ends of Axiomatization", i J. Kennedy (red.), Interpreting Gödel , 59–77, Cambridge University Press, 2014
• "Freedom and Consistency", i: J. Brendle, R. Downey, R. Goldblatt och B. Kim (red.), Proceedings of the 12th Asian Logic Conference , 89-111, World Scientific, 2013
• "Purity of Methods" , med Andrew Arana, Philosophers' Imprint v. 11, nr.2 (2011)

Ytterligare publikationer listade på PhilPapers .

externa länkar

• Avdelningens webbsidor