Switch to: Citations

Add references

You must login to add references.
  1. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • On Formally Measuring and Eliminating Extraneous Notions in Proofs.Andrew Arana - 2009 - Philosophia Mathematica 17 (2):189-207.
    Many mathematicians and philosophers of mathematics believe some proofs contain elements extraneous to what is being proved. In this paper I discuss extraneousness generally, and then consider a specific proposal for measuring extraneousness syntactically. This specific proposal uses Gentzen's cut-elimination theorem. I argue that the proposal fails, and that we should be skeptical about the usefulness of syntactic extraneousness measures.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • (1 other version)Logical and semantic purity.Andrew Arana - 2008 - ProtoSociology 25:36-48.
    Many mathematicians have sought ‘pure’ proofs of theorems. There are different takes on what a ‘pure’ proof is, though, and it’s important to be clear on their differences, because they can easily be conflated. In this paper I want to distinguish between two of them.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Making sense of Aristotelian demonstration.Henry Mendell - 1998 - Oxford Studies in Ancient Philosophy 16:161-225.
    Download  
     
    Export citation  
     
    Bookmark   23 citations