Switch to: References

Add citations

You must login to add citations.
  1. Platitudes in Mathematics.Thomas Donaldson - 2015 - Synthese 192 (6):1799-1820.
    The term ‘continuous’ in real analysis wasn’t given an adequate formal definition until 1817. However, important theorems about continuity were proven long before that. How was this possible? In this paper, I introduce and refine a proposed answer to this question, derived from the work of Frank Jackson, David Lewis and other proponents of the ‘Canberra plan’. In brief, the proposal is that before 1817 the meaning of the term ‘continuous’ was determined by a number of ‘platitudes’ which had some (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Categories for the Neologicist.Shay Allen Logan - 2017 - Philosophia Mathematica 25 (1):26-44.
    Abstraction principles provide implicit definitions of mathematical objects. In this paper, an abstraction principle defining categories is proposed. It is unsatisfiable and inconsistent in the expected ways. Two restricted versions of the principle which are consistent are presented.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Conservativeness, Stability, and Abstraction.R. T. Cook - 2012 - British Journal for the Philosophy of Science 63 (3):673-696.
    One of the main problems plaguing neo-logicism is the Bad Company challenge: the need for a well-motivated account of which abstraction principles provide legitimate definitions of mathematical concepts. In this article a solution to the Bad Company challenge is provided, based on the idea that definitions ought to be conservative. Although the standard formulation of conservativeness is not sufficient for acceptability, since there are conservative but pairwise incompatible abstraction principles, a stronger conservativeness condition is sufficient: that the class of acceptable (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   8 citations