121 found
Order:
Disambiguations
Michael Detlefsen [56]Karen Detlefsen [42]D. Detlefsen [25]M. Detlefsen [8]
Karen Elizabeth Detlefsen [1]K. Detlefsen [1]
  1. Reason and Freedom: Margaret Cavendish on the order and disorder of nature.Karen Detlefsen - 2007 - Archiv für Geschichte der Philosophie 89 (2):157-191.
    According to Margaret Cavendish the entire natural world is essentially rational such that everything thinks in some way or another. In this paper, I examine why Cavendish would believe that the natural world is ubiquitously rational, arguing against the usual account, which holds that she does so in order to account for the orderly production of very complex phenomena (e.g. living beings) given the limits of the mechanical philosophy. Rather, I argue, she attributes ubiquitous rationality to the natural world in (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  2.  96
    Hilbert’s Program: An Essay on Mathematical Instrumentalism.Michael Detlefsen - 1986 - Dordrecht and Boston: 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 ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  3. Purity of Methods.Michael Detlefsen & Andrew Arana - 2011 - Philosophers' Imprint 11.
    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  
     
    Export citation  
     
    Bookmark   38 citations  
  4. Atomism, Monism, and Causation in the Natural Philosophy of Margaret Cavendish.Karen Detlefsen - 2006 - Oxford Studies in Early Modern Philosophy 3:199-240.
    Between 1653 and 1655 Margaret Cavendish makes a radical transition in her theory of matter, rejecting her earlier atomism in favour of an infinitely-extended and infinitely-divisible material plenum, with matter being ubiquitously self-moving, sensing, and rational. It is unclear, however, if Cavendish can actually dispense of atomism. One of her arguments against atomism, for example, depends upon the created world being harmonious and orderly, a premise Cavendish herself repeatedly undermines by noting nature’s many disorders. I argue that her supposed difficulties (...)
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  5.  74
    Formalism.Michael Detlefsen - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press. pp. 236--317.
    A comprehensive historical overview of formalist ideas in the philosophy of mathematics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   42 citations  
  6.  41
    The Routledge Handbook of Women and Early Modern European Philosophy.Karen Detlefsen & Lisa Shapiro (eds.) - 2023 - Routledge.
    An outstanding reference source for the wide range of philosophical contributions made by women writing in Europe from about 1560 to 1780. It shows the range of genres and methods used by women writing in these centuries in Europe, thus encouraging an expanded understanding of our historical canon.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Brouwerian intuitionism.Michael Detlefsen - 1990 - Mind 99 (396):501-534.
    The aims of this paper are twofold: firstly, to say something about that philosophy of mathematics known as 'intuitionism' and, secondly, to fit these remarks into a more general message for the philosophy of mathematics as a whole. What I have to say on the first score can, without too much inaccuracy, be compressed into two theses. The first is that the intuitionistic critique of classical mathematics can be seen as based primarily on epistemological rather than on meaning-theoretic considerations. The (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  8. Poincaré against the logicians.Michael Detlefsen - 1992 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  9.  24
    Hilbert's Program.M. Detlefsen - 1992 - Noûs 26 (4):513-514.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  10. The four-color theorem and mathematical proof.Michael Detlefsen & Mark Luker - 1980 - Journal of Philosophy 77 (12):803-820.
    I criticize a recent paper by Thomas Tymoczko in which he attributes fundamental philosophical significance and novelty to the lately-published computer-assisted proof of the four color theorem (4CT). Using reasoning precisely analogous to that employed by Tymoczko, I argue that much of traditional mathematical proof must be seen as resting on what Tymoczko must take as being "empirical" evidence. The new proof of the 4CT, with its use of what Tymoczko calls "empirical" evidence is therefore not so novel as he (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  11.  37
    Du Ch'telet and Descartes on the Roles of Hypothesis and Metaphysics in Natural Philosophy.Karen Detlefsen - 2019 - In Eileen O’Neill & Marcy P. Lascano (eds.), Feminist History of Philosophy: The Recovery and Evaluation of Women’s Philosophical Thought. Springer, NM 87747, USA: Springer. pp. 97-127.
    In this chapter, I examine similarities and divergences between Du Châtelet and Descartes on their endorsement of the use of hypotheses in science, using the work of Condillac to locate them in his scheme of systematizers. I conclude that, while Du Châtelet is still clearly a natural philosopher, as opposed to modern scientist, her conception of hypotheses is considerably more modern than is Descartes’, a difference that finds its roots in their divergence on the nature of first principles.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  12. Margaret Cavendish and Thomas Hobbes on Freedom, Education, and Women.Karen Detlefsen - 2012 - In Nancy J. Hirschmann & Joanne Harriet Wright (eds.), Feminist Interpretations of Thomas Hobbes. The Pennsylvania State University Press. pp. 149-168.
    In this paper, I argue that Margaret Cavendish’s account of freedom, and the role of education in freedom, is better able to account for the specifics of women’s lives than are Thomas Hobbes’ accounts of these topics. The differences between the two is grounded in their differing conceptions of the metaphysics of human nature, though the full richness of Cavendish’s approach to women, their minds and their freedom can be appreciated only if we take account of her plays, accepting them (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  13. On an alleged refutation of Hilbert's program using gödel's first incompleteness theorem.Michael Detlefsen - 1990 - Journal of Philosophical Logic 19 (4):343 - 377.
    It is argued that an instrumentalist notion of proof such as that represented in Hilbert's viewpoint is not obligated to satisfy the conservation condition that is generally regarded as a constraint on Hilbert's Program. A more reasonable soundness condition is then considered and shown not to be counter-exemplified by Godel's First Theorem. Finally, attention is given to the question of what a theory is; whether it should be seen as a "list" or corpus of beliefs, or as a method for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  14. Proof: Its Nature and Significance.Michael Detlefsen - 2009 - In Bonnie Gold & Roger A. Simons (eds.), Proof and Other Dilemmas: Mathematics and Philosophy. MAA. pp. 3-32.
     
    Export citation  
     
    Bookmark   13 citations  
  15. Hilbert'S Program. An Essay on Mathematical Instrumentalism.Michael Detlefsen - 1988 - Tijdschrift Voor Filosofie 50 (4):730-731.
    No categories
     
    Export citation  
     
    Bookmark   17 citations  
  16. Margaret Cavendish on the relation between God and world.Karen Detlefsen - 2009 - Philosophy Compass 4 (3):421-438.
    It has often been noted that Margaret Cavendish discusses God in her writings on natural philosophy far more than one might think she ought to given her explicit claim that a study of God belongs to theology which is to be kept strictly separate from studies in natural philosophy. In this article, I examine one way in which God enters substantially into her natural philosophy, namely the role he plays in her particular version of teleology. I conclude that, while Cavendish (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  17. Purity as an ideal of proof.Michael Detlefsen - 2008 - In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oxford University Press. pp. 179-197.
    Various ideals of purity are surveyed and discussed. These include the classical Aristotelian ideal, as well as certain neo-classical and contemporary ideals. The focus is on a type of purity ideal I call topical purity. This is purity which emphasizes a certain symmetry between the conceptual resources used to prove a theorem and those needed for the clarification of its content. The basic idea is that the resources of proof ought ideally to be restricted to those which determine its content.
     
    Export citation  
     
    Bookmark   12 citations  
  18. Custom Freedom and Equality: Mary Astell on marriage and women's education.Karen Detlefsen - 2016 - In Penny Weiss & Alice Sowaal (eds.), Feminist Interpretations of Mary Astell. Pennsylvania State University Press. pp. 74-92.
    Whatever may be said about contemporary feminists’ evaluation of Descartes’ role in the history of feminism, Mary Astell herself believed that Descartes’ philosophy held tremendous promise for women. His urging all people to eschew the tyranny of custom and authority in order to uncover the knowledge that could be found in each one of our unsexed souls potentially offered women a great deal of intellectual and personal freedom and power. Certainly Astell often read Descartes in this way, and Astell herself (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19. Descartes on the Theory of Life and Methodology in the Life Sciences.Karen Detlefsen - 2016 - In Peter Distelzweig, Evan Ragland & Benjamin Goldberg (eds.), Early Modern Medicine and Natural Philosophy. Dordrecht: Springer. pp. 141-72.
    As a practicing life scientist, Descartes must have a theory of what it means to be a living being. In this paper, I provide an account of what his theoretical conception of living bodies must be. I then show that this conception might well run afoul of his rejection of final causal explanations in natural philosophy. Nonetheless, I show how Descartes might have made use of such explanations as merely hypothetical, even though he explicitly blocks this move. I conclude by (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Proof: Its nature and significance.Michael Detlefsen - 2008 - In Bonnie Gold & Roger A. Simons (eds.), Proof and Other Dilemmas: Mathematics and Philosophy. Mathematical Association of America. pp. 1.
    I focus on three preoccupations of recent writings on proof. -/- I. The role and possible effects of empirical reasoning in mathematics. Do recent developments (specifically, the computer-assisted proof of the 4CT) point to something essentially new as regards the need for and/or effects of using broadly empirical and inductive reasoning in mathematics? In particular, should we see such things as the computer-assisted proof of the 4CT as pointing to the existence of mathematical truths of which we cannot have a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  21. Completeness and the Ends of Axiomatization.Michael Detlefsen - 2014 - In Juliette Cara Kennedy (ed.), Interpreting Gödel. New York: Cambridge University Press. pp. 59-77.
    The type of completeness Whitehead and Russell aimed for in their Principia Mathematica was what I call descriptive completeness. This is completeness with respect to the propositions that have been proved in traditional mathematics. The notion of completeness addressed by Gödel in his famous work of 1930 and 1931 was completeness with respect to the truths expressible in a given language. What are the relative significances of these different conceptions of completeness for traditional mathematics? What, if any, effects does incompleteness (...)
     
    Export citation  
     
    Bookmark   7 citations  
  22. Explanation and demonstration in the Haller-Wolff debate.Karen Detlefsen - 2006 - In Justin E. H. Smith (ed.), The Problem of Animal Generation in Early Modern Philosophy. Cambridge University Press.
    The theories of pre-existence and epigenesis are typically taken to be opposing theories of generation in the seventeenth and eighteenth centuries. One can be a pre-existence theorist only if one does not espouse epigenesis and vice versa. It has also been recognized, however, that the line between pre-existence and epigenesis in the nineteenth century, at least, is considerably less sharp and clear than it was in earlier centuries. The debate (1759-1777) between Albrecht von Haller and Caspar Friedrich Wolff on their (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  23.  80
    Fregean hierarchies and mathematical explanation.Michael Detlefsen - 1988 - International Studies in the Philosophy of Science 3 (1):97 – 116.
    There is a long line of thinkers in the philosophy of mathematics who have sought to base an account of proof on what might be called a 'metaphysical ordering' of the truths of mathematics. Use the term 'metaphysical' to describe these orderings is intended to call attention to the fact that they are regarded as objective and not subjective and that they are conceived primarily as orderings of truths and only secondarily as orderings of beliefs. -/- I describe and consider (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  24. What does Gödel's second theorem say?Michael Detlefsen - 2001 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  25. Cartesianism and its Feminist Promise and Limits: The Case of Mary Astell.Karen Detlefsen - 2017 - In Stephen Gaukroger & Catherine Wilson (eds.), Descartes and Cartesianism: Essays in Honour of Desmond Clarke. Oxford, United Kingdom: Oxford University Press.
    In this paper, I consider Mary Astell's contributions to the history of feminism, noting her grounding in and departure from Cartesianism and its relation to women.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  85
    Poincaré vs. Russell on the rôle of logic in mathematicst.Michael Detlefsen - 1993 - 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 (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  27. Hilbert's formalism.Michael Detlefsen - 1993 - Revue Internationale de Philosophie 47 (186):285-304.
    Various parallels between Kant's critical program and Hilbert's formalistic program for the philosophy of mathematics are considered.
     
    Export citation  
     
    Bookmark   10 citations  
  28. Atomism, Monism, and Causation in the Natural Philosophy of Margaret Cavendish.Karen Detlefsen - 2006 - In Daniel Garber & Steven Nadler (eds.), Oxford Studies in Early Modern Philosophy Volume 3. Clarendon Press.
    No categories
     
    Export citation  
     
    Bookmark   8 citations  
  29. Proof and Knowledge in Mathematics.Michael Detlefsen (ed.) - 1992 - New York: Routledge.
    These questions arise from any attempt to discover an epistemology for mathematics. This collection of essays considers various questions concerning the nature of justification in mathematics and possible sources of that justification. Among these are the question of whether mathematical justification is _a priori_ or _a posteriori_ in character, whether logical and mathematical differ, and if formalization plays a significant role in mathematical justification.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  30. Proof, Logic and Formalization.Michael Detlefsen (ed.) - 1992 - London, England: Routledge.
    The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures working within the philosophy of mathematics, is a response to the challenge of understanding the nature and role of the proof.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  31. Women and Liberty, 1600-1800: Philosophical Essays.Jacqueline Broad & Karen Detlefsen (eds.) - 2017 - New York, NY: Oxford University Press.
    There have been many different historical-intellectual accounts of the shaping and development of concepts of liberty in pre-Enlightenment Europe. This volume is unique for addressing the subject of liberty principally as it is discussed in the writings of women philosophers, and as it is theorized with respect to women and their lives, during this period. The volume covers ethical, political, metaphysical, and religious notions of liberty, with some chapters discussing women's ideas about the metaphysics of free will, and others examining (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32. On interpreting Gödel's second theorem.Michael Detlefsen - 1979 - Journal of Philosophical Logic 8 (1):297 - 313.
    In this paper I have considered various attempts to attribute significance to Gödel's second incompleteness theorem (G2 for short). Two of these attempts (Beth-Cohen and the position maintaining that G2 shows the failure of Hilbert's Program), I have argued, are false. Two others (an argument suggested by Beth, Cohen and ??? and Resnik's Interpretation), I argue, are groundless.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  33. Teleology and Natures in Descartes' Sixth Meditation.Karen Detlefsen - 2013 - In Descartes' Meditations: A Critical Guide. Cambridge University Press. pp. 153-176.
    In this paper, I consider Descartes’ Sixth Meditation dropsy passage on the difference between the human body considered in itself and the human composite of mind and body. I do so as a way of illuminating some features of Descartes’ broader thinking about teleology, including the role of teleological explanations in physiology. I use the writings on teleology of some ancient authors for the conceptual (but not historical) help they can provide in helping us to think about the Sixth Meditation (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  34. Supernaturalism, occasionalism, and preformation in Malebranche.Karen Detlefsen - 2003 - Perspectives on Science 11 (4):443-483.
    Malebranche is both an occasionalist and an advocate of the preformationist theory of generation. One might expect this given that he is a mechanist: passive matter cannot be the source of its own motion and so requires God to move it (occasionalism); and such matter, moving according to a few simple laws of motion, could never fashion something as complex as a living being, and so organisms must be fashioned by God at Creation (preformationism). This expectation finds a challenge in (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  35. Cavendish and Conway on the individual human mind.Karen Detlefsen - 2018 - In Rebecca Copenhaver (ed.), History of the Philosophy of Mind, Vol. 4: Philosophy of Mind in the Early Modern and Modern Ages.
     
    Export citation  
     
    Bookmark   2 citations  
  36.  88
    Wright on the non-mechanizability of intuitionist reasoning.Michael Detlefsen - 1995 - 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 (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  37.  65
    Ian Hacking. Why Is There Philosophy of Mathematics At All?Michael Detlefsen - 2017 - Philosophia Mathematica 25 (3):407-412.
    © The Author [2017]. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: [email protected] author makes clear that he does not see this book as a contribution to the philosophy of mathematics as traditionally understood. He takes it instead to be an essay about the philosophy of mathematics, one whose purpose is to explain its existence and to make clear the limited extent to which its current and past forms are properly regarded as philosophies of mathematics per (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38. Dedekind against Intuition: Rigor, Scope and the Motives of his Logicism.Michael Detlefsen - 2011 - In Carlo Cellucci, Emily Grosholz & Emiliano Ippoliti (eds.), Logic and Knowledge. Newcastle upon Tyne: Cambridge Scholars Publications. pp. 205-221.
     
    Export citation  
     
    Bookmark   3 citations  
  39. Women, Liberty, and Forms of Feminism.Karen Detlefsen - 2017 - In Jacqueline Broad & Karen Detlefsen (eds.), Women and Liberty, 1600-1800: Philosophical Essays. New York, NY: Oxford University Press.
    This chapter shows how Mary Astell and Margaret Cavendish can reasonably be understood as early feminists in three senses of the term. First, they are committed to the natural equality of men and women, and related, they are committed to equal opportunity of education for men and women. Second, they are committed to social structures that help women develop authentic selves and thus autonomy understood in one sense of the word. Third, they acknowledge the power of production relationships, especially friendships (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  21
    Duality, Epistemic Efficiency and Consistency.Michael Detlefsen - 2014 - In G. Link (ed.), Formalism & Beyond. De Gruyter. pp. 1-24.
    Duality has often been described as a means of extending our knowledge with a minimal additional outlay of investigative resources. I consider possible arguments for this view. Major elements of this argument are out of keeping with certain widely held views concerning the nature of axiomatic theories (both in projective geometry and elsewhere). They also require a special form of consistency requirement.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  57
    On a theorem of Feferman.Michael Detlefsen - 1980 - Philosophical Studies 38 (2):129 - 140.
    In this paper I argue that Feferman's theorem does not signify the existence of skeptic-satisfying consistency proofs. However, my argument for this is much different than other arguments (most particularly Resnik's) for the same claim. The argument that I give arises form an analysis of the notion of 'expression', according to which the specific character of that notion is seen as varying from one context of application (of a result of arithmetic metamathematics) to another.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  42. Biology and Theology in Malebranche's Theory of Organic Generation.Karen Detlefsen - 2014 - In Ohad Nachtomy & Justin E. H. Smith (eds.), The Life Sciences in Early Modern Philosophy. Oxford University Press. pp. 137-156.
    This paper has two parts: In the first part, I give a general survey of the various reasons 17th and 18th century life scientists and metaphysicians endorsed the theory of pre-existence according to which God created all living beings at the creation of the universe, and no living beings are ever naturally generated anew. These reasons generally fall into three categories. The first category is theological. For example, many had the desire to account for how all humans are stained by (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  74
    Emilie Du Châtelet: Stanford Encyclopedia of Philosophy.Karen Detlefsen - 2013 - Stanford Encyclopedia of Philosophy.
    A survey article on the metaphysics, physics and methodology of Du Châtelet.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  44. Women and Liberty, 1600-1800.Jacqueline Broad & Karen Detlefsen (eds.) - 2017
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  45. Discovery, Invention and Realism: Gödel and others on the Reality of Concepts.Michael Detlefsen - 2011 - In John Polkinghorne (ed.), Mathematics and its Significance. Oxford University Press. pp. 73-96.
    The general question considered is whether and to what extent there are features of our mathematical knowledge that support a realist attitude towards mathematics. I consider, in particular, reasoning from claims such as that mathematicians believe their reasoning to be part of a process of discovery (and not of mere invention), to the view that mathematical entities exist in some mind-independent way although our minds have epistemic access to them.
     
    Export citation  
     
    Bookmark   2 citations  
  46.  67
    Constructive existence claims.Michael Detlefsen - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press. pp. 1998--307.
    It is a commonplace of constructivist thought that a claim that an object of a certain kind exists is to be backed by an explicit display or exhibition of an object that is manifestly of that kind. Let us refer to this requirement as the exhibition condition. The main objective of this essay is to examine this requirement and to arrive at a better understanding of its epistemic character and the role that it plays in the two main constructivist philosophies (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  1
    Proof and Knowledge in Mathematics.Michael Detlefsen - 1992 - Revue Philosophique de la France Et de l'Etranger 185 (1):133-134.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  48. Du Châtelet and Descartes on the Role of Hypothesis and Metaphysics in Science.Karen Detlefsen - 2019 - In Eileen O’Neill & Marcy P. Lascano (eds.), Feminist History of Philosophy: The Recovery and Evaluation of Women’s Philosophical Thought. Springer, NM 87747, USA: Springer.
    In this chapter, I examine similarities and divergences between Du Châtelet and Descartes on their endorsement of the use of hypotheses in science, using the work of Condillac to locate them in his scheme of systematizers. I conclude that, while Du Châtelet is still clearly a natural philosopher, as opposed to modern scientist, her conception of hypotheses is considerably more modern than is Descartes’, a difference that finds its roots in their divergence on the nature of first principles.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. Emilie du Châtelet between Leibniz and Newton.Karen Detlefsen - 2013 - British Journal for the History of Philosophy 21 (1):207-209.
  50. Gentzen's anti-formalist ideas.Michael Detlefsen - 2015 - In Reinhard Kahle & Michael Rathjen (eds.), Gentzen's Centenary: The Quest for Consistency. New York: Springer. pp. 25-44.
1 — 50 / 121