John Templeton Foundation

Home ApproachProgram Commitee Other Participants
Other Participants  

Michael Detlefsen is a professor of philosophy at the University of Notre Dame. A logician with interests in metaphysics, epistemology, especially as applied to mathematics and logic, and the history and philosophy of mathematics, he is writing (with Timothy McCarthy) a major study of Kurt Gödel’s incompleteness theorems. Dr. Detlefsen received his bachelor’s degree from Wheaton College and a Ph.D. in philosophy in 1976 from Johns Hopkins University. He began his teaching career as an assistant professor at the University of Minnesota-Duluth and moved to Notre Dame as an associate professor of philosophy in 1984. He was named to his present position five years later. Dr. Detlefsen has held visiting posts at the University of Paris, the University of Konstanz, and the University of Split in Croatia. He has held research grants from the National Endowment for the Humanities, the Fulbright Program, the IREX (International Research and Exchange Board), and the Alexander von Humboldt Foundation. The chief editor of the Notre Dame Journal of Logic since 1984, he also serves on the editorial boards of Philosophia Mathematica and the Journal of Universal Computer Science. He served as subject editor for logic and the philosophy of mathematics for the recently published Routledge Encyclopedia of Philosophy. He has published more than forty articles in academic journals and is the editor of two books, Proof, Logic and Formalization and Proof and Mathematical Knowledge, both published by Routledge in 1992. He is the author of Hilbert’s Program: An Essay on Mathematical Instrumentalism (D. Reidel, 1986). In addition to the book on Gödel’s theorems, Dr. Detlefsen is working on a book on the emergence of the axiomatic method in arithmetic, a project provisionally entitled ‘Where Concepts Fail’. He argues that the development of the number-concept is marked by an important element of freedom and that the most plausible understanding of this freedom is that it is a freedom to create instruments of a broadly formalist character. Another ongoing project is a study on constructive ideals in the history of mathematics.