Switch to: References

Add citations

You must login to add citations.
  1. Arithmetic, enumerative induction and size bias.A. C. Paseau - 2021 - Synthese 199 (3-4):9161-9184.
    Number theory abounds with conjectures asserting that every natural number has some arithmetic property. An example is Goldbach’s Conjecture, which states that every even number greater than 2 is the sum of two primes. Enumerative inductive evidence for such conjectures usually consists of small cases. In the absence of supporting reasons, mathematicians mistrust such evidence for arithmetical generalisations, more so than most other forms of non-deductive evidence. Some philosophers have also expressed scepticism about the value of enumerative inductive evidence in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Book Review: J. P. Mayberry. Foundations of Mathematics in the Theory of Sets. [REVIEW]O. Bradley Bassler - 2005 - Notre Dame Journal of Formal Logic 46 (1):107-125.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.
    The view that toposes originated as generalized set theory is a figment of set theoretically educated common sense. This false history obstructs understanding of category theory and especially of categorical foundations for mathematics. Problems in geometry, topology, and related algebra led to categories and toposes. Elementary toposes arose when Lawvere's interest in the foundations of physics and Tierney's in the foundations of topology led both to study Grothendieck's foundations for algebraic geometry. I end with remarks on a categorical view of (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  • A new begriffsschrift (II).John P. Mayberry - 1980 - British Journal for the Philosophy of Science 31 (4):329-358.
  • Towards a theory of mathematical research programmes (II).Michael Hallett - 1979 - British Journal for the Philosophy of Science 30 (2):135-159.
  • Book Review: Shaughan Lavine. Understanding the Infinite. [REVIEW]Colin McLarty - 1997 - Notre Dame Journal of Formal Logic 38 (2):314-324.
  • A Theory of Particular Sets.Paul Blain Levy - manuscript
    ZFC has sentences that quantify over all sets or all ordinals, without restriction. Some have argued that sentences of this kind lack a determinate meaning. We propose a set theory called TOPS, using Natural Deduction, that avoids this problem by speaking only about particular sets.
    Direct download  
     
    Export citation  
     
    Bookmark