41 found
Sort by:
Disambiguations:
Michael Detlefsen [34]M. Detlefsen [5]Mic Detlefsen [2]
See also:
Profile: Michael Detlefsen (University of Notre Dame)
  1. Michael Detlefsen (2011). Discovery, Invention and Realism: Gödel and Others on the Reality of Concepts. In John Polkinghorne (ed.), Meaning in Mathematics. Oup Oxford.
    No categories
     
    My bibliography  
     
    Export citation  
  2. Michael Detlefsen & Andrew Arana (2011). Purity of Methods. Philosophers' Imprint 11 (2).
    Throughout history, mathematicians have expressed preference for solutions to problems that avoid introducing concepts that are in one sense or another “foreign” or “alien” to the problem under investigation. This preference for “purity” (which German writers commonly referred to as “methoden Reinheit”) has taken various forms. It has also been persistent. This notwithstanding, it has not been analyzed at even a basic philosophical level. In this paper we give a basic analysis of one conception of purity—what we call topical purity—and (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Michael Detlefsen & Sébastien Gandon (2011). Poincaré versus Russell sur le rôle de la logique dans les mathématiques. Les Études Philosophiques 2 (2):153-178.
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Michael Detlefsen (2009). Introduction to the Fiftieth Anniversary Issues. Notre Dame Journal of Formal Logic 50 (4):363-364.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Mic Detlefsen (2008). Purity as an Ideal of Proof. In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oup Oxford. 179--197.
    No categories
     
    My bibliography  
     
    Export citation  
  6. Mic Detlefsen & Michael Hallett (2008). Purity of Methods. In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oup Oxford.
    No categories
     
    My bibliography  
     
    Export citation  
  7. Michael Detlefsen (2008). Proof: Its Nature and Significance. In Bonnie Gold & Roger Simons (eds.), Proof and Other Dilemmas: Mathematics and Philosophy. Mathematical Association of America. 1.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Michael Detlefsen (2008). 7.1 The Aristotelian Ideal of Purity. In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oup Oxford. 179.
    No categories
     
    My bibliography  
     
    Export citation  
  9. D. Von Dalen, M. Dehn, G. Deleuze, G. Desargues, M. Detlefsen, P. G. L. Dirichlet, P. Dugac, M. Dummett, W. G. Dwyer & M. Eckehardt (2006). Curtis, C. VV. 255. In José Ferreirós Domínguez & Jeremy Gray (eds.), The Architecture of Modern Mathematics: Essays in History and Philosophy. Oxford University Press.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  10. Michael Detlefsen (2005). Formalism. In Stewart Shapiro (ed.), The Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press. 236--317.
    No categories
     
    My bibliography  
     
    Export citation  
  11. Michael Detlefsen (2002). Löb's Theorem as a Limitation on Mechanism. Minds and Machines 12 (3):353-381.
    We argue that Löb's Theorem implies a limitation on mechanism. Specifically, we argue, via an application of a generalized version of Löb's Theorem, that any particular device known by an observer to be mechanical cannot be used as an epistemic authority (of a particular type) by that observer: either the belief-set of such an authority is not mechanizable or, if it is, there is no identifiable formal system of which the observer can know (or truly believe) it to be the (...)
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  12. Michael Detlefsen (2001). What Does Gödel's Second Theorem Say. Philosophia Mathematica 9 (1):37-71.
    We consider a seemingly popular justification (we call it the Re-flexivity Defense) for the third derivability condition of the Hilbert-Bernays-Löb generalization of Godel's Second Incompleteness Theorem (G2). We argue that (i) in certain settings (rouglily, those where the representing theory of an arithmetization is allowed to be a proper subtheory of the represented theory), use of the Reflexivity Defense to justify the tliird condition induces a fourth condition, and that (ii) the justification of this fourth condition faces serious obstacles. We (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. Michael Detlefsen, Erich Reck, Colin McLarty, Rohit Parikh, Larry Moss, Scott Weinstein, Gabriel Uzquiano, Grigori Mints & Richard Zach (2001). 2000-2001 Spring Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic 7 (3).
     
    My bibliography  
     
    Export citation  
  14. Michael Detlefsen, Erich Reck, Colin McLarty, Rohit Parikh, Larry Moss, Scott Weinstein, Gabriel Uzquiano, Grigori Mints & Richard Zach (2001). The Minneapolis Hyatt Regency, Minneapolis, Minnesota May 3–4, 2001. Bulletin of Symbolic Logic 7 (3).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. M. Detlefsen (2000). BURGESS, JP and ROSEN, G.-Subject with No Object. Philosophical Books 41 (3):153-162.
    No categories
     
    My bibliography  
     
    Export citation  
  16. Michael Detlefsen (2000). Introduction to Logicism and the Paradoxes: A Reappraisal. Notre Dame Journal of Formal Logic 41 (3):185-185.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. Michael Detlefsen (1999). Logic From a to Z. Routledge.
    First published as part of the renowned Routledge Encyclopedia of Philosophy , this complete glossary of logical terms and notation is the definitive handbook for students of the subject. Logic from A to Z features over 500 short definitional entries on terms used in the most highly technical areas of philosophy--philosophical logic and the philosophy of mathematics. Readers will find key terms such as Argument; Turing Machine; Isomorphism; Function; Algorithm; Variable ; and much more, plus a complete table of logical (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Michael Detlefsen (1999). Introduction to Special Issue on George S. Boolos. Notre Dame Journal of Formal Logic 40 (1):1-2.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  19. M. Detlefsen (1998). Walter van Stigt. Brouwer's Intuitionism. Amsterdam: North-Holland Publishing Co., 1990. Pp. Xxvi + 530. ISBN 0-444-88384-3 (Cloth). [REVIEW] Philosophia Mathematica 6 (2):235-241.
  20. Michael Detlefsen (1998). Constructive Existence Claims. In Matthias Schirn (ed.), The Philosophy of Mathematics Today. Clarendon Press. 1998--307.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. Michael Detlefsen (1998). Mind in the Shadows. Studies in History and Philosophy of Science Part B 29 (1):123-136.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. S. Macintyre, Ellaway aA & M. Detlefsen (1998). Mind in the Shadows. Studies in History and Philosophy of Science Part B 29 (1):123-136.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  23. Michael Detlefsen (1995). Review of J. Folina, Poincare and the Philosophy of Mathematics. [REVIEW] Philosophia Mathematica 3 (2):208-218.
  24. Michael Detlefsen (1995). The Mechanization of Reason. Philosophia Mathematica 3 (1).
    Direct download  
     
    My bibliography  
     
    Export citation  
  25. Michael Detlefsen (1995). Wright on the Non-Mechanizability of Intuitionist Reasoning. Philosophia Mathematica 3 (1):103-119.
    Crispin Wright joins the ranks of those who have sought to refute mechanist theories of mind by invoking Gödel's Incompleteness Theorems. His predecessors include Gödel himself, J. R. Lucas and, most recently, Roger Penrose. The aim of this essay is to show that, like his predecessors, Wright, too, fails to make his case, and that, indeed, he fails to do so even when judged by standards of success which he himself lays down.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  26. Michael Detlefsen (1993). Hilbert's Formalism. Revue Internationale de Philosophie 47 (186):285-304.
    No categories
     
    My bibliography  
     
    Export citation  
  27. Michael Detlefsen (1993). Poincaré Vs. Russell on the Rôle of Logic in Mathematicst. Philosophia Mathematica 1 (1):24-49.
    In the early years of this century, Poincaré and Russell engaged in a debate concerning the nature of mathematical reasoning. Siding with Kant, Poincaré argued that mathematical reasoning is characteristically non-logical in character. Russell urged the contrary view, maintaining that (i) the plausibility originally enjoyed by Kant's view was due primarily to the underdeveloped state of logic in his (i.e., Kant's) time, and that (ii) with the aid of recent developments in logic, it is possible to demonstrate its falsity. This (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  28. Michael Detlefsen (1993). The Concept of Logical Consequence. Philosophical Books 34 (1):1-10.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  29. Michael Detlefsen (ed.) (1992). Proof and Knowledge in Mathematics. Routledge.
    Proof and Knowledge in Mathematics tackles the main problem that arises when considering an epistemology for mathematics, the nature and sources of mathematical justification. Focusing both on particular and general issues, these essays from leading philosophers of mathematics raise important issues for our current understanding of mathematics. Is mathematical justification a priori or a posteriori? What role, if any, does logic play in mathematical reasoning or inference? And how epistemologically important is the formalizability of proof? Michael Detlefsen has brought together (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  30. Michael Detlefsen (1992). Poincaré Against the Logicians. Synthese 90 (3):349 - 378.
    Poincaré was a persistent critic of logicism. Unlike most critics of logicism, however, he did not focus his attention on the basic laws of the logicists or the question of their genuinely logical status. Instead, he directed his remarks against the place accorded to logical inference in the logicist's conception of mathematical proof. Following Leibniz, traditional logicist dogma (and this is explicit in Frege) has held that reasoning or inference is everywhere the same — that there are no principles of (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  31. Michael Detlefsen (ed.) (1992). Proof, Logic, and Formalization. Routledge.
    Proof, Logic and Formalization addresses the various problems associated with finding a philosophically satisfying account of mathematical proof. It brings together many of the most notable figures currently writing on this issue in an attempt to explain why it is that mathematical proof is given prominence over other forms of mathematical justification. The difficulties that arise in accounts of proof range from the rightful role of logical inference and formalization to questions concerning the place of experience in proof and the (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. Michael Detlefsen (1990). Brouwerian Intuitionism. Mind 99 (396):501-534.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  33. Michael Detlefsen (1990). On an Alleged Refutation of Hilbert's Program Using Gödel's First Incompleteness Theorem. Journal of Philosophical Logic 19 (4):343 - 377.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  34. Michael Detlefsen (1989). Aleksandar Pavković, Ed., Contemporary Yugoslav Philosophy: The Analytic Approach Reviewed By. Philosophy in Review 9 (12):492-496.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. M. Detlefsen (1988). Essay Review. History and Philosophy of Logic 9 (1):93-105.
    S. SHAPIRO (ed.), Intensional Mathematics (Studies in Logic and the Foundations of Mathematics, vol. 11 3). Amsterdam: North-Holland, 1985. v + 230 pp. $38.50/100Df.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  36. Michael Detlefsen (1988). Fregean Hierarchies and Mathematical Explanation. International Studies in the Philosophy of Science 3 (1):97 – 116.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  37. Michael Detlefsen (1986). Hilbert's Program: An Essay on Mathematical Instrumentalism. Reidel.
    An Essay on Mathematical Instrumentalism M. Detlefsen. THE PHILOSOPHICAL FUNDAMENTALS OF HILBERT'S PROGRAM 1. INTRODUCTION In this chapter I shall attempt to set out Hilbert's Program in a way that is more revealing than ...
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Michael Detlefsen (1980). On a Theorem of Feferman. Philosophical Studies 38 (2):129 - 140.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  39. Michael Detlefsen (1980). The Arithmetization of Metamathematics in a Philosophical Setting (*). Revue Internationale de Philosophie 34:268-292.
    No categories
     
    My bibliography  
     
    Export citation  
  40. Michael Detlefsen & Mark Luker (1980). The Four-Color Theorem and Mathematical Proof. Journal of Philosophy 77 (12):803-820.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  41. Michael Detlefsen (1979). On Interpreting Gödel's Second Theorem. Journal of Philosophical Logic 8 (1):297 - 313.
    In this paper I have considered various attempts to attribute significance to G2.25 Two of these attempts (Beth-Cohen and the position maintaining that G2 shows the failure of Hilbert's Program), I have argued, are literally false. Two others (BCR and Resnik's Interpretation), I have argued, are groundless.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation