Michael Detlefsen

McMahon-Hank Professor of Philosophy

Michael Detlefsen

574-631-7399
mdetlef1@nd.edu
408 Malloy Hall
by appointment

Education

Ph.D., Johns Hopkins

Research Interest

Logic, Philosophy of Mathematics

Website

Website

Website

Special Interests: Philosophy and history of mathematics, philosophical logic

Current & Recent Teaching: Formal Logic (undergraduate), Intermediate Logic (graduate and undergraduate), Foundations of Mathematics in the 19th and 20th Centuries (graduate and undergraduate)

Current Research Projects: Formalist views of proof; Complexities pertaining to the discovery of proofs

Senior chaire d’excellence, Agence nationale de la recherche, France, 2007-2012

Director, PhilMath Intersem, University of Notre Dame and University of Paris 7-Diderot, 2010-present

Director, Midwest PhilMath Workshop, 2001-present

Visiting positions: University of Paris 7-Diderot, the University of Konstanz, University of Split, University of Lorraine, University
of Toulouse

Representative Publications

"Abstraction, Axiomatization & Rigor: Pasch and Hilbert", Hilary Putnam on Logic and Mathematics (Geoffrey Hellman and Roy Cook eds.), Springer, to appear
 
"Gentzen's Anti-formalist Ideas", in Gentzen's Centenary: The Quest for Consistency, M. Rathjen and R. Kahle (eds.), 25-44, Springer, 2015
 
"On the Motives for Proof Theory", in Dag Prawitz on Proofs and Meaning, H. Wansing (ed.), 121-147, Outstanding Contributions to Logic series, Springer, 2015
 
"Duality, Epistemic Efficiency and Consistency", in Formalism & Beyond, G. Link (ed.), 1-24, Logos series, de Gruyter, 2014
 
"Completeness and the Ends of Axiomatization", in Interpreting Gödel, J. Kennedy (ed.), Cambridge University Press, 59-77, 2014