Switch to: References

Add citations

You must login to add citations.
  1. Frege on the Foundation of Geometry in Intuition.Jeremy Shipley - 2015 - Journal for the History of Analytical Philosophy 3 (6).
    I investigate the role of geometric intuition in Frege’s early mathematical works and the significance of his view of the role of intuition in geometry to properly understanding the aims of his logicist project. I critically evaluate the interpretations of Mark Wilson, Jamie Tappenden, and Michael Dummett. The final analysis that I provide clarifies the relationship of Frege’s restricted logicist project to dominant trends in German mathematical research, in particular to Weierstrassian arithmetization and to the Riemannian conceptual/geometrical tradition at Göttingen. (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Equivalence: an attempt at a history of the idea.Amir Asghari - 2019 - Synthese 196 (11):4657-4677.
    This paper proposes a reading of the history of equivalence in mathematics. The paper has two main parts. The first part focuses on a relatively short historical period when the notion of equivalence is about to be decontextualized, but yet, has no commonly agreed-upon name. The method for this part is rather straightforward: following the clues left by the others for the ‘first’ modern use of equivalence. The second part focuses on a relatively long historical period when equivalence is experienced (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Frege, Indispensability, and the Compatibilist Heresy.Andrea Sereni - 2015 - Philosophia Mathematica 23 (1):11-30.
    In Grundgesetze, Vol. II, §91, Frege argues that ‘it is applicability alone which elevates arithmetic from a game to the rank of a science’. Many view this as an in nuce statement of the indispensability argument later championed by Quine. Garavaso has questioned this attribution. I argue that even though Frege's applicability argument is not a version of ia, it facilitates acceptance of suitable formulations of ia. The prospects for making the empiricist ia compatible with a rationalist Fregean framework appear (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Rumfitt on the logic of set theory.Øystein Linnebo - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy 62 (7):826-841.
    ABSTRACTAccording to a famous argument by Dummett, the concept of set is indefinitely extensible, and the logic appropriate for reasoning about the instances of any such concept is intuitionistic, not classical. But Dummett's argument is widely regarded as obscure. This note explains how the final chapter of Rumfitt's important new book advances our understanding of Dummett's argument, but it also points out some problems and unanswered questions. Finally, Rumfitt's reconstruction of Dummett's argument is contrasted with my own preferred alternative.
    Download  
     
    Export citation  
     
    Bookmark  
  • Dummett on Indefinite Extensibility.Øystein Linnebo - 2018 - Philosophical Issues 28 (1):196-220.
    Dummett’s notion of indefinite extensibility is influential but obscure. The notion figures centrally in an alternative Dummettian argument for intuitionistic logic and anti-realism, distinct from his more famous, meaning-theoretic arguments to the same effect. Drawing on ideas from Dummett, a precise analysis of indefinite extensibility is proposed. This analysis is used to reconstruct the poorly understood alternative argument. The plausibility of the resulting argument is assessed.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • (1 other version)Mathieu Marion. Wittgenstein, Finitism, and the Foundations of Mathematics.Juliet Floyd - 2002 - Philosophia Mathematica 10 (1):67-88.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Dilemma for Neo-Fregeanism.Robert Trueman - 2014 - Philosophia Mathematica 22 (3):361-379.
    Neo-Fregeans need their stipulation of Hume's Principle — $NxFx=NxGx \leftrightarrow \exists R (Fx \,1\hbox {-}1_R\, Gx)$ — to do two things. First, it must implicitly define the term-forming operator ‘Nx…x…’, and second it must guarantee that Hume's Principle as a whole is true. I distinguish two senses in which the neo-Fregeans might ‘stipulate’ Hume's Principle, and argue that while one sort of stipulation fixes a meaning for ‘Nx…x…’ and the other guarantees the truth of Hume's Principle, neither does both.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Benacerraf’s dilemma and informal mathematics.Gregory Lavers - 2009 - Review of Symbolic Logic 2 (4):769-785.
    This paper puts forward and defends an account of mathematical truth, and in particular an account of the truth of mathematical axioms. The proposal attempts to be completely nonrevisionist. In this connection, it seeks to satisfy simultaneously both horns of Benacerrafs work on informal rigour. Kreisel defends the view that axioms are arrived at by a rigorous examination of our informal notions, as opposed to being stipulated or arrived at by trial and error. This view is then supplemented by a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Deductive Inference as Indirect Verification.Takuro Onishi - 2015 - Journal of the Japan Association for Philosophy of Science 42 (2):81-95.
    Download  
     
    Export citation  
     
    Bookmark