Michael Detlefsen

 

 

McMahon-Hank Professor of Philosophy (II)

Distinguished Guest Professor, University of Paris7-Diderot, 2011-




Contact Information

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

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

Office: 408 Malloy
Office Hours: 
Curriculum Vitae

 

TransCoop Project


Ideals of Proof

 

Education:

Ph.D., Johns Hopkins.

Areas of Interest:

Logic, Philosophy of Mathematics.

Selected Bibliography

 

Lectures

     Inaugural lectures for chaire d'excellence

:

    ENS Lectures (Oct 2008): "In Search of Formalism"

    ENS Lectures (Fall 2009): "Gödel's Theorems & Their           Consequences"

Papers

Select Recent Articles:

  • "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 

  • “Proof: Its Nature and Significance”, Proof and Other Dilemmas: Mathematics and Philosophy, Bonnie Gold and Roger Simons (eds.), 3–32, Cambridge University Press, 2009 

  •  “Purity as an Ideal of Proof ”, The Philosophy of Mathematical Practice, Paolo Mancosu (ed.), 179–197, Oxford University Press, 2008 

  • Interview, in Philosophy of Mathematics: 5 Questions, H. Leitgeb and V. Hendricks (eds.), 87–99, Automatic Press/VIP, 2007.

Select Online Articles:


Books:

  • Proof and Knowledge in Mathematics (1991)
  • Proof, Logic, Formalization (1991)
  • Hilbert's Program (1986)