Michael Detlefsen

Michael Detlefsen


McMahon-Hank Professor of Philosophy (II)
Director, PhilMath Intersem, University of Notre Dame & University of Paris 7-Diderot

Contact Information

Department of Philosophy
University of Notre Dame
100 Malloy Hall
Notre Dame, IN 46556

Phone: (574)-631-7399
Email: mdetlef1@nd.edu

Office: 408 Malloy
Office Hours: by appointment 

Personal Website

Midwest PhilMath Workshop

PhilMath Intersem


Ph.D., Johns Hopkins

Areas of Interest

Logic, Philosophy of Mathematics


Select Recent Articles:

  • "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
  • "Freedom and Consistency", Proceedings of the 12th Asian Logic Conference, J. Brendle, R. Downey, R. Goldblatt and B. Kim (eds.), 89-111, World Scientic, 2013
  • "Dedekind Against Intuition: Rigor, Scope and the Motives of his Logicism", in Logic and Knowledge, Cellucci, Graosholz and Ippoliti (eds.), Cambridge Scholars Publishing, 2011, 205--217
  • "Discovery, Invention and Realism: Gödel and others on the Reality of Concepts'', in Mathematics & Its Significance, John Polkinghorne (ed.), 73--96, Oxford University Press, 2011.
  • "Purity of Methods", with Andy Arana, Philosophers' Imprint 11:2 (2011): 1--20
  • Rigor, Re-proof and Bolzano’s Critical Program”, Bour, P. et al. (eds.), in Construction, Festschrift for Gerhard Heinzmann, pp. 171–184, King’s College Publications, 2010